A Rational Extension of Stable Model Semantics to the Full Propositional Language.
Shahab TasharrofiPublished in: IJCAI (2013)
Keyphrases
- stable model semantics
- logic programs
- answer set programming
- closed world
- stable models
- loop formulas
- disjunctive logic programming
- answer set programs
- logic programming
- programming language
- propositional logic
- databases
- horn clauses
- natural language
- decision making
- model theoretic
- normal logic programs
- relational databases
- integrity constraints
- first order logic
- default theories
- data model
- high level