Expressive Equivalence of Planning Formalisms.

Christer Bäckström

Published in: Artif. Intell. (1995)

Keyphrases

planning problems
ai planning
data sets
stochastic domains
knowledge representation
logic programming
domain independent
motion planning
reasoning tasks
mixed initiative
blocks world
representing knowledge