Negation as Failure for Disjunctive Logic Programming.
Phan Minh DungNgo Huu LiemPublished in: Ann. Math. Artif. Intell. (1994)
Keyphrases
- disjunctive logic programming
- disjunctive datalog
- logic programming
- logic programs
- answer set programming
- knowledge representation and reasoning
- answer sets
- polynomial hierarchy
- expressive power
- deductive databases
- nonmonotonic reasoning
- knowledge representation
- general purpose
- knowledge base
- fixpoint
- machine learning
- programming language
- reasoning tasks
- horn clauses
- stable models
- default logic
- stable model semantics
- integrity constraints