Buscar
Mostrando ítems 1-1 de 1
Artículo
A logic-algebraic tool for reasoning with Knowledge-Based Systems
(Elsevier, 2018)
A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases speci ed by propositional (Boolean) logic is presented. The model is conceived from the logical translation of usual ...