María Magdalena Fernández-Lebrón

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 2

Top Topics

Inconsistent Knowledge

Deductive Reasoning

Knowledge Engineers

Computer Algebra

Top Venues

J. Log. Algebraic Methods Program.

Publications

José A. Alonso-Jiménez, Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, María Magdalena Fernández-Lebrón, María-José Hidalgo-Doblado
A logic-algebraic tool for reasoning with Knowledge-Based Systems. CoRR (2018)
José A. Alonso-Jiménez, Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, María Magdalena Fernández-Lebrón, María-José Hidalgo-Doblado
A logic-algebraic tool for reasoning with Knowledge-Based Systems. J. Log. Algebraic Methods Program. 101 (2018)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, María Magdalena Fernández-Lebrón
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations. Calculemus/MKM (2009)