Browsing Artículos (Ciencias de la Computación e Inteligencia Artificial) by Subject 

Browsing Artículos (Ciencias de la Computación e Inteligencia Artificial) by Subject "Formal Methods"

Now showing items 1-2 of 2

    • Article
      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. ...
    • Article
      Icon

      Verification of the Formal Concept Analysis 

      Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Hidalgo Doblado, María José; Martín Mateos, Francisco Jesús; Ruiz Reina, José Luis (Real Academia de Ciencias, 2004)
      This paper is concerned with a formal verification of the Formal Concept Analysis framework. We use the PVS system to ...