A New Semantics for Logic Programs Capturing and Extending the Stable Model Semantics.
Belaid BenhamouPierre SiegelPublished in: ICTAI (2012)
Keyphrases
- semantics for logic programs
- logic programs
- stable models
- logic programming
- answer sets
- open world
- fixpoint
- normal logic programs
- normal form
- minimal models
- answer set programming
- deductive databases
- propositional logic
- closed world
- relational databases
- nonmonotonic reasoning
- database systems
- answer set semantics
- database
- incomplete information
- semantic web
- description logics
- knowledge base