Buscar
Mostrando ítems 1-2 de 2
Ponencia
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations
(Springer, 2009)
We present a specialised (polynomial-based) rule for the propositional logic called the Independence Rule, which is useful to compute the conservative retractions of propositional logic theories. In this paper we show ...
Artículo
Towards a Notion of Basis for Knowledge-Based Systems—Applications
(MDPI, 2021)
In the paradigm of Knowledge-Based Systems (KBS), the design of methods to simplify the reasoning leads to more efficient processes. A point of view that provides valuable insights is the algebraic one. In this work, a ...