2 papers
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
Causal Laws and Multi-Valued Fluents
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz +1
This paper continues the line of work on representing properties of actions in nonmonotonic formalisms that stresses the distinction between being "true" and being "caused", as in…