Login / Signup
Reductio ad Absurdum: Planning Proofs by Contradiction.
Erica Melis
Martin Pollet
Jörg H. Siekmann
Published in:
Reasoning, Action and Interaction in AI Theories and Systems (2006)
Keyphrases
</>
goal oriented
domain independent
planning problems
ai planning
stochastic domains
equational theories
data mining
web services
theorem proving
blocks world
formal proofs
targeted advertising