Filtrer vos résultats
- 4
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 4
- 4
- 1
- 4
- 3
- 3
- 3
4 résultats
|
|
triés par
|
|
Defeasible linear temporal logicJournal of Applied Non-Classical Logics, 2023, 33 (1), pp.1-51. ⟨10.1080/11663081.2023.2209494⟩
Article dans une revue
hal-04098600v1
|
||
|
Defeasible temporal logics for the specification and verification of exception-tolerant systemsLogic in Computer Science [cs.LO]. Université d'Artois, 2022. English. ⟨NNT : ⟩
Thèse
tel-03984186v1
|
||
|
On the Decidability of a Fragment of preferential LTLInternational Symposium on Temporal Representation and Reasoning (TIME), 2019, Malaga, Spain. pp.19:1--19:19
Communication dans un congrès
hal-03300290v1
|
||
|
A One-Pass Tree-Shaped Tableau for Defeasible LTL28th International Symposium on Temporal Representation and Reasoning (TIME 2021), Alpen-Adria-Universität Klagenfurt, Sep 2021, Klagenfurt, Austria. pp.16:1-16:18, ⟨10.4230/LIPIcs.TIME.2021.16⟩
Communication dans un congrès
hal-03699248v1
|