On the Decidability of a Fragment of preferential LTL.
Anasse ChafikFahima Cheikh AliliJean-François CondottaIvan VarzinczakPublished in: TIME (2020)
Keyphrases
- automata theoretic
- temporal logic
- model checking
- linear temporal logic
- bounded model checking
- satisfiability problem
- modal logic
- description logics
- transition systems
- deterministic automata
- linear time temporal logic
- query answering
- belief revision
- database
- possibility theory
- decision procedures
- search algorithm
- data mining