Uppdaterad 6 månader sedan

Uppdaterad 7 månader sedan

Uppdaterad 8 månader sedan

Uppdaterad 1 år sedan

Uppdaterad 1 år sedan

My talk for Worldsummit 2019

Uppdaterad 1 år sedan

Template benchmark repository with example configuration

Uppdaterad 1 år sedan

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

Uppdaterad 2 år sedan

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

Uppdaterad 2 år sedan

Development mirror of Jussi Rintanen’s planner Madagascar

Uppdaterad 3 år sedan

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

Uppdaterad 3 år sedan

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

Uppdaterad 3 år sedan

Generate random passwords

Uppdaterad 3 år sedan

Regularly performs Nextcloud’s cron.php background job

Uppdaterad 3 år sedan