Buscar
Mostrando ítems 1-3 de 3
Artículo
Discovering New Sentiments from the Social Web
(Cornell University Library, 2014)
Artículo
Formally Verified Tableau-Based Reasoners for a Description Logic
(Springer, 2014)
Description Logics are a family of logics used to represent and reason about conceptual and terminological knowledge. One of the most basic description logics is ALC , used as a basis from which to obtain others. Description ...
Artículo
Extracción y organización del conocimiento de etiquetados. Aplicación a etiquetados en repositorios digitales sobre arte
(Seminario Interdisciplinar para el Estudio de la Literatura Áurea Española, 2014)