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)

• G. Antoniou, U. Assman, C. Baroglio, S. Decker, N. Henze, P.-L. Patranjan, and R. Tolksdorf, editors. Reasoning Web, Third International Summer School 2007, volume 4636 of Lecture Notes in Computer Science (LNCS). Springer, 2007.

• 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, A. Martelli, V. Patti, and C. Schifanella. Reasoning on choreographies and capability requirements. International Journal of Business Process Integration and Management, IJBPIM, 2(4):247-261, 2007. (PDF)

• M. Baldoni, C. Baroglio, P. Bonatti, L. Giordano, A. Martelli, V. Patti, and C. Schifanella. Negotiation Analysis and Design: Reasoning on Policies for Verifying Properties. Technical Report IST506779/Turin/I2-D10/D/PU/a1, Reasoning on the Web with Rules and Semantics, REWERSE, September 3rd 2006. (PDF)

• M. Baldoni, C. Baroglio, I. Brunkhorst, N. Henze, E. Marengo, and V. Patti. A Personalization Service for Curriculum Planning. In E. Herder and D. Heckmann, editors, Proc. of the 14th Workshop on Adaptivity and User Modeling in Interactive Systems, ABIS 2006, pages 17-20, Hildesheim, Germany, October 2006. (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)

• G. Antoniou, M. Baldoni, C. Baroglio, P.A. Bonatti, C. Duma, N. E. Fuchs, A. Martelli, W. Nejdl, D. Olmedilla, V. Patti, J. Peer, and N. Shahmehri. The REWERSE View on Policies. In L. Kagal, T. Finin, and J. Hendler, editors, Proceedings of the Semantic Web and Policy Workshop, held in conjunction with the 4th International Semantic Web Conference, Galway, Ireland, November 2005. (PDF)

• M. Baldoni, C. Baroglio, S. Carro-Martinez, A. Goy, N. Henze, A. Kulas, D. Magro, M. Montebello, V. Patti, and H. Williams. Thread on testbeds. Technical Report IST506779/Turin/A3-D2/D/PU/a1, Reasoning on the Web with Rules and Semantics, REWERSE, February, 28th 2005. (PDF)

• M. Baldoni, C. Baroglio, I. Gungui, A. Martelli, M. Martelli, V. Mascardi, V. Patti, and C. Schifanella. Reasoning About Agents' Interaction Protocols Inside DCaseLP. In J. Leite, A. Omicini, P. Torroni, and P. Yolum, editors, Post-Proc. of the International Workshop on Declarative Agent Languages and Technologies, DALT'04, number 3476 in LNAI, pages 112-131. Springer, 2005. (PDF)

• M. Baldoni, C. Baroglio, and N. Henze. Personalization for the Semantic Web. In N. Eisinger and J. Maluszynski, editors, Reasoning Web, First International REWERSE Summer School 2005, volume 3564 of LNCS Tutorials, pages 173-212. Springer-Verlag, Malta, July 2005. (PDF)

• S. Abdennadher, J. Alves Alferes, G. Antoniou, U. Assmann, R. Backofen, C. Baroglio, P. A. Bonatti, F. Bry, W. Drabent, N. Eisinger, N. E. Fuchs, T. Geisler, N. Henze, J. Maluszynski, M. Marchiori, A. Martelli, S. Carro Martinez, H. Jurgen Ohlbach, S. Schaffert, M. Schroeder, K. U. Schulz, U. Schwertel, and G. Wagner. Automated reasoning on the web. Communications of Applied Logic, 2004. To appear. (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, R. Del Pero, A. Martelli, A. Messina, G. M. Sacco, P. Bertolotti, and C. Schifanella. A formal framework for handling audiovisual materials. In M. L. Sapino and P. Shenoy, editors, Proc. of the International Workshop on Multimedia Information Systems, MIS'04, pages 130-138, Washington DC, August 2004. Also in CD ACM Digital Library 2005. (PDF)

• M. Baldoni, C. Baroglio, I. Gungui, A. Martelli, M. Martelli, V. Mascardi, V. Patti, and C. Schifanella. Reasoning about agents' interaction protocols inside DCaseLP. In J. Leite, A. Omicini, P. Torroni, and P. Yolum, editors, Pre-Proc. of the International Workshop on Declarative Agent Languages and Technologies, DALT'04, pages 250-265, New York, USA, July 2004. (PDF)

• M. Baldoni, C. Baroglio, N. Henze, V. Patti, C. Staff, and S. T. Wierzchon. Personalization Functionality for the Semantic Web: Identification and Description of Techniques. Technical Report IST506779/Hannover/A3-D1/D/PU/a1, Reasoning on the Web with Rules and Semantics, REWERSE, August 31st, 2004. (PDF)

• M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about interaction protocols for web service composition. In M. Bravetti and G. Zavattaro, editors, Proc. of 1st Int. Workshop on Web Services and Formal Methods, WS-FM 2004, volume 105 of Electronic Notes in Theoretical Computer Science, pages 21-36. Elsevier Science Direct, 2004. (PDF)

• M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about logic-based agent interaction protocols. In G. Rossi and E. Panegai, editors, Proc. of Italian Conference on Computational Logic, CILC'04, pages 250-264, Parma, Italy, June 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, L. Giordano, A. Martelli, and V. Patti. Reasoning about communicating agents in the semantic web. In F. Bry, H. Henze, and J. Maluszynski, editors, Proc. of the 1st International Workshop on Principle and Practice of Semantic Web Reasoning, PPSWR 2003, volume 2901 of LNCS, pages 84-98, Mumbai, India, December 2003. Springer. (PDF)

• M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about Conversation Protocols in a Logic-based Agent Language. In A. Cappelli and F. Turini, editors, AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, volume 2829 of LNAI, pages 300-311. Springer, September 2003. (PDF)

• M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about interaction for personalizing web service fruition. In G. Armano, F. De Paoli, A. Omicini, and E. Vargiu, editors, Proc. of WOA 2003: Dagli oggetti agli agenti, sistemi intelligenti e computazione pervasiva, Villasimius (CA), Italy, September 2003. Pitagora Editrice Bologna. (PDF)

• M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about self and others: communicating agents in a modal action logic. In C. Blundo and C. Laneve, editors, Theoretical Computer Science, 8th Italian Conference, ICTCS'2003, volume 2841 of LNCS, pages 228-241, Bertinoro, Italy, October 2003. Springer. (PDF)

• M. Baldoni, C. Baroglio, and V. Patti. Personalizing web services by reasoning about interaction protocols. In Peter P. Slezak, editor, Proc. of the 4th Joint International Conference on Cognitive Science (ICCS/ASCS-2003), Sydney, Australia, July 2003. (PDF)

• M. Baldoni, C. Baroglio, and V. Patti. Supporting Users in Adaptive Web-based Applications: Techniques from Reasoning about Actions. In F. De Paoli, S. Manzoni, and A. Poggi, editors, Proc. of WOA 2002: Dagli oggetti agli agenti, dall'informazione alla conoscenza, Milan, Italy, November 2002. Pitagora Editrice Bologna. (PDF)

• M. Baldoni, C. Baroglio, A. Chiarotto, and V. Patti. Programming Goal-driven Web Sites using an Agent Logic Language. In I. V. Ramakrishnan, editor, Proc. of the Third International Symposium on Practical Aspects of Declarative Languages, volume 1990 of Lecture Notes in Computer Science, pages 60-75, Las Vegas, Nevada, USA, march 2001. Springer. (PostScript) (PDF)

• M. Baldoni, C. Baroglio, A. Chiarotto, A. Martelli, and V. Patti. Intention-guided Web Sites: A New Perspective on Adaptation. In P. L. Emiliani and C. Stephanidis, editors, Proc. of the 6th ERCIM Workshop, User Interfaces for All, pages 68-82, Florence, Italy, September 2000. (PDF)