| Publication | Date of Publication | Type |
|---|
A library in CoCoA for implementing railway interlocking systems
Journal of Computational and Applied Mathematics | 2025-04-25 | Paper |
An algebraic model for implementing expert systems based on the knowledge of different experts
Mathematics and Computers in Simulation | 2021-02-19 | Paper |
Foreword to the special issue on ``Nonstandard applications of computer algebra (ACA'2013)''
Mathematics and Computers in Simulation | 2021-02-19 | Paper |
A natural language for implementing algebraically expert systems
Mathematics and Computers in Simulation | 2021-02-19 | Paper |
An algebraic approach for detecting nearly dangerous situations in expert systems
Mathematics and Computers in Simulation | 2021-02-19 | Paper |
Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package
Mathematics and Computers in Simulation | 2021-02-18 | Paper |
A recommender system for train routing: when concatenating two minimum length paths is not the minimum length path
Applied Mathematics and Computation | 2019-06-21 | Paper |
Scale-invariance underlying the logistic equation and its social applications
Physics Letters. A | 2014-11-11 | Paper |
Scale-invariance underlying the logistic equation and its social applications
Physics Letters. A | 2014-11-11 | Paper |
An approach from answer set programming to decision making in a railway interlocking system
Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM | 2014-09-09 | 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 |
A logic-algebraic approach to decision taking in a railway interlocking system
Annals of Mathematics and Artificial Intelligence | 2012-12-12 | Paper |
New methods for proving the impossibility to solve problems through reduction of problem spaces
Annals of Mathematics and Artificial Intelligence | 2012-12-07 | Paper |
On the existence of solutions in systems of linear Diophantine equations
Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM | 2012-12-05 | 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 new algebraic model for implementing expert systems represented under the `concept-attribute-value' paradigm
Mathematics and Computers in Simulation | 2012-05-14 | Paper |
Zipf's law from a Fisher variational-principle
Physics Letters. A | 2012-04-02 | 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 |
Showing the non-existence of solutions in systems of linear Diophantine equations
Mathematics and Computers in Simulation | 2009-08-07 | Paper |
A technique for dynamically measuring and modifying relevance while problem solving
RACSAM - Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas | 2009-08-03 | Paper |
A system simulating representation change phenomena while problem solving
Mathematics and Computers in Simulation | 2008-06-18 | Paper |
