| 2008 |
|---|
| 14 | EE | Antonio Hernando,
Luis de Ledesma,
Luis M. Laita:
A system simulating representation change phenomena while problem solving.
Mathematics and Computers in Simulation 78(1): 89-106 (2008) |
| 2007 |
|---|
| 13 | EE | Antonio Hernando,
Luis de Ledesma,
Luis M. Laita:
An Approach to Representation Changes While Executing Problem Solver Intelligent Systems.
IEEE ICCI 2007: 35-42 |
| 2004 |
|---|
| 12 | EE | 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: 67-78 |
| 2003 |
|---|
| 11 | EE | 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: 118-126 |
| 2002 |
|---|
| 10 | EE | 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: 38-50 |
| 2001 |
|---|
| 9 | EE | 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: 146-152 |
| 8 | EE | Luis M. Laita,
Eugenio Roanes-Lozano,
Luis de Ledesma,
Tomasa Calvo,
L. Gozález-Sotos:
A Computer Algebra Approach to Relational Systems Using Gröbner Bases.
RelMiCS 2001: 124-133 |
| 2000 |
|---|
| 7 | EE | Luis M. Laita,
Luis de Ledesma,
Eugenio Roanes-Lozano,
Alberto Brunori:
George Boole, a Forerunner of Symbolic Computation.
AISC 2000: 1-19 |
| 1999 |
|---|
| 6 | | 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: 53-65 |
| 5 | EE | Luis M. Laita,
Eugenio Roanes-Lozano,
Luis de Ledesma,
Jose A. Alonso:
A computer algebra approach to verification and deduction in many-valued knowledge systems.
Soft Comput. 3(1): 7-19 (1999) |
| 1997 |
|---|
| 4 | EE | 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): 281-307 (1997) |
| 1994 |
|---|
| 3 | | 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: 255-263 |
| 1993 |
|---|
| 2 | | Luis M. Laita,
Luis de Ledesma,
Aurora Pérez,
Betty Ramírez:
A Formal Study of Forward Reasoning Consistency on KBSs.
EUROVAV 1993: 209-216 |
| 1991 |
|---|
| 1 | | Luis M. Laita,
Julia Couto,
Luis de Ledesma:
A Formal Study of Consistency of KBSs.
EUROVAV 1991: 31-38 |
