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 |