Browsing Artículos (Ciencias de la Computación e Inteligencia Artificial) by Subject "Automated Deduction"
Now showing items 1-1 of 1
-
Article
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 ...