Preferential Tableaux for Contextual Defeasible ALC - Université d'Artois Access content directly
Conference Papers Year : 2019
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-03674282 , version 1

Cite

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⟩
8 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More