Luis M. Laita

Available identifiers

zbMath Open laita.luis-mMaRDI QIDQ417949

List of research outcomes

Publication	Date of Publication	Type
A Symbolic-Numeric Approach to MPL Continuous Logic and to Rule Based Expert Systems whose Underlying Logic is MPL	2015-10-14	Paper
A Gröbner bases-based rule based expert system for fibromyalgia diagnosis	2013-01-30	Paper
The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics	2012-12-05	Paper
A logic approach to decision taking in a railway interlocking system using Maple	2012-05-14	Paper
A polynomial model for logics with a prime power number of truth values	2011-04-05	Paper
An algebraic approach to rule based expert systems	2010-07-09	Paper
A Groebner bases-based approach to backward reasoning in rule based expert systems	2010-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q3406481	2010-02-17	Paper
Showing the non-existence of solutions in systems of linear Diophantine equations	2009-08-07	Paper
Evolution of railway network flexibility: The Spanish broad gauge case	2009-06-18	Paper
A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple	2009-01-27	Paper
https://portal.mardi4nfdi.de/entity/Q3512411	2008-07-11	Paper
A system simulating representation change phenomena while problem solving	2008-06-18	Paper
Artificial Intelligence and Symbolic Computation	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q3021919	2005-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q3156426	2005-01-07	Paper
An accelerated-time simulation of departing passengers' flow in airport terminals	2004-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4808704	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4471935	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4446490	2004-02-02	Paper
A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra	2003-08-21	Paper
An applicable topology-independent model for railway interlocking systems	2003-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4415076	2003-07-28	Paper
An expert system for managing medical appropriateness criteria based on computer algebra techniques	2002-08-18	Paper
A logic and computer algebra-based expert system for diagnosis of anorexia	2002-05-21	Paper
A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking	2002-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q2760230	2002-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q2715635	2001-05-21	Paper
A computational approach to George Boole's discovery of mathematical logic	1998-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q4371985	1998-01-21	Paper
A formal model for verification of dynamic consistency of KBSs	1995-06-30	Paper
MIDEALS AND NONMONOTONIC LOGIC	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3199403	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3475237	1989-01-01	Paper
Abraham Robinson's Meta-Algebra Revisited	1987-01-01	Paper
N‐Categories in Logic	1987-01-01	Paper
N‐Categories in Logic	1987-01-01	Paper
Boolean algebra and its extra-logical sources: the testimony of mary everest boole	1980-01-01	Paper
Influences on Boole's logic: The controversy between William Hamilton and Augustus De Morgan	1979-01-01	Paper
The influence of Boole's search for a universal method in analysis on the creation of his logic	1977-01-01	Paper
Study of algebraic logic from the standpoint of category theory	1976-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Luis M. Laita