| Publication | Date of Publication | Type |
|---|
| An inference engine for propositional two-valued logic based on the radical membership problem | 2024-06-21 | Paper |
A symbolic-numeric approach to MPL continuous logic and to rule based expert systems whose underlying logic is MPL
The Open Applied Mathematics Journal | 2015-10-14 | Paper |
A logic and computer algebra approach to a decision-making problem in medicine
Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales (España) | 2014-01-15 | Paper |
A Gröbner bases-based rule based expert system for fibromyalgia diagnosis
Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM | 2013-01-30 | Paper |
The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics
Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM | 2012-12-05 | Paper |
A logic approach to decision taking in a railway interlocking system using Maple
Mathematics and Computers in Simulation | 2012-05-14 | Paper |
A polynomial model for logics with a prime power number of truth values
Journal of Automated Reasoning | 2011-04-05 | Paper |
An algebraic approach to rule based expert systems
Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM | 2010-07-09 | Paper |
A Groebner bases-based approach to backward reasoning in rule based expert systems
Annals of Mathematics and Artificial Intelligence | 2010-03-19 | Paper |
| scientific article; zbMATH DE number 5672698 (Why is no real title available?) | 2010-02-17 | Paper |
Showing the non-existence of solutions in systems of linear Diophantine equations
Mathematics and Computers in Simulation | 2009-08-07 | Paper |
Evolution of railway network flexibility: The Spanish broad gauge case
Mathematics and Computers in Simulation | 2009-06-18 | Paper |
A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple
Lecture Notes in Computer Science | 2009-01-27 | Paper |
| What machines can and cannot do | 2008-07-11 | Paper |
A system simulating representation change phenomena while problem solving
Mathematics and Computers in Simulation | 2008-06-18 | Paper |
Artificial Intelligence and Symbolic Computation
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 2177635 (Why is no real title available?) | 2005-06-21 | Paper |
| scientific article; zbMATH DE number 2125601 (Why is no real title available?) | 2005-01-07 | Paper |
An accelerated-time simulation of departing passengers' flow in airport terminals
Mathematics and Computers in Simulation | 2004-11-22 | Paper |
| scientific article; zbMATH DE number 2090036 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2079829 (Why is no real title available?) | 2004-07-30 | Paper |
| scientific article; zbMATH DE number 2036517 (Why is no real title available?) | 2004-02-02 | Paper |
A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
Mathematics and Computers in Simulation | 2003-08-21 | Paper |
An applicable topology-independent model for railway interlocking systems
Mathematics and Computers in Simulation | 2003-08-21 | Paper |
| scientific article; zbMATH DE number 1953891 (Why is no real title available?) | 2003-07-28 | Paper |
An expert system for managing medical appropriateness criteria based on computer algebra techniques
Computers & Mathematics with Applications | 2002-08-18 | Paper |
A logic and computer algebra-based expert system for diagnosis of anorexia
Mathematics and Computers in Simulation | 2002-05-21 | Paper |
A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking
Mathematics and Computers in Simulation | 2002-05-21 | Paper |
| scientific article; zbMATH DE number 1684386 (Why is no real title available?) | 2002-03-21 | Paper |
| The influence of Boole's search for a universal method in analysis on the creation of his logic | 2001-05-21 | Paper |
A computational approach to George Boole's discovery of mathematical logic
Artificial Intelligence | 1998-07-23 | Paper |
| scientific article; zbMATH DE number 1106654 (Why is no real title available?) | 1998-01-21 | Paper |
A formal model for verification of dynamic consistency of KBSs
Computers & Mathematics with Applications | 1995-06-30 | Paper |
<i>M</i>IDEALS AND NONMONOTONIC LOGIC
Cybernetics and Systems | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4143934 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4174905 (Why is no real title available?) | 1989-01-01 | Paper |
N‐Categories in Logic
Mathematical Logic Quarterly | 1987-01-01 | Paper |
Abraham Robinson's Meta-Algebra Revisited
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1987-01-01 | Paper |
N‐Categories in Logic
Mathematical Logic Quarterly | 1987-01-01 | Paper |
Boolean algebra and its extra-logical sources: the testimony of mary everest boole
History and Philosophy of Logic | 1980-01-01 | Paper |
Influences on Boole's logic: The controversy between William Hamilton and Augustus De Morgan
Annals of Science | 1979-01-01 | Paper |
The influence of Boole's search for a universal method in analysis on the creation of his logic
Annals of Science | 1977-01-01 | Paper |
Study of algebraic logic from the standpoint of category theory
Notre Dame Journal of Formal Logic | 1976-01-01 | Paper |
