Publicaciones en las que colabora con Aránzazu Simón Hurtado (11)

2018

  1. 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

  1. 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

  2. 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

  1. A MAS for teaching computational logic

    Advances in Intelligent Systems and Computing, Vol. 217, pp. 209-217

  2. SLI: A tool for easing the understanding of automated proof construction

    ACM Inroads, Vol. 4, Núm. 2, pp. 53-56

2006

  1. 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

  1. 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

  1. 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

  1. 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

  1. 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