Tableau-based Revision for Expressive Description Logics - Archive ouverte HAL
Communication Dans Un Congrès Année : 2017
Fichier non déposé

Dates et versions

hal-01577773 , version 1 (28-08-2017)

Identifiants

  • HAL Id : hal-01577773 , version 1

Citer

Dong Thinh, Chan Le Duc, Myriam Lamolle. Tableau-based Revision for Expressive Description Logics . 11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France. ⟨hal-01577773⟩
106 Consultations
0 Téléchargements

Partager

More