On Supporting Strong and Default Negation in Answer-Set Program Updates.
Martin SlotaMartin BalázJoão LeitePublished in: IBERAMIA (2014)
Keyphrases
- answer sets
- logic programs
- semantics of logic programs
- loop formulas
- answer set programs
- answer set programming
- logic programming
- answer set semantics
- stable model semantics
- extended logic programs
- normal logic programs
- stable models
- fixpoint
- update semantics
- semantics for logic programs
- databases
- polynomial hierarchy
- knowledge representation
- data structure
- database
- nonmonotonic reasoning
- sat solvers
- deductive databases
- minimal models
- high level