135 citations · 135 across the 10 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.AI2023
Symbolic Numeric Planning with Patterns
Matteo Cardellini, Enrico Giunchiglia, Marco Maratea
In this paper, we propose a novel approach for solving linear numeric planning problems, called Symbolic Pattern Planning. Given a planning problem , a bound and a pattern -…
cs.AI2023
CNL2ASP: converting controlled natural language sentences into ASP
Simone Caruso, Carmine Dodaro, Marco Maratea +2
Answer Set Programming (ASP) is a popular declarative programming language for solving hard combinatorial problems. Although ASP has gained widespread acceptance in academic and in…