DisLoP: A Disjunctive Logic Programming System Based on PROTEIN Theorem Prover.
Chandrabose AravindanPublished in: KI (1996)
Keyphrases
- theorem prover
- disjunctive logic programming
- automated reasoning
- knowledge representation and reasoning
- theorem proving
- first order logic
- automated theorem proving
- polynomial hierarchy
- formal proof
- inference rules
- answer set programming
- term rewriting
- logic programming
- formal semantics
- proof search
- boolean algebra
- answer sets
- natural deduction
- logic programs
- reasoning systems
- knowledge base
- software engineering
- object oriented
- training data