Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription.
Heng ZhangMingsheng YingPublished in: AAAI (2010)
Keyphrases
- stable model semantics
- disjunctive logic programs
- logic programs
- answer set programming
- polynomial hierarchy
- disjunctive logic programming
- loop formulas
- stable models
- logic programming
- first order logic
- model theoretic
- answer sets
- function free horn
- answer set programs
- programming language
- normal logic programs
- rdf graphs
- horn clauses
- dnf formulas
- fixpoint
- natural language
- modulo theories
- datalog programs
- query processing