Luis M. Laita

40 papers B 2Misc 4Journal 21Unranked 13
YearRankTypeTitle / Venue / Authors
2011 J jnl
A Polynomial Model for Logics with a Prime Power Number of Truth Values.
J. Autom. Reason.
Antonio Hernando, Eugenio Roanes-Lozano, Luis M. Laita
2011 J jnl
A logic approach to decision taking in a railway interlocking system using Maple.
Math. Comput. Simul.
Eugenio Roanes-Lozano, Antonio Hernando, José-Antonio Alonso, Luis M. Laita
2010 J jnl
An algebraic approach to Parkinson disease diagnosis.
Expert Syst. Appl.
Carlos Rodríguez-Solano, Luis M. Laita
2009 J jnl
A Groebner bases-based approach to backward reasoning in rule based expert systems.
Ann. Math. Artif. Intell.
Eugenio Roanes-Lozano, Antonio Hernando, Luis M. Laita, Eugenio Roanes-Macías
2009 J jnl
Evolution of railway network flexibility: The Spanish broad gauge case.
Math. Comput. Simul.
Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías, Michael J. Wester, José Luis Ruiz-Lozano, Carlos Roncero
2009 J jnl
Showing the non-existence of solutions in systems of linear Diophantine equations.
Math. Comput. Simul.
Antonio Hernando, Luis de Ledesma, Luis M. Laita
2008 — conf
A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple.
AISC/MKM/Calculemus
Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
2008 J jnl
A system simulating representation change phenomena while problem solving.
Math. Comput. Simul.
Antonio Hernando, Luis de Ledesma, Luis M. Laita
2008 J jnl
Knowledge representation for diagnosis of care problems through an expert system: Model of the auto-care deficit situations.
Expert Syst. Appl.
M. Lourdes Jiménez, José M. Santamaría, Roberto Barchino, Laura Laita, Luis M. Laita, León A. González, Angel Asenjo
2007 — conf
An Approach to Representation Changes While Executing Problem Solver Intelligent Systems.
IEEE ICCI
Antonio Hernando, Luis de Ledesma, Luis M. Laita
2006 J jnl
A computational system for diagnosis of depressive situations.
Expert Syst. Appl.
Carlos Rodríguez-Solano, Luis M. Laita, Eugenio Roanes-Lozano, Luis López-Corral, Laura Laita
2004 — conf
A Rule-Based Knowledge System for Diagnosis of Mental Retardation.
ISBMDA
R. Sánchez-Morgado, Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, Laura Laita
2004 Misc conf
An Expert System on Detection, Evaluation and Treatment of Hypertension.
AISC
Eugenio Roanes-Lozano, E. López-Vidriero Jr., Luis M. Laita, E. López-Vidriero, Victor Maojo, Eugenio Roanes-Macías
2004 J jnl
An accelerated-time simulation of departing passengers' flow in airport terminals.
Math. Comput. Simul.
Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
2004 J jnl
Some applications of Grobner bases.
Comput. Sci. Eng.
Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita
2004 J jnl
The geometry of algebraic systems and their exact solving using Grobner bases.
Comput. Sci. Eng.
Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita
2003 — conf
An Outline of an Expert System for Diagnosis and Treatment of Bronchogenic Carcinoma.
ISMDA
I. Rodríguez-Daza, Luis M. Laita, Eugenio Roanes-Lozano, A. M. Crespo-Alonso, Victor Maojo, Luis de Ledesma, Laura Laita
2002 Misc conf
A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis.
AISC
Begoña Herrero, Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma, José Crespo, Laura Laita
2002 J jnl
A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking.
Math. Comput. Simul.
Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita
2002 J jnl
A logic and computer algebra-based expert system for diagnosis of anorexia.
Math. Comput. Simul.
Cristina Pérez-Carretero, Luis M. Laita, Eugenio Roanes-Lozano, Luis Lázaro, Jesús González-Cajal, Laura Laita
2001 — conf
A Computer Algebra Approach to Relational Systems Using Gröbner Bases.
RelMiCS
Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, Tomasa Calvo, León González-Sotos
2001 B conf
A Method of Logic Deduction and Verification in KBS Using Positive Integers.
CASC
Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita
2001 — conf
A Methodology for Constructing Expert Systems for Medical Diagnosis.
ISMDA
Luis M. Laita, G. González-Páez, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma, Laura Laita
2000 — conf
A New Computerized Method to Verify and Disseminate Medical Appropriateness Criteria.
ISMDA
Victor Maojo, Luis M. Laita, Eugenio Roanes-Lozano, José Crespo, Juan Rodríguez-Pedrosa
2000 Misc conf
George Boole, a Forerunner of Symbolic Computation.
AISC
Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori
2000 J jnl
Validation and verification of knowledge-based systems: report on EUROVAV99.
Knowl. Eng. Rev.
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
1999 J jnl
A computer algebra approach to verification and deduction in many-valued knowledge systems.
Soft Comput.
Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, José-Antonio Alonso
1999 — conf
Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria.
EUROVAV
Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma
1999 B conf
Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems.
CASC
Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Luis M. Laita
1998 — conf
An Application of an AI Methodology to Railway Interlocking Systems Using Computer Algebra.
IEA/AIE (Vol. 2)
Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
1998 Misc conf
Inference and Verification in Medical Appropriateness Criteria Using Gröbner Bases.
AISC
Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo
1997 J jnl
A Computational Approach to George Boole's Discovery of Mathematical Logic.
Artif. Intell.
Luis de Ledesma, Aurora Pérez, Daniel Borrajo, Luis M. Laita
1996 — conf
An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem.
AISMC
Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
1994 J jnl
A formal model for knowledge-based systems verification.
Int. J. Intell. Syst.
Luis M. Laita, Julia Couto, Luis de Ledesma, Alejandro Fernández-Margarit
1994 — conf
An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus.
AISMC
Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Eugenio Roanes-Macías
1993 — conf
A Formal Study of Forward Reasoning Consistency on KBSs.
EUROVAV
Luis M. Laita, Luis de Ledesma, Aurora Pérez, Betty Ramírez
1991 — conf
A Formal Study of Consistency of KBSs.
EUROVAV
Luis M. Laita, Julia Couto, Luis de Ledesma
1987 J jnl
Abraham Robinson's Meta-Algebra Revisited.
Math. Log. Q.
Alejandro Margarit, Luis M. Laita
1987 J jnl
N-Categories in Logic.
Math. Log. Q.
Agustin Riscos, Luis M. Laita
1976 J jnl
A study of algebraic logic from the point of view of category theory.
Notre Dame J. Formal Log.
Luis M. Laita