First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription.
Michael BartholomewJoohyung LeeYunsong MengPublished in: IJCAI (2011)
Keyphrases
- stable model semantics
- logic programs
- answer set programming
- disjunctive logic programs
- loop formulas
- stable models
- general logic programs
- logic programming
- answer set programs
- normal logic programs
- first order logic
- horn clauses
- answer sets
- default theories
- rdf graphs
- derivation rules
- reasoning tasks
- fixpoint
- model theoretic
- deductive databases
- inductive logic programming
- query evaluation
- modulo theories