Tableau-Based Revision over SHIQ Tboxes, Logic for Programming, Artificial Intelligence, and Reasoning

Thinh Dong; C. Le Duc; P. Bonnot; Myriam Lamolle

Journal Articles 20th International Conference (LPAR-2015) Year : 2015

Tableau-Based Revision over SHIQ Tboxes, Logic for Programming, Artificial Intelligence, and Reasoning

(1) , , , (1)

1

Thinh Dong

Function : Author

Laboratoire d'Informatique Avancée de Saint-Denis

C. Le Duc

Function : Author
PersonId : 753177
IdHAL : chanle-duc
ORCID : 0000-0001-6848-0723

P. Bonnot

Function : Author

Myriam Lamolle

Function : Author

Laboratoire d'Informatique Avancée de Saint-Denis

Domains

Computer Science [cs]

Haki Shtalbi : Connect in order to contact the contributor

https://hal-univ-paris8.archives-ouvertes.fr/hal-03245953

Submitted on : Wednesday, June 2, 2021-10:13:12 AM

Last modification on : Friday, March 11, 2022-10:22:01 PM

Dates and versions

hal-03245953 , version 1 (02-06-2021)

Identifiers

HAL Id : hal-03245953 , version 1

Cite

Thinh Dong, C. Le Duc, P. Bonnot, Myriam Lamolle. Tableau-Based Revision over SHIQ Tboxes, Logic for Programming, Artificial Intelligence, and Reasoning. 20th International Conference (LPAR-2015), 2015, pp.575-590. ⟨hal-03245953⟩

Tableau-Based Revision over SHIQ Tboxes, Logic for Programming, Artificial Intelligence, and Reasoning

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share