Browsing Ponencias (Ciencias de la Computación e Inteligencia Artificial) by Subject "Independence rule"
Now showing items 1-1 of 1
-
Presentation
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 ...