Journal Articles
LPAR
Year : 2015
Haki Shtalbi : Connect in order to contact the contributor
https://hal-univ-paris8.archives-ouvertes.fr/hal-03244460
Submitted on : Tuesday, June 1, 2021-11:31:41 AM
Last modification on : Friday, March 11, 2022-10:22:01 PM
Dates and versions
Identifiers
- HAL Id : hal-03244460 , version 1
Cite
T. Dong, C. Le Duc, P. Bonnot, M. Lamolle. Tableau-Based Revision over SHIQ TBoxes: article publié dans actes de colloque. LPAR, 2015, Proceedings "Logic for Programming, Artificial Intelligence, and Reasoning", pp.575--590. ⟨hal-03244460⟩
Collections
23
View
0
Download