| 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 | 2015-10-14 | Paper |
| A logic and computer algebra approach to a decision-making problem in medicine | 2014-01-15 | 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 |
| What machines can and cannot do | 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 |
| 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 | 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/Q3475237 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3199403 | 1989-01-01 | Paper |
| N‐Categories in Logic | 1987-01-01 | Paper |
| Abraham Robinson's Meta-Algebra Revisited | 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 |
