A One-Pass Tree-Shaped Tableau for Defeasible LTL.
Anasse ChafikFahima Cheikh AliliJean-François CondottaIvan VarzinczakPublished in: TIME (2021)
Keyphrases
- tree shaped
- tableau calculus
- description logics
- defeasible logic
- model checking
- temporal logic
- bounded model checking
- linear time temporal logic
- linear temporal logic
- default logic
- deterministic automata
- defeasible reasoning
- practical reasoning
- genetic algorithm
- update semantics
- conflicting information
- deontic logic
- data sets
- nonmonotonic reasoning
- information systems
- machine learning