Login / Signup

Implementing CLP(IB) Using the Connection Theorem Proving Method and a Clause Management System.

Greg Sidebottom
Published in: J. Symb. Comput. (1993)
Keyphrases
  • theorem proving
  • management system
  • natural language
  • graphical models
  • model checking
  • inference rules
  • theorem prover
  • proof planning