Login / Signup

A Comparative Study of Several Proof Procedures.

Wolfgang Bibel
Published in: Artif. Intell. (1982)
Keyphrases
  • proof procedures
  • inference rules
  • proof procedure
  • winning strategy
  • theorem proving
  • first order logic
  • knowledge base
  • propositional logic
  • modal logic
  • horn clauses