Keyphrases
- logic programming
- predicate logic
- logic programs
- conditional logic
- derivation rules
- truth values
- classical logic
- nonmonotonic reasoning
- nonmonotonic inference
- horn clauses
- closed world assumptions
- random field model
- data sets
- computational properties
- fixed point semantics
- declarative semantics
- multi valued
- deductive databases
- databases
- deontic logic
- proof theory
- default reasoning
- temporal logic