Aktualisiert vor 6 Monaten

Aktualisiert vor 7 Monaten

Aktualisiert vor 7 Monaten

Aktualisiert vor 1 Jahr

Aktualisiert vor 1 Jahr

My talk for Worldsummit 2019

Aktualisiert vor 1 Jahr

Template benchmark repository with example configuration

Aktualisiert vor 1 Jahr

Aktualisiert vor 2 Jahren

Planning benchmarks for the extended TPLP journal version of the plasp paper

Aktualisiert vor 2 Jahren

Translate answer set programs to first-order theorem prover language (local mirror of https://github.com/potassco/anthem for development purposes)

Aktualisiert vor 2 Jahren

Development mirror of Jussi Rintanen’s planner Madagascar

Aktualisiert vor 2 Jahren

My master thesis project on malware detection using neural networks and multi task learning

Aktualisiert vor 3 Jahren

ASP planning tools for PDDL (local mirror of https://github.com/potassco/plasp for development purposes)

Aktualisiert vor 3 Jahren

Generate random passwords

Aktualisiert vor 3 Jahren

Regularly performs Nextcloud’s cron.php background job

Aktualisiert vor 3 Jahren