https://hal-univ-paris8.archives-ouvertes.fr/hal-03244460 Contributor : Haki ShtalbiConnect in order to contact the contributor Submitted on : Tuesday, June 1, 2021 - 11:31:41 AM Last modification on : Friday, March 11, 2022 - 10:22:01 PM
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⟩