Login / Signup

Using Forcing to Prove Completeness of Resolution and Paramodulation.

John PaisGerald E. Peterson
Published in: J. Symb. Comput. (1991)
Keyphrases
  • high resolution
  • theorem proving
  • inference rules
  • knowledge base
  • first order logic
  • temporal resolution
  • consequence finding
  • multimedia
  • data model
  • probabilistic model
  • conflict detection