A Conservative Extension of First-order Logic and Its Application to Theorem Proving.
David A. BasinSeán MatthewsPublished in: FSTTCS (1993)
Keyphrases
- theorem proving
- first order logic
- propositional logic
- expressive power
- inference rules
- automated reasoning
- theorem prover
- probabilistic reasoning
- term rewriting
- proof procedure
- decision procedures
- knowledge representation
- inductive logic programming
- transitive closure
- proof planning
- predicate calculus
- formal semantics
- parallel search
- consequence finding
- horn clauses
- closure operator
- knowledge base
- geometry theorem proving
- markov logic networks
- bayesian networks