Encoding HTN Planning in Propositional Logic.
Amol Dattatraya MaliSubbarao KambhampatiPublished in: AIPS (1998)
Keyphrases
- propositional logic
- htn planning
- belief revision
- first order logic
- planning systems
- hierarchical task network
- planning domains
- ai planning
- planning problems
- quantified boolean formulae
- propositional satisfiability
- lattice theory
- satisfiability testing
- horn logic
- search algorithm
- domain knowledge
- evolutionary algorithm