Logical Approach to Theorem Proving with Term Rewriting on KR-logic.
Tadayuki YoshidaEkawit NantajeewarawatMasaharu MunetomoKiyoshi AkamaPublished in: KEOD (2019)
Keyphrases
- term rewriting
- theorem proving
- predicate calculus
- automated reasoning
- rewrite systems
- proof procedure
- logical inference
- theorem prover
- knowledge representation and reasoning
- first order logic
- automated theorem proving
- inference rules
- natural deduction
- logical framework
- proof search
- decision procedures
- knuth bendix
- automated deduction
- parallel search
- proof planning
- predicate logic
- model theoretic
- probabilistic logic
- operational semantics
- modal logic
- consequence finding
- supervised learning
- logic programming
- artificial intelligence
- linear logic
- reasoning tasks
- horn clauses
- equational theories
- geometry theorem proving