Contradiction Removal Semantics with Explicit Negation.
Luís Moniz PereiraJosé Júlio AlferesJoaquim Nunes AparícioPublished in: Logic at Work (1992)
Keyphrases
- logic programming
- compositional semantics
- derivation rules
- logic programs
- fixed point semantics
- stable model semantics
- stable models
- extended logic programs
- containment of conjunctive queries
- semantic information
- answer set programming
- normal logic programs
- deductive databases
- operational semantics
- declarative semantics
- semantics for logic programs
- data sets