Keyphrases
- fixpoint
- datalog programs
- logic programs
- proof theoretic
- modal logic
- horn clauses
- logic programming
- truth values
- datalog programs with negation
- deductive databases
- nonmonotonic logics
- model theoretic
- first order logic
- declarative semantics
- nonmonotonic reasoning
- finite state machines
- stable models
- answer sets
- semantics of logic programs
- inference rules
- sql queries
- temporal logic
- modal operators
- inductive logic programming
- semantics for logic programs
- integrity constraints
- decision procedures
- fixpoint semantics
- propositional logic
- minimal models
- background knowledge
- programming language
- answer set programming
- query evaluation
- default reasoning
- theorem proving