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 "Verification"

Mostrando ítems 1-2 de 2

    • Artículo
      Icon

      Constructing Formally Verified Reasoners for the ALC Description Logic 

      Hidalgo Doblado, María José; Alonso Jiménez, José Antonio; Martín Mateos, Francisco Jesús; Ruiz Reina, José Luis (Elsevier, 2008)
      Description Logics are a family of logics used to represent and reason about conceptual and terminological knowledge. ...
    • 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 ...