Hybridizing Nonmonotonic Inheritance with Theorem Proving.
Richmond H. ThomasonJohn M. AronisPublished in: Ann. Math. Artif. Intell. (1992)
Keyphrases
- theorem proving
- multiple inheritance
- first order logic
- object oriented
- decision procedures
- automated reasoning
- inference rules
- parallel search
- automated deduction
- term rewriting
- proof planning
- knowledge representation
- theorem prover
- automatic programming
- automated theorem proving
- modal logic
- consequence finding
- nonmonotonic logics
- geometry theorem proving
- logical inference
- predicate calculus
- deductive databases
- object oriented databases
- combinatorial search
- object oriented programming
- proof procedure
- artificial intelligence
- natural deduction
- proof search
- logic programming
- autoepistemic logic
- expert systems