Luis de Ledesma

Publication Activity (10 Years)

Years Active: 1991-2009
Publications (10 Years): 0

Publications

Antonio Hernando, Luis de Ledesma, Luis M. Laita
Showing the non-existence of solutions in systems of linear Diophantine equations. Math. Comput. Simul. 79 (11) (2009)
Antonio Hernando, Luis de Ledesma, Luis M. Laita
A system simulating representation change phenomena while problem solving. Math. Comput. Simul. 78 (1) (2008)
Antonio Hernando, Luis de Ledesma, Luis M. Laita
An Approach to Representation Changes While Executing Problem Solver Intelligent Systems. IEEE ICCI (2007)
R. Sánchez-Morgado, Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, Laura Laita
A Rule-Based Knowledge System for Diagnosis of Mental Retardation. ISBMDA (2004)
I. Rodríguez-Daza, Luis M. Laita, Eugenio Roanes-Lozano, A. M. Crespo-Alonso, Victor Maojo, Luis de Ledesma, Laura Laita
An Outline of an Expert System for Diagnosis and Treatment of Bronchogenic Carcinoma. ISMDA (2003)
Begoña Herrero, Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma, José Crespo, Laura Laita
A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis. AISC (2002)
Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, Tomasa Calvo, León González-Sotos
A Computer Algebra Approach to Relational Systems Using Gröbner Bases. RelMiCS (2001)
Luis M. Laita, G. González-Páez, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma, Laura Laita
A Methodology for Constructing Expert Systems for Medical Diagnosis. ISMDA (2001)
Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori
George Boole, a Forerunner of Symbolic Computation. AISC (2000)
Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, José-Antonio Alonso
A computer algebra approach to verification and deduction in many-valued knowledge systems. Soft Comput. 3 (1) (1999)
Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma
Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria. EUROVAV (1999)
Luis de Ledesma, Aurora Pérez, Daniel Borrajo, Luis M. Laita
A Computational Approach to George Boole's Discovery of Mathematical Logic. Artif. Intell. 91 (2) (1997)
Luis M. Laita, Julia Couto, Luis de Ledesma, Alejandro Fernández-Margarit
A formal model for knowledge-based systems verification. Int. J. Intell. Syst. 9 (9) (1994)
Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Eugenio Roanes-Macías
An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus. AISMC (1994)
Luis M. Laita, Luis de Ledesma, Aurora Pérez, Betty Ramírez
A Formal Study of Forward Reasoning Consistency on KBSs. EUROVAV (1993)
Luis M. Laita, Julia Couto, Luis de Ledesma
A Formal Study of Consistency of KBSs. EUROVAV (1991)