Symbolic Numeric Planning with Patterns

1 code implementation • 15 Dec 2023 • Matteo Cardellini, Enrico Giunchiglia, Marco Maratea

In this paper, we propose a novel approach for solving linear numeric planning problems, called Symbolic Pattern Planning.

valid

Causal Laws and Multi-Valued Fluents

no code implementations • 15 Jul 2023 • Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Hudson Turner

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 the system of causal logic introduced by McCain and Turner and in the action language C proposed by Giunchiglia and Lifschitz.