Plan Generation by Linear Proofs: On Semantics.

Wolfgang Bibel Luis Fariñas del Cerro Bertram Fronhöfer Andreas Herzig

Published in: GWAI (1989)

Keyphrases

plan generation
plan recognition
temporal planner
plan execution
planning problems
theorem proving
plan library
learning algorithm
semantic information
theorem prover
causal graph
temporal planning