106 citations · 109 across the 3 of their papers we have counts for
3 papers
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 -…
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…
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas
E. Giunchiglia, M. Narizzano, A. Tacchella
Resolution is the rule of inference at the basis of most procedures for automated reasoning. In these procedures, the input formula is first translated into an equisatisfiable form…