An Abductive Semantics for Disjunctive Logic Programs and Its Proof Procedure.
Jia-Huai YouLi-Yan YuanRandy GoebelPublished in: FSTTCS (1997)
Keyphrases
- disjunctive logic programs
- abductive logic programming
- logic programs
- proof procedure
- minimal models
- propositional logic
- logic programming
- model theoretic
- answer set semantics
- answer set programming
- answer sets
- stable model semantics
- disjunctive logic programming
- theorem proving
- stable models
- predicate calculus
- first order logic
- fixpoint
- deductive databases
- desirable properties
- computational properties
- nonmonotonic reasoning
- description logics
- autoepistemic logic
- inductive logic programming
- belief revision
- propositional satisfiability
- knowledge base
- programming language
- operational semantics
- reasoning tasks
- theorem prover
- object oriented