Publications (15) Publications de JOSE ALBERTO MAESTRO PRIETO

2020

  1. Agent organisations: from independent agents to virtual organisations and societies of agents

    ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal, Vol. 9, Núm. 4, pp. 55-70

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

  4. Specification for a versatile data acquisition module for a supervision application

    3rd International workshop on practical applications of agents and multiagent systems: IWPAAMS 2004

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

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