A study of algebraic logic from the point of view of category theory. - Luis M. Laita (Notre Dame J. Formal Log., 1976)

Abraham Robinson's Meta-Algebra Revisited. - Alejandro Margarit; Luis M. Laita (Math. Log. Q., 1987)

N-Categories in Logic. - Agustin Riscos; Luis M. Laita (Math. Log. Q., 1987)

A Formal Study of Consistency of KBSs. - Luis M. Laita; Julia Couto 001; Luis de Ledesma (EUROVAV, 1991)

A Formal Study of Forward Reasoning Consistency on KBSs. - Luis M. Laita; Luis de Ledesma; Aurora Pérez; Betty Ramírez (EUROVAV, 1993)

An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus. - Luis M. Laita; Luis de Ledesma; Eugenio Roanes-Lozano; Eugenio Roanes-Macías (AISMC, 1994)

A formal model for knowledge-based systems verification. - Luis M. Laita; Julia Couto 001; Luis de Ledesma; Alejandro Fernández-Margarit (Int. J. Intell. Syst., 1994)

An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem. - Eugenio Roanes-Lozano; Luis M. Laita; Eugenio Roanes-Macías (AISMC, 1996)

A Computational Approach to George Boole's Discovery of Mathematical Logic. - Luis de Ledesma; Aurora Pérez; Daniel Borrajo; Luis M. Laita (Artif. Intell., 1997)

Inference and Verification in Medical Appropriateness Criteria Using Gröbner Bases. - Luis M. Laita; Eugenio Roanes-Lozano; Victor Maojo (AISC, 1998)

An Application of an AI Methodology to Railway Interlocking Systems Using Computer Algebra. - Eugenio Roanes-Lozano; Luis M. Laita; Eugenio Roanes-Macías (IEA/AIE (Vol. 2), 1998)

Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems. - Eugenio Roanes-Lozano; Eugenio Roanes-Macías; Luis M. Laita (CASC, 1999)

Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria. - Luis M. Laita; Eugenio Roanes-Lozano; Victor Maojo; Luis de Ledesma (EUROVAV, 1999)

A computer algebra approach to verification and deduction in many-valued knowledge systems. - Luis M. Laita; Eugenio Roanes-Lozano; Luis de Ledesma; José-Antonio Alonso (Soft Comput., 1999)

George Boole, a Forerunner of Symbolic Computation. - Luis M. Laita; Luis de Ledesma; Eugenio Roanes-Lozano; Alberto Brunori (AISC, 2000)

A New Computerized Method to Verify and Disseminate Medical Appropriateness Criteria. - Victor Maojo; Luis M. Laita; Eugenio Roanes-Lozano; José Crespo; Juan Rodríguez-Pedrosa (ISMDA, 2000)

Validation and verification of knowledge-based systems: report on EUROVAV99. - 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; et al. (Knowl. Eng. Rev., 2000)

A Computer Algebra Approach to Relational Systems Using Gröbner Bases. - Luis M. Laita; Eugenio Roanes-Lozano; Luis de Ledesma; Tomasa Calvo; León González-Sotos (RelMiCS, 2001)

A Method of Logic Deduction and Verification in KBS Using Positive Integers. - Eugenio Roanes-Lozano; Eugenio Roanes-Macías; Luis M. Laita (CASC, 2001)

A Methodology for Constructing Expert Systems for Medical Diagnosis. - Luis M. Laita; G. González-Páez; Eugenio Roanes-Lozano; Victor Maojo; Luis de Ledesma; Laura Laita (ISMDA, 2001)

A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis. - Begoña Herrero; Luis M. Laita; Eugenio Roanes-Lozano; Victor Maojo; Luis de Ledesma; José Crespo; Laura Laita (AISC, 2002)

A logic and computer algebra-based expert system for diagnosis of anorexia. - Cristina Pérez-Carretero; Luis M. Laita; Eugenio Roanes-Lozano; Luis Lázaro; Jesús González-Cajal; Laura Laita (Math. Comput. Simul., 2002)

A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking. - Eugenio Roanes-Lozano; Eugenio Roanes-Macías; Luis M. Laita (Math. Comput. Simul., 2002)

An Outline of an Expert System for Diagnosis and Treatment of Bronchogenic Carcinoma. - I. Rodríguez-Daza; Luis M. Laita; Eugenio Roanes-Lozano; A. M. Crespo-Alonso; Victor Maojo; Luis de Ledesma; Laura Laita (ISMDA, 2003)

An Expert System on Detection, Evaluation and Treatment of Hypertension. - Eugenio Roanes-Lozano; E. López-Vidriero Jr.; Luis M. Laita; E. López-Vidriero; Victor Maojo; Eugenio Roanes-Macías (AISC, 2004)

A Rule-Based Knowledge System for Diagnosis of Mental Retardation. - R. Sánchez-Morgado; Luis M. Laita; Eugenio Roanes-Lozano; Luis de Ledesma; Laura Laita (ISBMDA, 2004)

The geometry of algebraic systems and their exact solving using Grobner bases. - Eugenio Roanes-Lozano; Eugenio Roanes-Macías; Luis M. Laita (Comput. Sci. Eng., 2004)

Some applications of Grobner bases. - Eugenio Roanes-Lozano; Eugenio Roanes-Macías; Luis M. Laita (Comput. Sci. Eng., 2004)

An accelerated-time simulation of departing passengers' flow in airport terminals. - Eugenio Roanes-Lozano; Luis M. Laita; Eugenio Roanes-Macías (Math. Comput. Simul., 2004)

Meta-Petro: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies. - Eugenio Roanes-Lozano; R. García; Eugenio Roanes-Macías; Alfredo Aparicio Yagüe; Luis M. Laita (CASC, 2005)

A computational system for diagnosis of depressive situations. - Carlos Rodríguez-Solano; Luis M. Laita; Eugenio Roanes-Lozano; Luis López-Corral; Laura Laita (Expert Syst. Appl., 2006)

An Approach to Representation Changes While Executing Problem Solver Intelligent Systems. - Antonio Hernando; Luis de Ledesma; Luis M. Laita (IEEE ICCI, 2007)

A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple. - Eugenio Roanes-Lozano; Luis M. Laita; Eugenio Roanes-Macías (AISC/MKM/Calculemus, 2008)

Knowledge representation for diagnosis of care problems through an expert system: Model of the auto-care deficit situations. - M. Lourdes Jiménez; José M. Santamaría; Roberto Barchino; Laura Laita; Luis M. Laita; León A. González; Angel Asenjo (Expert Syst. Appl., 2008)

A system simulating representation change phenomena while problem solving. - Antonio Hernando; Luis de Ledesma; Luis M. Laita (Math. Comput. Simul., 2008)

A Groebner bases-based approach to backward reasoning in rule based expert systems. - Eugenio Roanes-Lozano; Antonio Hernando; Luis M. Laita; Eugenio Roanes-Macías (Ann. Math. Artif. Intell., 2009)

Showing the non-existence of solutions in systems of linear Diophantine equations. - Antonio Hernando; Luis de Ledesma; Luis M. Laita (Math. Comput. Simul., 2009)

Evolution of railway network flexibility: The Spanish broad gauge case. - Eugenio Roanes-Lozano; Luis M. Laita; Eugenio Roanes-Macías; Michael J. Wester; José Luis Ruiz-Lozano; Carlos Roncero (Math. Comput. Simul., 2009)

An algebraic approach to Parkinson disease diagnosis. - Carlos Rodríguez-Solano; Luis M. Laita (Expert Syst. Appl., 2010)

A Polynomial Model for Logics with a Prime Power Number of Truth Values. - Antonio Hernando; Eugenio Roanes-Lozano; Luis M. Laita (J. Autom. Reason., 2011)

A logic approach to decision taking in a railway interlocking system using Maple. - Eugenio Roanes-Lozano; Antonio Hernando; José-Antonio Alonso; Luis M. Laita (Math. Comput. Simul., 2011)