Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por materia 

ListarArtículos (Ciencias de la Computación e Inteligencia Artificial) por materia "Description logics"

Mostrando ítems 1-1 de 1

    • Artículo
      Icon

      Formally Verified Tableau-Based Reasoners for a Description Logic 

      Hidalgo Doblado, María José; Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Martín Mateos, Francisco Jesús; Ruiz Reina, José Luis (Springer, 2014)
      Description Logics are a family of logics used to represent and reason about conceptual and terminological knowledge. One ...