Login / Signup

Directed Automated Theorem Proving.

Stefan EdelkampPeter Leven
Published in: LPAR (2002)
Keyphrases
  • automated theorem proving
  • theorem prover
  • theorem proving
  • answer set programming
  • first order logic
  • classical logic
  • special case
  • inference rules
  • artificial intelligence
  • reinforcement learning
  • support vector