Последна модификация преди 6 месеца

Последна модификация преди 7 месеца

Последна модификация преди 7 месеца

Последна модификация преди 1 година

Последна модификация преди 1 година

My talk for Worldsummit 2019

Последна модификация преди 1 година

Template benchmark repository with example configuration

Последна модификация преди 1 година

Последна модификация преди 2 години

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

Последна модификация преди 2 години

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

Последна модификация преди 2 години

Development mirror of Jussi Rintanen’s planner Madagascar

Последна модификация преди 2 години

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

Последна модификация преди 3 години

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

Последна модификация преди 3 години

Generate random passwords

Последна модификация преди 3 години

Regularly performs Nextcloud’s cron.php background job

Последна модификация преди 3 години