In defense of PDDL axioms.

Sylvie Thiébaux Jörg Hoffmann Bernhard Nebel

Published in: Artif. Intell. (2005)

Keyphrases

derived predicates
situation calculus
intrusion detection
action theories
planning domains
network security
ai planning
first order logic
advanced research projects agency
computer virus
domain independent planning
soft constraints
knowledge base
temporal planning