|
Search the dblp DataBase
Luis M. Laita:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP] RelMiCS, 2001, pp:124-133 [Conf]
- Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori
George Boole, a Forerunner of Symbolic Computation. [Citation Graph (0, 0)][DBLP] AISC, 2000, pp:1-19 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] AISMC, 1994, pp:255-263 [Conf]
- Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo
Inference and Verification in Medical Appropriateness Criteria Using Gröbner Bases. [Citation Graph (0, 0)][DBLP] AISC, 1998, pp:183-194 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] AISC, 2002, pp:38-50 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] AISC, 2004, pp:251-264 [Conf]
- Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem. [Citation Graph (0, 0)][DBLP] AISMC, 1996, pp:71-86 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] CASC, 2005, pp:344-354 [Conf]
- Luis M. Laita, Julia Couto, Luis de Ledesma
A Formal Study of Consistency of KBSs. [Citation Graph (0, 0)][DBLP] EUROVAV, 1991, pp:31-38 [Conf]
- Luis M. Laita, Luis de Ledesma, Aurora Pérez, Betty Ramírez
A Formal Study of Forward Reasoning Consistency on KBSs. [Citation Graph (0, 0)][DBLP] EUROVAV, 1993, pp:209-216 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] EUROVAV, 1999, pp:53-65 [Conf]
- Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
An Application of an AI Methodology to Railway Interlocking Systems Using Computer Algebra. [Citation Graph (0, 0)][DBLP] IEA/AIE (Vol. 2), 1998, pp:687-696 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ISMDA, 2001, pp:146-152 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ISMDA, 2000, pp:212-217 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ISMDA, 2003, pp:118-126 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ISBMDA, 2004, pp:67-78 [Conf]
- Luis de Ledesma, Aurora Pérez, Daniel Borrajo, Luis M. Laita
A Computational Approach to George Boole's Discovery of Mathematical Logic. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1997, v:91, n:2, pp:281-307 [Journal]
- Carlos Rodríguez-Solano, Luis M. Laita, Eugenio Roanes-Lozano, Luis López-Corral, Laura Laita
A computational system for diagnosis of depressive situations. [Citation Graph (0, 0)][DBLP] Expert Syst. Appl., 2006, v:31, n:1, pp:47-55 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Soft Comput., 1999, v:3, n:1, pp:7-19 [Journal]
- Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
An accelerated-time simulation of departing passengers' flow in airport terminals. [Citation Graph (0, 0)][DBLP] Mathematics and Computers in Simulation, 2004, v:67, n:1-2, pp:163-172 [Journal]
An Approach to Representation Changes While Executing Problem Solver Intelligent Systems. [Citation Graph (, )][DBLP]
A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple. [Citation Graph (, )][DBLP]
A Groebner bases-based approach to backward reasoning in rule based expert systems. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.301secs
|