Preferential Tableaux for Contextual Defeasible ALC - Archive ouverte HAL Access content directly
Conference Papers Year : 2019

Preferential Tableaux for Contextual Defeasible ALC

Domains

Computer Science [cs] Artificial Intelligence [cs.AI]

Fabien DELORME  : Connect in order to contact the contributor

https://hal-univ-artois.archives-ouvertes.fr/hal-03674282

Submitted on : Friday, May 20, 2022-2:53:39 PM

Last modification on : Friday, March 24, 2023-2:53:27 PM

Not 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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-ARTOIS CNRS CRIL
7 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More