Login / Signup

Reductio ad Absurdum: Planning Proofs by Contradiction.

Erica MelisMartin PolletJö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