On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning.

Nicola Gigante Andrea Micheli Enrico Scala

Published in: KR (2022)

Keyphrases

expressive power
temporal planning
temporal planner
mutual exclusion
first order logic
query language
plan generation
relational algebra
domain independent
temporal constraints
ai planning
long distance
heuristic search
partial order
plan execution
knowledge representation
expert systems