ASP planning tools for PDDL (local mirror of https://github.com/potassco/plasp for development purposes)
Updated 1 year ago
Regularly performs Nextcloud’s cron.php background job
Updated 1 year ago
Translate answer set programs to first-order theorem prover language (local mirror of https://github.com/potassco/anthem for development purposes)
Updated 9 months ago
Planning benchmarks for the extended TPLP journal version of the plasp paper
Updated 4 months ago
My master thesis project on malware detection using neural networks and multi task learning
Updated 1 year ago
Updated 1 month ago
Updated 3 months ago