Abduction, Argumentation and Bi-Disjunctive Logic Programs.
Kewen WangHuowang ChenPublished in: LPKR (1997)
Keyphrases
- disjunctive logic programs
- logic programming
- logic programs
- answer set programming
- disjunctive logic programming
- business intelligence
- default logic
- programming language
- nonmonotonic reasoning
- knowledge representation
- stable model semantics
- background knowledge
- desirable properties
- reasoning tasks
- answer sets
- knowledge base
- deductive databases
- polynomial hierarchy
- stable models
- classical logic
- answer set semantics
- inductive logic programming
- minimal models
- integrity constraints
- knowledge representation and reasoning
- object oriented