Publicaciones en las que colabora con Antonio Hernando Esteban (22)

2020

  1. Diagnosis in tennis serving technique

    Algorithms, Vol. 13, Núm. 5

2016

  1. A natural language for implementing algebraically Expert Systems

    Mathematics and Computers in Simulation, Vol. 129, pp. 31-49

  2. An algebraic approach for detecting nearly dangerous situations in expert systems

    Mathematics and Computers in Simulation, Vol. 129, pp. 81-93

  3. Foreword to the special issue on "nonstandard Applications of Computer Algebra (ACA'2013)"

    Mathematics and Computers in Simulation

2015

  1. An algebraic model for implementing expert systems based on the knowledge of different experts

    Mathematics and Computers in Simulation, Vol. 107, pp. 92-107

2014

  1. A simple GUI for developing applications that use mathematical software systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Foreword to the special issue on "nonstandard applications of computer algebra"

    Mathematics and Computers in Simulation

  3. Revisiting four-valued logics from Maple using the Logics Explorer package

    Mathematics and Computers in Simulation, Vol. 104, pp. 31-42

2013

  1. Algebraic approaches to the development of rule based expert systems

    Expert System Software: Engineering, Advantages and Applications (Nova Science Publishers, Inc.), pp. 157-176

  2. Calculating the exploitation costs of trains in the spanish railways

    Computing in Science and Engineering, Vol. 15, Núm. 3, pp. 89-95

2012

  1. A logic-algebraic approach to decision taking in a railway interlocking system

    Annals of Mathematics and Artificial Intelligence, Vol. 65, Núm. 4, pp. 317-328

  2. Optimal route finding and rolling-stock selection for the Spanish railways

    Computing in Science and Engineering, Vol. 14, Núm. 4, pp. 82-89

2011

  1. A logic approach to decision taking in a railway interlocking system using Maple

    Mathematics and Computers in Simulation

  2. A polynomial model for logics with a prime power number of truth values

    Journal of Automated Reasoning, Vol. 46, Núm. 2, pp. 205-221

2010

  1. An accelerated-time microscopic simulation of a dedicated freight double-track railway line

    Mathematical and Computer Modelling, Vol. 51, Núm. 9-10, pp. 1160-1169

  2. An algebraic method for managing reliability in propositional logics

    Proceedings of 2010 IEEE International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2010