A Step Up in Expressiveness of Decidable Fixpoint Logics.
Michael BenediktPierre BourhisMichael Vanden BoomPublished in: LICS (2016)
Keyphrases
- fixpoint
- expressive power
- datalog programs
- logic programs
- proof theoretic
- deductive databases
- datalog programs with negation
- first order logic
- truth values
- horn clauses
- finite state machines
- logic programming
- recursive queries
- answer sets
- stable models
- transitive closure
- inference rules
- fixpoint semantics
- nonmonotonic reasoning
- model theoretic
- query answering
- update rule
- modal logic
- decision procedures
- default logic
- databases