3 papers
cs.AI2026
Exploiting Search in Symbolic Numeric Planning with Patterns
Matteo Cardellini, Enrico Giunchiglia
In this paper, we present a procedure for numeric planning based on Symbolic Pattern Planning (SPP). Given a numeric planning problem , a pattern is a sequence of action…
cs.AI2026
Symbolic Pattern Temporal Numeric Planning with Intermediate Conditions and Effects
Matteo Cardellini, Enrico Giunchiglia
Recently, a Symbolic Pattern Planning (SPP) approach was proposed for numeric planning where a pattern (i.e., a finite sequence of actions) suggests a causal order between actions.…
cs.AI2024
Temporal Numeric Planning with Patterns
Matteo Cardellini, Enrico Giunchiglia
We consider temporal numeric planning problems expressed in PDDL2.1 level 3, and show how to produce SMT formulas whose models correspond to valid plans of , and $(ii)…