Publikationen in Zusammenarbeit mit Forschern von Universidad de Valladolid (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

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)

  2. A representation of temporal aspects in Knowledge Based Systems modelling: A monitoring example

    Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

  3. An Agent Based System for a Guided Accommodation Facility

    NTIT : New trends on information technology (Departamento de Informática), pp. 124-132

2003

  1. Diagnosis of dynamic systems: A knowledge model that allows tracking the system during the diagnosis process

    Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

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