María-José Hidalgo-Doblado

Publication Activity (10 Years)

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

Top Topics

Deductive Reasoning

Knowledge Engineers

Logical Framework

Rule Based Systems

Top Venues

J. Log. Algebraic Methods Program.

J. Autom. Reason.

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)
María-José Hidalgo-Doblado, José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina
Formally Verified Tableau-Based Reasoners for a Description Logic. J. Autom. Reason. 52 (3) (2014)