Combining Explicit Negation and Negation by Failure Via Belnap's Logic.
Paul RuetFrançois FagesPublished in: Theor. Comput. Sci. (1997)
Keyphrases
- logic programming
- predicate logic
- logic programs
- truth values
- horn clauses
- closed world assumptions
- derivation rules
- deductive databases
- containment of conjunctive queries
- compositional semantics
- modal logic
- knowledge base
- failure prediction
- stable models
- computational properties
- failure rate
- classical logic
- fixpoint
- multi valued
- knowledge representation
- case study