CH-Prolog: A Proof Procedure for Positive Disjunctive Logic Programming.
Wenjin LuPublished in: FLAIRS Conference (1999)
Keyphrases
- proof procedure
- disjunctive logic programming
- theorem proving
- logic programming
- first order logic
- propositional logic
- logic programs
- predicate calculus
- model theoretic
- answer set programming
- knowledge representation and reasoning
- polynomial hierarchy
- inference rules
- knowledge representation
- answer sets
- expert systems
- decision procedures
- programming language
- theorem prover
- probabilistic reasoning
- nonmonotonic reasoning
- automated reasoning
- high level
- deductive databases
- answer set semantics
- default logic
- semantic network
- expressive power
- description logics