Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics.
Magdalena OrtizMauricio OsorioPublished in: Answer Set Programming (2005)
Keyphrases
- answer set semantics
- logic programs
- answer sets
- logic programming
- answer set programming
- extended logic programs
- normal logic programs
- propositional logic
- belief revision
- stable models
- semantics of logic programs
- strong equivalence
- fixpoint
- abductive logic programming
- ontology languages
- deductive databases
- nonmonotonic reasoning
- dl programs
- conflict resolution
- reasoning tasks
- semantic web
- knowledge representation
- decision making
- stable model semantics
- description logic programs
- disjunctive logic programming
- programming language
- database systems