José A. Maestro

According to our database1, José A. Maestro authored at least 13 papers between 2000 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Semi-supervised diagnosis of wind-turbine gearbox misalignment and imbalance faults.
Appl. Intell., March, 2024

2020
Comparison of Efficient Planning and Optimization Methods of Last Mile Delivery Resources.
Proceedings of the Broadband Communications, Networks, and Systems, 2020

2018
The pedagogical model of SIAL: an adaptive and open-ended intelligent tutoring system for first order logic.
Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, 2018

2015
Adding a graphical output to a theorem prover: Results of a comparison of the acceptance from a teaching point of view.
Comput. Appl. Eng. Educ., 2015

Learner-Adaptive Pedagogical Model in SIAL, an Open-Ended Intelligent Tutoring System for First Order Logic.
Proceedings of the Artificial Intelligence in Education - 17th International Conference, 2015

2013
SLI: a tool for easing the understanding of automated proof construction.
Inroads, 2013

A MAS for Teaching Computational Logic.
Proceedings of the Distributed Computing and Artificial Intelligence, 2013

2005
Support vector machines of interval-based features for time series classification.
Knowl. Based Syst., 2005

2004
A Representation of Temporal Aspects in Knowledge Based Systems Modelling: A Monitoring Example.
Proceedings of the Innovations in Applied Artificial Intelligence, 2004

2003
Diagnosis of Dynamic Systems: A Knowledge Model That Allows Tracking the System during the Diagnosis Process.
Proceedings of the Developments in Applied Artificial Intelligence, 2003

A Proposal of Diagnosis for an ITS for Computational Logic.
Proceedings of the Current Topics in Artificial Intelligence, 2003

2002
Diagnosis de Sistemas Dinámicos: Un Modelo de Conocimiento que Permite Integrar la Evolución del Sistema en el Proceso de Diagnosis.
Computación y Sistemas, 2002

2000
Student Modelling and Interface Design in SIAL.
Proceedings of the Intelligent Tutoring Systems, 5th International Conference, 2000


  Loading...