Communication Dans Un Congrès
Année : 2019
Fabien DELORME : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-03674282
Soumis le : vendredi 20 mai 2022-14:53:39
Dernière modification le : jeudi 7 mars 2024-11:19:53
Dates et versions
Identifiants
- HAL Id : hal-03674282 , version 1
Citer
Katarina Britz, Ivan Varzinczak. Preferential Tableaux for Contextual Defeasible ALC. Proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), 2019, London, United Kingdom. ⟨hal-03674282⟩
Collections
10
Consultations
0
Téléchargements