Search Results for author: Marco De Bortoli

Found 2 papers, 0 papers with code

Enhancing Temporal Planning Domains by Sequential Macro-actions (Extended Version)

no code implementations22 Jul 2023 Marco De Bortoli, Lukáš Chrpa, Martin Gebser, Gerald Steinbauer-Wagner

Temporal planning is an extension of classical planning involving concurrent execution of actions and alignment with temporal constraints.

Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring

no code implementations18 Sep 2019 Marco De Bortoli

Answer Set Programming (ASP) is a famous logic language for knowledge representation, which has been really successful in the last years, as witnessed by the great interest into the development of efficient solvers for ASP.

Cannot find the paper you are looking for? You can Submit a new open access paper.