Strong Negation and Equivalence in the Safe Belief Semantics.
Magdalena OrtizMauricio OsorioPublished in: J. Log. Comput. (2007)
Keyphrases
- logic programming
- logic programs
- strong equivalence
- answer set semantics
- compositional semantics
- datalog programs
- containment of conjunctive queries
- extended logic programs
- fixed point semantics
- normal logic programs
- query containment
- nonmonotonic reasoning
- answer sets
- fixpoint semantics
- derivation rules
- model theoretic
- belief revision
- truth values
- modal operators
- stable model semantics
- formal semantics
- declarative semantics
- open world
- answer set programming
- operational semantics
- semantics for logic programs
- truth maintenance systems
- semantics of logic programs
- semantic information
- belief functions
- possibilistic logic
- owl ontologies
- equivalence relation