Login / Signup
The Power of Reformulation: From Validation to Planning in PDDL+.
Francesco Percassi
Enrico Scala
Mauro Vallati
Published in:
ICAPS (2022)
Keyphrases
</>
plan generation
temporal planning
planning problems
plan recognition
planning domains
ai planning
planning systems
power consumption
heuristic search
domain independent
state space
situation calculus
data sets
planning tasks
integer programming
soft constraints
model checking
orders of magnitude
derived predicates