Luis M. Laita

2008
24	EE	Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías: A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple. AISC/MKM/Calculemus 2008: 170-183
23	EE	M. Lourdes Jiménez, José M. Santamaría, Roberto Barchino, Laura Laita, Luis M. Laita, León A. González, Angel Asenjo: Knowledge representation for diagnosis of care problems through an expert system: Model of the auto-care deficit situations. Expert Syst. Appl. 34(4): 2847-2857 (2008)
22	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
21	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
2006
20	EE	Carlos Rodríguez-Solano, Luis M. Laita, Eugenio Roanes-Lozano, Luis López-Corral, Laura Laita: A computational system for diagnosis of depressive situations. Expert Syst. Appl. 31(1): 47-55 (2006)
2005
19	EE	Eugenio Roanes-Lozano, R. García, Eugenio Roanes-Macías, A. Aparicio, Luis M. Laita: Meta-Petro: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies. CASC 2005: 344-354
2004
18	EE	Eugenio Roanes-Lozano, E. López-Vidriero Jr., Luis M. Laita, E. López-Vidriero, Victor Maojo, Eugenio Roanes-Macías: An Expert System on Detection, Evaluation and Treatment of Hypertension. AISC 2004: 251-264
17	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
16	EE	Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías: An accelerated-time simulation of departing passengers' flow in airport terminals. Mathematics and Computers in Simulation 67(1-2): 163-172 (2004)
2003
15	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
14	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
13	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
12	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
11	EE	Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori: George Boole, a Forerunner of Symbolic Computation. AISC 2000: 1-19
10	EE	Victor Maojo, Luis M. Laita, Eugenio Roanes-Lozano, José Crespo, Juan Rodríguez-Pedrosa: A New Computerized Method to Verify and Disseminate Medical Appropriateness Criteria. ISMDA 2000: 212-217
1999
9		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
8	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)
1998
7	EE	Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo: Inference and Verification in Medical Appropriateness Criteria Using Gröbner Bases. AISC 1998: 183-194
6		Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías: An Application of an AI Methodology to Railway Interlocking Systems Using Computer Algebra. IEA/AIE (Vol. 2) 1998: 687-696
1997
5	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)
1996
4		Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías: An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem. AISMC 1996: 71-86
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

Coauthor Index

1	Jose A. Alonso	[8]
2	A. Aparicio	[19]
3	Angel Asenjo	[23]
4	Roberto Barchino	[23]
5	Daniel Borrajo	[5]
6	Alberto Brunori	[11]
7	Tomasa Calvo	[12]
8	Julia Couto	[1]
9	José Crespo	[10] [14]
10	A. M. Crespo-Alonso	[15]
11	R. García	[19]
12	León A. González	[23]
13	G. González-Páez	[13]
14	L. Gozález-Sotos	[12]
15	Antonio Hernando	[21] [22]
16	Begoña Herrero	[14]
17	M. Lourdes Jiménez	[23]
18	Laura Laita	[13] [14] [15] [17] [20] [23]
19	Luis de Ledesma	[1] [2] [3] [5] [8] [9] [11] [12] [13] [14] [15] [17] [21] [22]
20	Luis López-Corral	[20]
21	E. López-Vidriero	[18]
22	E. López-Vidriero Jr.	[18]
23	Victor Maojo	[7] [9] [10] [13] [14] [15] [18]
24	Aurora Pérez	[2] [5]
25	Betty Ramírez	[2]
26	Eugenio Roanes-Lozano	[3] [4] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [24]
27	Eugenio Roanes-Macías	[3] [4] [6] [16] [18] [19] [24]
28	I. Rodríguez-Daza	[15]
29	Juan Rodríguez-Pedrosa	[10]
30	Carlos Rodríguez-Solano	[20]
31	R. Sánchez-Morgado	[17]
32	José M. Santamaría	[23]