Tableau-Based Revision over SHIQ Tboxes, Logic for Programming, Artificial Intelligence, and Reasoning - Université Paris 8 Vincennes - Saint-Denis Accéder directement au contenu
Article Dans Une Revue 20th International Conference (LPAR-2015) Année : 2015

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

Thinh Dong
  • Fonction : Auteur
Laboratoire d'Informatique Avancée de Saint-Denis
C. Le Duc
P. Bonnot
  • Fonction : Auteur
Myriam Lamolle
  • Fonction : Auteur
Laboratoire d'Informatique Avancée de Saint-Denis

Domaines

Informatique [cs]

Haki Shtalbi  : Connectez-vous pour contacter le contributeur

https://univ-paris8.hal.science/hal-03245953

Soumis le : mercredi 2 juin 2021-10:13:12

Dernière modification le : vendredi 11 mars 2022-22:22:01

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-03245953 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS8 LIASD UNIV-PARIS-LUMIERES
16 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More