Keyphrases
- fixpoint
- modal logic
- proof theoretic
- nonmonotonic logics
- logic programs
- nonmonotonic reasoning
- truth values
- deductive databases
- inference rules
- decision procedures
- horn clauses
- finite state machines
- temporal logic
- model theoretic
- default logic
- answer sets
- stable models
- datalog programs
- modal operators
- fixpoint semantics
- expressive power
- logic programming
- update rule
- sql queries
- situation calculus
- query evaluation
- belief revision
- default reasoning
- model checking