Now showing items 1-2 of 2

    • Article
      Icon

      A logic-algebraic tool for reasoning with Knowledge-Based Systems 

      Alonso Jiménez, José Antonio; Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Fernández Lebrón, María Magdalena; Hidalgo Doblado, María José (Elsevier, 2018)
      A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases speci ed by propositional ...
    • Presentation
      Icon

      Extending Attribute Exploration by Means of Boolean Derivatives 

      Alonso Jiménez, José Antonio; Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Fernández Lebrón, María Magdalena; Hidalgo Doblado, María José (CEUR-WS, 2008)
      We present a translation of problems of Formal Context Analysis into ideals problems in F2[x] through the Boolean ...