Disjunctive logic programs with existential quantification in rule heads.
Jia-Huai YouHeng ZhangYan ZhangPublished in: Theory Pract. Log. Program. (2013)
Keyphrases
- disjunctive logic programs
- disjunctive logic programming
- logic programming
- logic programs
- answer set programming
- stable model semantics
- polynomial hierarchy
- query answering
- artificial intelligence
- answer sets
- stable models
- production rules
- default logic
- association rules
- np complete
- knowledge representation and reasoning
- general purpose
- software engineering
- object oriented