First-Order Rewritability of Atomic Queries in Horn Description Logics - ANR - Agence nationale de la recherche Accéder directement au contenu
Communication Dans Un Congrès Année : 2013
Fichier non déposé

Dates et versions

hal-00947535 , version 1 (16-02-2014)

Identifiants

  • HAL Id : hal-00947535 , version 1

Citer

Meghyn Bienvenu, Carsten Lutz, Frank Wolter. First-Order Rewritability of Atomic Queries in Horn Description Logics. International Joint Conference on Artificial Intelligence (IJCAI), Aug 2013, China. pp.754-760. ⟨hal-00947535⟩
107 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More