INGENIERIA INFORMATICA
Departamento
Aránzazu
Simón Hurtado
Publications dans lesquelles il/elle collabore avec Aránzazu Simón Hurtado (12)
2018
-
The pedagogical model of SIAL: An adaptive and open-ended intelligent tutoring system for first order logic
Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE
2015
-
Adding a graphical output to a theorem prover: Results of a comparison of the acceptance from a teaching point of view
Computer Applications in Engineering Education, Vol. 23, Núm. 6, pp. 837-845
-
Learner-adaptive pedagogical model in SIAL, an open-ended intelligent tutoring system for first order logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013
-
A MAS for teaching computational logic
Advances in Intelligent Systems and Computing, Vol. 217, pp. 209-217
-
SLI: A tool for easing the understanding of automated proof construction
ACM Inroads, Vol. 4, Núm. 2, pp. 53-56
2007
-
Focusing fault localization in model-based diagnosis with case-based reasoning
2007 European Control Conference, ECC 2007
2006
-
A case-based reasoning system for fault classification in dynamic systems
Fifth International Workshop on Practical Applications of Agents and Multiagent Systems (IWPAAMS'06): October 19-20, 2006, E. U. Informática - Segovia (Spain), U. of Valladolid : proceedings
-
Early fault classification in dynamic systems using case-based reasoning
Current Topics in Artificial Intelligence: 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005
2005
-
Un sistema de razonamiento basado en casos para la clasificación de fallos en sistemas dinámicos
Actas del III Taller Nacional de Minería de Datos y Aprendizaje (Thomson-Paraninfo), pp. 203-211
2004
-
A proposal of diagnosis for an ITS for computational logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2000
-
Student modelling and interface design in SIAL
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 1839, pp. 659
1998
-
Desarrollo de aplicaciones software que faciliten la asimilación de los contenidos teóricos de las asignaturas
VI Congreso universitario de innovación educativa en las enseñanzas técnicas: comunicaciones y ponencias. Las Palmas de Gran Canaria. 9, 10 y 11 de septiembre de 1998