A Formal Study of Consistency of KBSs. - Luis M. Laita; Julia Couto 001; Luis de Ledesma (EUROVAV, 1991)

A Formal Study of Forward Reasoning Consistency on KBSs. - Luis M. Laita; Luis de Ledesma; Aurora Pérez; Betty Ramírez (EUROVAV, 1993)

An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus. - Luis M. Laita; Luis de Ledesma; Eugenio Roanes-Lozano; Eugenio Roanes-Macías (AISMC, 1994)

A formal model for knowledge-based systems verification. - Luis M. Laita; Julia Couto 001; Luis de Ledesma; Alejandro Fernández-Margarit (Int. J. Intell. Syst., 1994)

A Computational Approach to George Boole's Discovery of Mathematical Logic. - Luis de Ledesma; Aurora Pérez; Daniel Borrajo; Luis M. Laita (Artif. Intell., 1997)

Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria. - Luis M. Laita; Eugenio Roanes-Lozano; Victor Maojo; Luis de Ledesma (EUROVAV, 1999)

A computer algebra approach to verification and deduction in many-valued knowledge systems. - Luis M. Laita; Eugenio Roanes-Lozano; Luis de Ledesma; José-Antonio Alonso (Soft Comput., 1999)

George Boole, a Forerunner of Symbolic Computation. - Luis M. Laita; Luis de Ledesma; Eugenio Roanes-Lozano; Alberto Brunori (AISC, 2000)

A Computer Algebra Approach to Relational Systems Using Gröbner Bases. - Luis M. Laita; Eugenio Roanes-Lozano; Luis de Ledesma; Tomasa Calvo; León González-Sotos (RelMiCS, 2001)

A Methodology for Constructing Expert Systems for Medical Diagnosis. - Luis M. Laita; G. González-Páez; Eugenio Roanes-Lozano; Victor Maojo; Luis de Ledesma; Laura Laita (ISMDA, 2001)

A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis. - Begoña Herrero; Luis M. Laita; Eugenio Roanes-Lozano; Victor Maojo; Luis de Ledesma; José Crespo; Laura Laita (AISC, 2002)

An Outline of an Expert System for Diagnosis and Treatment of Bronchogenic Carcinoma. - I. Rodríguez-Daza; Luis M. Laita; Eugenio Roanes-Lozano; A. M. Crespo-Alonso; Victor Maojo; Luis de Ledesma; Laura Laita (ISMDA, 2003)

A Rule-Based Knowledge System for Diagnosis of Mental Retardation. - R. Sánchez-Morgado; Luis M. Laita; Eugenio Roanes-Lozano; Luis de Ledesma; Laura Laita (ISBMDA, 2004)

An Approach to Representation Changes While Executing Problem Solver Intelligent Systems. - Antonio Hernando; Luis de Ledesma; Luis M. Laita (IEEE ICCI, 2007)

A system simulating representation change phenomena while problem solving. - Antonio Hernando; Luis de Ledesma; Luis M. Laita (Math. Comput. Simul., 2008)

Showing the non-existence of solutions in systems of linear Diophantine equations. - Antonio Hernando; Luis de Ledesma; Luis M. Laita (Math. Comput. Simul., 2009)