• Artículo
      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 ...