Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals.
Davide BresolinDario Della MonicaAngelo MontanariPietro SalaGuido SciaviccoPublished in: Inf. Comput. (2019)
Keyphrases
- modal logic
- decision procedures
- temporal logic
- inference rules
- nonmonotonic logics
- epistemic logic
- classical logic
- modal operators
- default logic
- situation calculus
- explanation based generalization
- temporal reasoning
- temporal information
- computational complexity
- conditional logic
- endpoints
- query answering
- automated reasoning
- decision problems
- np complete
- multi agent systems
- prime implicates
- reinforcement learning