Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic.
Hans de NivellePublished in: ARQNL@IJCAR (2014)
Keyphrases
- theorem proving
- automated reasoning
- logical inference
- classical logic
- proof procedure
- modal logic
- predicate calculus
- proof search
- logic programming
- automated theorem proving
- geometry theorem proving
- natural deduction
- predicate logic
- decision procedures
- propositional logic
- proof planning
- consequence finding
- model theoretic
- machine learning
- nonmonotonic logics
- bayesian networks