Publications

• C. Abela, M. Baldoni, C. Baroglio, N. Henze, I. Brunkhorst, D. Krause, E. Marengo, and V. Patti. Testbeds: overview and state. Technical Report IST506779/Turin/A3-D10/D/PU/a1, Reasoning on the Web with Rules and Semantics, REWERSE, February 28th 2007. (PDF)

• M. Baldoni and E. Marengo. Curriculum Model Checking: Declarative Representation and Verification of Properties. In E. Duval, R. Klamma, and M. Wolpers, editors, Proc. of EC-TEL 2007 - Second European Conference on Technology Enhanced Learning, volume 4753 of LNCS, pages 432-437. Springer, 2007. (PDF)

• M. Baldoni, C. Baroglio, G. Berio, and E. Marengo. Declarative representation of curricula models: an LTL- and UML-based approach. In M. Baldoni, A. Boccalatte, F. De Paoli, M. Martelli, and V. Mascardi, editors, Proc. of WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni tecnologiche degli agenti software, pages 34-41, Genova, Italy, September 2007. Seneca Edizioni. (PDF)

• M. Baldoni, C. Baroglio, I. Brunkhorst, E. Marengo, and V. Patti. A Personalization Web Service for Curricula Planning and Validation. In W. May and M. Kifer, editors, Poster Presentation at the 4th European Semantic Web Conference, ESWC 2007, 2007. (PDF)

• M. Baldoni, C. Baroglio, I. Brunkhorst, E. Marengo, and V. Patti. Reasoning-based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture. In E. Duval, R. Klamma, and M. Wolpers, editors, Proc. of EC-TEL 2007 - Second European Conference on Technology Enhanced Learning, number 4753 in LNCS, pages 426-431. Springer, 2007. (PDF)

• M. Baldoni, C. Baroglio, I. Brunkhorst, E. Marengo, and V. Patti. A Service-Oriented Approach for Curriculum Planning and Validation. In Proceedings of the Multi-Agent Logics, Languages, and Organisations, Federated Workshops, MALLOW'007, Agent, Web Services and Ontologies, Integrated Methodologies, MALLOW-AWESOME'007, pages 108-123, Durham, GB, September 2007. (PDF)

• M. Baldoni, C. Baroglio, and E. Marengo. Curricula Modeling and Checking. In R. Basili and M. T. Pazienza, editors, Proc. of AI*IA 2007: Advances in Artificial Intelligence, 10th Congress of the Italian Association for Artificial Intelligence, volume 4733 of LNAI, pages 471-482, Rome, Italy, September 2007. Springer. (PDF)

• G. Antoniou, M. Baldoni, C. Baroglio, R. Baumgartner, F. Bry, N. Henze, W. May, V. Patti, and S. T. Wierzchon. Personalization for the Semantic Web II. Technical Report IST506779/Hannover/A3-D4/D/PU/b1, Reasoning on the Web with Rules and Semantics, REWERSE, August 31st 2005. (PDF)

• M. Baldoni, C. Baroglio, S. De Marchis, B. Demo, A. Martelli, I. Perroteau, and L. Roversi. Esperienze di E-learning all'interno della Facoltà di Scienze Matematiche, Fisiche e Naturali dell'Università di Torino. In B. Boniolo, S. Margarita, and C. Spadaro, editors, Atti del Convegno E-learning e Università: iniziative ed esperienze in Italia ed Europa, Torino, Italy, September 2005. (PDF)

• M. Baldoni, C. Baroglio, and B. Demo. Esperienze di E-learning del Corso di Studi in Informatica dell'Università di Torino: comunità di corsi in ambiente universitario. In P. Frignani, L. Galliani, M. Giacomantonio, and G. Poletti, editors, Proc. of the 11th Expo e-learning 2005, E-learning: protagonista dello sviluppo della società delle conoscenza, Ferrara, Italy, October 2005. (PDF)

• M. Baldoni, C. Baroglio, C. Grandi, and L. Roversi. Live! I-Learn @ Home. In M. Scotto and G. Succi, editors, Proc. of 1st International Conference on Open Source Systems, OSS 2005, pages 294-295, Genova, July 2005. Agenzia Doppiavu. (PDF)

• G. Antoniou, M. Baldoni, C. Baroglio, R. Baungartner, F. Bry, T. Eiter, N. Henze, M. Herzog, W. May, V. Patti, S. Schaffert, R. Schidlauer, and H. Tompits. Reasoning Methods for Personalization on the Semantic Web. Annals of Mathematics, Computing & Teleinformatics (AMCT), 2(1):1-24, 2004. (PDF)

• M. Baldoni, C. Baroglio, and V. Patti. Web-based adaptive tutoring: an approach based on logic agents and reasoning about actions. Artificial Intelligence Review, 22(1):3-39, 2004. (PDF)

• M. Baldoni, C. Baroglio, V. Patti, and L. Torasso. Reasoning about learning object metadata for adapting SCORM courseware. In L. Aroyo and C. Tasso, editors, AH 2004: Workshop Proceedings, Part I, International Workshop on Engineering the Adaptive Web, EAW'04: Methods and Technologies for personalization and Adaptation in the Semantic Web, pages 4-13, Eindhoven, The Netherlands, August 2004. Technische Universiteit Eindhoven. (PDF)

• M. Baldoni, C. Baroglio, B. Demo, V. Patti, and L. Torasso. E-learning by doing, an approach based on techniques for reasoning about actions. In G. Adorni, L. Sarti, and G. Vercelli, editors, Proc. of 2nd Workshop on Artificial Intelligence & E-Learning, pages 16-24, Pisa, Italy, September 2003. (PDF)

• M. Baldoni, C. Baroglio, and V. Patti. Applying logic inference techniques for gaining flexibility and adaptivity in tutoring systems. In C. Stephanidis, editor, Proceedings of the 10th International Conference on Human-Computer Interaction (HCII 2003), Symposium on Human Interfaces 2003, 5th Intrnational Conference on engineering Psychology and Cognitive Ergonomics, 2th International Conference in Human-Computer Interaction, volume 4, pages 517-521, Crete, Greece, June 2003. Lawrence Erlbaum Associates, Inc. (PDF)

• M. Baldoni, C. Baroglio, N. Henze, and V. Patti. Setting up a framework for comparing adaptive educational hypermedia: First steps and application on curriculum sequencing. In N. Henze, editor, Proc. of ABIS-Workshop 2002: Personalization for the mobile World, Workshop on Adaptivity and User Modeling in Interative Software Systems, pages 43-50, Hannover, Germany, October 2002. (PostScript) (PDF)

• M. Baldoni, C. Baroglio, V. Patti, and L. Torasso. Using a rational agent in an adaptive web-based tutoring system. In P. Brusilovsky, N. Henze, and E. Millán, editors, Proc. of Workshop on Adaptive System for Web-based Education, 2nd Int. Conf. on Adaptve Hypermedia and Adaptive Web Based Systems, pages 43-55, Málaga, Spain, May 2002. Universidad de Málaga. (PDF)