Обновлено 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 лет назад