Ажурирано пре 6 месеци

Ажурирано пре 7 месеци

Ажурирано пре 8 месеци

Ажурирано пре 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

Ажурирано пре 3 година

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 година