Login / Signup

and the power of logical theories.

Stephen Cook
Published in: Proof Complexity and Feasible Arithmetics (1996)
Keyphrases
  • logical theories
  • situation calculus
  • inductive logic programming
  • artificial intelligence
  • belief revision
  • conceptual structures
  • reasoning about actions
  • uncertain databases