Inf-datalog, Modal Logic and Complexities.
Eugénie FoustoucosIrène GuessarianPublished in: RAIRO Theor. Informatics Appl. (2009)
Keyphrases
- modal logic
- expressive power
- temporal logic
- decision procedures
- deductive databases
- query answering
- datalog programs
- inference rules
- conditional logic
- epistemic logic
- integrity constraints
- situation calculus
- query language
- nonmonotonic logics
- default logic
- classical logic
- explanation based generalization
- data complexity
- transitive closure
- logic programming
- model checking
- incomplete information
- query evaluation
- artificial intelligence
- modal operators