Luis de Ledesma

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