Preferential Tableaux for Contextual Defeasible ALC - Université d'Artois Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Preferential Tableaux for Contextual Defeasible ALC

Fichier non déposé

Dates et versions

hal-03674282 , version 1 (20-05-2022)

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⟩
10 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More