1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.AI2023★ 1 cited
Enhancing Temporal Planning Domains by Sequential Macro-actions (Extended Version)
Marco De Bortoli, Lukáš Chrpa, Martin Gebser +1
Temporal planning is an extension of classical planning involving concurrent execution of actions and alignment with temporal constraints. Durative actions along with invariants al…
cs.DC2019
Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring
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 th…