Luis M. Laita

Publication Activity (10 Years)

Years Active: 1976-2011
Publications (10 Years): 0

Publications

Eugenio Roanes-Lozano, Antonio Hernando, José-Antonio Alonso, Luis M. Laita
A logic approach to decision taking in a railway interlocking system using Maple. Math. Comput. Simul. 82 (1) (2011)
Antonio Hernando, Eugenio Roanes-Lozano, Luis M. Laita
A Polynomial Model for Logics with a Prime Power Number of Truth Values. J. Autom. Reason. 46 (2) (2011)
Carlos Rodríguez-Solano, Luis M. Laita
An algebraic approach to Parkinson disease diagnosis. Expert Syst. Appl. 37 (12) (2010)
Eugenio Roanes-Lozano, Antonio Hernando, Luis M. Laita, Eugenio Roanes-Macías
A Groebner bases-based approach to backward reasoning in rule based expert systems. Ann. Math. Artif. Intell. 56 (3-4) (2009)
Antonio Hernando, Luis de Ledesma, Luis M. Laita
Showing the non-existence of solutions in systems of linear Diophantine equations. Math. Comput. Simul. 79 (11) (2009)
Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías, Michael J. Wester, José Luis Ruiz-Lozano, Carlos Roncero
Evolution of railway network flexibility: The Spanish broad gauge case. Math. Comput. Simul. 79 (8) (2009)
Antonio Hernando, Luis de Ledesma, Luis M. Laita
A system simulating representation change phenomena while problem solving. Math. Comput. Simul. 78 (1) (2008)
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) (2008)
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)
Antonio Hernando, Luis de Ledesma, Luis M. Laita
An Approach to Representation Changes While Executing Problem Solver Intelligent Systems. IEEE ICCI (2007)
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) (2006)
Eugenio Roanes-Lozano, R. García, Eugenio Roanes-Macías, Alfredo Aparicio Yagüe, Luis M. Laita
: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies. CASC (2005)
Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita
Some applications of Grobner bases. Comput. Sci. Eng. 6 (3) (2004)
Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
An accelerated-time simulation of departing passengers' flow in airport terminals. Math. Comput. Simul. 67 (1-2) (2004)
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)
Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita
The geometry of algebraic systems and their exact solving using Grobner bases. Comput. Sci. Eng. 6 (2) (2004)
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)
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)
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)
Cristina Pérez-Carretero, Luis M. Laita, Eugenio Roanes-Lozano, Luis Lázaro, Jesús González-Cajal, Laura Laita
A logic and computer algebra-based expert system for diagnosis of anorexia. Math. Comput. Simul. 58 (3) (2002)
Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita
A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking. Math. Comput. Simul. 58 (3) (2002)
Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita
A Method of Logic Deduction and Verification in KBS Using Positive Integers. CASC (2001)
Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, Tomasa Calvo, León González-Sotos
A Computer Algebra Approach to Relational Systems Using Gröbner Bases. RelMiCS (2001)
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)
Frans Coenen, Trevor J. M. Bench-Capon, Robin Boswell, Juliette Dibie-Barthélemy, Barry Eaglestone, Rik Gerrits, Éric Grégoire, Antoni Ligeza, Luis M. Laita, Mieczyslaw L. Owoc, Florence Sellini, Silvie Spreeuwenberg, Jan Vanthienen, Anca I. Vermesan, Nirmalie Wiratunga
Validation and verification of knowledge-based systems: report on EUROVAV99. Knowl. Eng. Rev. 15 (2) (2000)
Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori
George Boole, a Forerunner of Symbolic Computation. AISC (2000)
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)
Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, José-Antonio Alonso
A computer algebra approach to verification and deduction in many-valued knowledge systems. Soft Comput. 3 (1) (1999)
Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita
Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems. CASC (1999)
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)
Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo
Inference and Verification in Medical Appropriateness Criteria Using Gröbner Bases. AISC (1998)
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)
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) (1997)
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)
Luis M. Laita, Julia Couto, Luis de Ledesma, Alejandro Fernández-Margarit
A formal model for knowledge-based systems verification. Int. J. Intell. Syst. 9 (9) (1994)
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)
Luis M. Laita, Luis de Ledesma, Aurora Pérez, Betty Ramírez
A Formal Study of Forward Reasoning Consistency on KBSs. EUROVAV (1993)
Luis M. Laita, Julia Couto, Luis de Ledesma
A Formal Study of Consistency of KBSs. EUROVAV (1991)
Agustin Riscos, Luis M. Laita
N-Categories in Logic. Math. Log. Q. 33 (6) (1987)
Alejandro Margarit, Luis M. Laita
Abraham Robinson's Meta-Algebra Revisited. Math. Log. Q. 33 (6) (1987)
Luis M. Laita
A study of algebraic logic from the point of view of category theory. Notre Dame J. Formal Log. 17 (1) (1976)