Journal Articles
Description Logics 2015
Year : 2015
Haki Shtalbi : Connect in order to contact the contributor
https://hal-univ-paris8.archives-ouvertes.fr/hal-03245920
Submitted on : Wednesday, June 2, 2021-9:59:59 AM
Last modification on : Friday, March 11, 2022-10:22:01 PM
Dates and versions
Identifiers
- HAL Id : hal-03245920 , version 1
Cite
Thinh Dong, C. Le Duc, P. Bonnot, Myriam Lamolle. Tableau-based revision in SHIQ. Description Logics 2015, 2015. ⟨hal-03245920⟩
Collections
14
View
0
Download