Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics.
Daniel GorínLutz SchröderPublished in: Advances in Modal Logic (2014)
Keyphrases
- fixpoint
- proof theoretic
- truth values
- logic programs
- deductive databases
- finite state machines
- horn clauses
- decision procedures
- expressive power
- inference rules
- description logics
- stable models
- modal logic
- nonmonotonic reasoning
- np complete
- logic programming
- fixpoint semantics
- integrity constraints
- model theoretic
- answer sets
- recursive queries
- update rule
- datalog programs
- default reasoning
- machine learning
- query evaluation
- transitive closure
- linear logic
- proof theory
- magic sets
- software engineering
- prior knowledge