The Basic Constructive Logic for Negation-Consistency.
Gemma RoblesPublished in: J. Log. Lang. Inf. (2008)
Keyphrases
- logic programming
- predicate logic
- closed world assumptions
- logic programs
- truth values
- horn clauses
- classical logic
- derivation rules
- deductive databases
- modal logic
- knowledge representation and reasoning
- multi valued
- automated reasoning
- declarative semantics
- maintaining consistency
- closed world assumption
- answer set programming
- logical framework
- consistency checking
- nonmonotonic reasoning
- deontic logic
- asynchronous circuits
- constraint networks
- compositional semantics
- fixed point semantics