DIPARTIMENTO   DI   INFORMATICA
Università di Torino
THE GROUP'S LOGO

Baldoni's publications

The documents distributed by this server have been provided by thecontributing authors as a means to ensure timely dissemination ofscholarly and technical work on a noncommercial basis.Copyright and all rights therein are maintained by the authors orby other copyright holders, notwithstanding that they haveoffered their works here electronically.It is understood that all persons copying this informationwill adhere to the terms and constraints invoked by each author'scopyright.These works may not be reposted without the explicit permission of thecopyright holder.
[Books, Proceedings, and PhD Thesis][International Journals][National Journals][Chapters in Books][International Conferences and Lecture Notes][Workshops and National Conferences][Project Deliverables and Technical Reports]

Books, Proceedings, and PhD Thesis

International Journals

National Journals

Chapters in Books

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Service selection by choreography-driven matching. In T. Gschwind and C. Pautasso, editors, Emerging Web Services Technology, volume II of Whitestein Series in Software Agent Technologies and Autonomic Computing, chapter 1, pages 5-22. Birkhäuser, September 2008. Revised version of WEWST 2007 paper. (PDF)

  • G. Antoniou, M. Baldoni, P. A. Bonatti, W. Nejdl, and D. Olmedilla. Rule-based policy specification. In T. Yu and J. Jajodia, editors, Security in Data Management in Decentralized Systems, volume 33 of Advances in Information Security. Springer, 2007. (PDF)

  • M. Baldoni, C. Baroglio, C. Grandi, C. Mattutino, and S. Rabellino. Aiutare l'utente di Moodle: Un sistema di Help Desk. In Proc. of Moodle Moot Italia 2007, pages 53-62. 2007. To appear. (PDF)

  • M. Baldoni, C. Baroglio, C. Grandi, C. Mattutino, and L. Roversi. CD-ROM live per il supporto online alla didattica: l'esperienza di Live! I-Learn@Home. In G. Franceschinis and D. Porporato, editors, Modelli e tecnologie della formazione in rete, pages 233-242. Edizioni Mercurio, 2007. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, and Patti. Verification of protocol conformance and agent interoperability. In F. Toni and P. Torroni, editors, Post-Proc. of Sixth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VI, volume 3900 of LNCS State-of-the-Art Survey, pages 265-283. Springer, 2006. (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)

  • M. Baldoni. Normal Multimodal Logics with Interaction Axioms. In D. Basin, M. D'Agostino, D. M. Gabbay, S. Matthews, and L. Viganò, editors, Labelled Deduction, volume 17 of Applied Logic Series, pages 33-53. Applied Logic Series, Kluwer Academic Publisher, 2000. (PostScript) (PDF)

  • M. Baldoni, C. Baroglio, D. Cavagnino, and L. Saitta. Towards Automatic Fractal Feature Extraction for Image Recognition. In H. Liu and H. Motoda, editors, Feature Extraction, Construction and Selection: a Data Mining Perspective, pages 357-373. Kluwer Academic Publisher, 1998. (PDF)

International Conferences and Lecture Notes

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Verifying the conformance of web services to global interaction protocols: a first step. In M. Bravetti and G. Zavattaro, editors, Proc. of 2nd Int. Workshop on Web Services and Formal Methods, WS-FM 2005, volume 3670 of LNCS, pages 257-271. Springer, Versailles, France, September, 2005. (PDF)

  • F. Abel, M. Baldoni, C. Baroglio, N. Henze, D. Krause, and V. Patti. Context-based Ranking in Folksonomies. In C. Cattuto, F. Menczer, and G. Ruffo, editors, Proc. of the 20th ACM International Conference on Hypertext and Hypermedia, Hypertext 2009, pages 209-218, Torino, Italy, June 30th - July 1st 2009. ACM. (PDF)

  • E. Acotto, M. Baldoni, C. Baroglio, V. Patti, F. Portis, and G. Vaccarino. ArsMeteo: Artworks and Tags Floating over the Planet Art. In C. Cattuto, F. Menczer, and G. Ruffo, editors, Proc. of the 20th ACM International Conference on Hypertext and Hypermedia, Hypertext 2009, Demo Session, pages 331-332, Torino, Italy, June 30th - July 1st 2009. ACM. (PDF)

  • M. Baldoni, C. Baroglio, A. K. Chopra, N. Desai, V. Patti, and M. P. Singh. Choice, Interoperability, and Conformance in Interaction Protocols and Service Choreographies. In K. Decker, J. Sichman, C. Sierra, and C. Castelfranchi, editors, Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2009, pages 843-850, Budapest, Hungary, May 2009. IFAAMAS. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Goal Preservation by Choreography-Driven Matchmaking. In E. Di Nitto and M. Ripeanu, editors, Service-Oriented Computing - ICSOC 2007 Workshops, volume 4907 of LNCS, pages 413-426. Springer, 2009. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. The Interplay between Relationships, Roles and Objects. In F. Arbab, H. Sarbazi-azad, and M. Sirjani, editors, Proc. of the International Conference on Fundamentals of Software Engineering, FSEN'09, Kish Island, Persian Gulf, Iran, April 2009. (PDF)

  • M. Baldoni, C. Baroglio, A. Horvath, V. Patti, F. Portis, M. Avilia, and P. Grillo. Folksonomies meet ontologies in ARSMETEO: from social descriptions of artifacts to emotional concepts. In S. Borgo and L. Lesmo, editors, Formal Ontologies Meet Industry, FOMI 2008, pages 132-143, Torino, Italy, June 2008. IOS Press. (PDF)

  • M. Baldoni, G. Boella, V. Genovese, R. Grenna, and L. van der Torre. How to Program Organizations and Roles in the JADE Framework. In R. Bergmann, G. Lindemann, S. Kirn, and M. Pechoucek, editors, Proceedings of the Multiagent System Technologies, MATES 2008, volume 5244 of Lecture Notes in Artificial Intelligence (LNAI), pages 25-36, Germany, September 2008. (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, 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, 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)

  • M. Baldoni, G. Boella, and L. van der Torre. Bridging Agent Theory and Object Orientation: Agent-like Communication among Objects. In R. H. Bordini, M. Dastani, J. Dix, and A. Seghrouchni, editors, Post-Proc. of the International Workshop on Programming Multi-Agent Systems, ProMAS 2006, volume 4411 of Lecture Notes in Artificial Intelligence (LNAI), pages 149-164. Springer, 2007. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Relationships Meet their Roles in Object Oriented Programming. In F. Arbab, A. Movaghar, J. Rutten, and M. Sirjani, editors, Proc. of the International Symposium on Fundamentals of Software Engineering, FSEN'07, volume 4767 of Lecture Notes in Computer Science (LNCS), pages 440-448, Tehran, Iran, April 2007. Springer. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. A priori conformance verification for guaranteeing interoperability in open environments. In A. Dan and W. Lamersdorf, editors, Proc. of the 4th International Conference on Service Oriented Computing, ICSOC 2006, volume 4294 of LNCS, pages 339-351, Chicago, USA, December 2006. Springer. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Interaction Protocols and Capabilities: A Preliminary Report. In J. J. Alferes, J. Bailey, W. May, and U. Schwertel, editors, Post-Proc. of the Fourth Workshop on Principles and Practice of Semantic Web Reasoning, PPSWR 2006, volume 4187 of LNCS, pages 63-77. Springer, 2006. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages. In R. H. Bordini, M. Dastani, J. Dix, and A. Seghrouchni, editors, Post-Proc. of the International Workshop on Programming Multi-Agent Systems, ProMAS 2005, volume 3862 of Lecture Notes in Computer Science (LNCS), pages 57-75. Springer, 2006. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Interaction among Objects via Roles -- Sessions and Affordances in Java. In R. Gitzel, M. Alesky, M. Schader, and C. Krintz, editors, Proc. of the 4th International Conference on Principles and Practices of Programming In Java, PPPJ 2006, pages 188-193, Mannheim, Germany, August 30th -- September 1st 2006. ACM. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Modelling the Interaction between Objects: Roles as Affordances. In J. Lang, F. Lin, and J. Wang, editors, Knowledge Science, Engineering and Management: First International Conference, KSEM, volume 4092 of LNCS, pages 42-54, Guilin City, China, August 5-8 2006. Springer. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. powerjava: Ontologically Founded Roles in Object Oriented Programming Languages. In D. Ancona and M. Viroli, editors, Proc. of 21st ACM Symposium on Applied Computing, SAC 2006, Special Track on Object-Oriented Programming Languages and Systems, OOPS 2006, pages 1414-1418, Dijon, France, April 2006. ACM. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Roles as a Coordination Construct: Introducing powerjava. In L. Brim and I. Linden, editors, Proc. of 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, MTCoord`05, volume 150(1) of Electronic Notes in Theoretical Computer Science, pages 9-29. Elsevier Science Direct, 2006. (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)

  • 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, A. Martelli, V. Patti, and C. Schifanella. Verifying protocol conformance for logic-based communicating agents. In J. Leite and P. Torroni, editors, Post Proc. of Fifth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA V, volume 3487 of LNAI, pages 192-212. Springer, 2005. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Roles and Coordination in powerjava. In J.-M. Jacquet and G. P. Picco, editors, Poster presentation at 7th Int. Conf. Coordination Models and Languages, COORDINATION'05, Namur. Belgium, April 2005. (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, 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 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. 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, 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, 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, and V. Patti. Structereless, Intention-guided Web Sites: Planning Based Adaptation. In C. Stephanidis, editor, Universal Access in HCI: Toward an Information Society for All, Proceedings of the 9th International Conference on Human-Computer Interaction (HCII 2001), Symposium on Human Interfaces 2001, 4th Intrnational Conference on engineering Psychology and Cognitive Ergonomics, 1th International Conference in Human-Computer Interaction, volume 3, pages 237-241, New Orleans, LA, USA, August 2001. Lawrence Erlbaum Associates, Inc. (PDF)

  • M. Baldoni, L. Giordano, A. Martelli, and V. Patti. Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. In A. Restivo, S. Ronchi Della Rocca, and L. Roversi, editors, Proc. of Theoretical Computer Science, 7th Italian Conference, ICTCS'2001, volume 2202 of Lecture Notes in Computer Science, pages 405-425, Turin, Italy, 2001. Springer. (PostScript) (PDF)

  • M. Baldoni, C. Baroglio, and D. Cavagnino. XFF: a simple method to eXtract Fractal Features for 2D object recognition. In A. Amin, D. Dori, P. Pudil, and H. Freeman, editors, Adavances in Pattern Recognition. Joint IAPR International Workshops, SSPR'98 and SPR'98, volume 1451 of LNCS, pages 382-389. Springer-Verlag, 1998. (PDF)

  • M. Baldoni, C. Baroglio, D. Cavagnino, and L. Egidi. Learning to Classify Images by means of Iterated Function Systems. In M. M. Novak, editor, Fractals and Beyond: Complexities in the Sciences, Proc. of the 5th International Multidisciplinary Conference, FRACTAL'98, pages 173-182. World Scientific, 1998. (PostScript) (PDF)

  • M. Baldoni, L. Giordano, and A. Martelli. A Tableau Calculus for Multimodal Logics and some (Un)Decidability Results. In H. de Swart, editor, Proc. of the International Conference on Analytic Tableaux Related Methods, TABLEAUX'98, volume 1397 of LNAI, pages 44-59. Springer-Verlag, 1998. (PostScript) (PDF)

  • M. Baldoni, C. Baroglio, D. Cavagnino, and G. Lo Bello. Extraction of Discriminant Features from Image Fractal Encoding. In M. Lenzerini, editor, Proc. of AI*IA 97: Advances in Artificial Intelligence, volume 1321 of LNAI, pages 127-138. Springer-Verlag, 1997. (PostScript) (PDF)

  • M. Baldoni, L. Giordano, A. Martelli, and V. Patti. An Abductive Procedure for Reasoning about Actions in Modal Logic Programming. In J. Dix, L. M. Pereira, and T. C. Przymusinski, editors, Proc. of the 2nd International Workshop on Non-Monotonic Extentions of Logic Programming, NMELP'96, volume 1216 of LNAI, pages 132-150. Springer-Verlag, 1997. (PostScript) (PDF)

  • M. Baldoni, L. Giordano, and A. Martelli. A Framework for Modal Logic Programming. In M. Maher, editor, Proc. of the Joint International Conference and Symposium on Logic Programming, JICSLP'96, pages 52-66, Bonn, 1996. The MIT Press. (PostScript) (PDF)

  • M. Baldoni, L. Giordano, and A. Martelli. Translating a Modal Language with Embedded Implications into Horn Clause Logic. In R. Dyckhoff, H. Herre, and P. Schroeder-Heister, editors, Proc. of the 5th International Workshop on Extensions of Logic Programming, ELP'96, volume 1050 of LNAI, pages 19-33. Springer-Verlag, 1996. (PostScript) (PDF)

  • M. Baldoni, L. Giordano, and A. Martelli. A Modal Extention of Logic Programming. In M. Alpuente, R. Barbuti, and I. Ramos, editors, Proc. 1994 Joint Conference on Declarative Programming GULP-PRODE'94, volume 2, pages 324-335, Peñiscola, Spain, September 1994. (PostScript) (PDF)

  • M. Baldoni, L. Giordano, and A. Martelli. A Multimodal Logic to define Modules in Logic Programming. In D. Miller, editor, Proc. of the International Logic Programming Symposium, ILPS'93, pages 473-487, Vancouver, 1993. The MIT Press. (PDF)

Workshops and National Conferences

  • M. Baldoni, C. Baroglio, E. Marengo, V. Patti, and C. Schifanella. Joint Achievement of Services' Personal Goals. In M. Baldoni, C. Baroglio, Bentahar, and V. J. Mascardi, editors, Proc. of the 2nd Multi-Agent Logics, Languages, and Organisations Federated Workshops, MALLOW'009, Agents, Web Services and Ontologies, Integrated Methodologies International Workshop (MALLOW-AWESOME'009), volume 494, Turin, September 2009. CEUR Workshop Proceedings. (PDF)

  • M. Baldoni, C. Baroglio, and V. Patti. Multimodal Logics for Reasoning about Interaction. In Il Milione (i.e. 2^6, June 3rd 2008), A Journey in the Computational Logic in Italy, Proc. of the Day Dedicated to Prof. Alberto Martelli, volume 487, pages 82-87. CEUR Workshop Proceedings, Turin, Italy, 2009. (PDF)

  • M. Baldoni, G. Boella, V. Genovese, A. Mugnaini, R. Grenna, and L. van der Torre. A Middleware for Modeling Organizations and Roles in Jade. In L. Braubach, J.-P.. Briot, and J. Thangarajah, editors, Proc. of the International Workshop on Programming Multi-Agent Systems, ProMAS 2009, Budapest, Hungary, May 2009. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Service selection by choreography-driven matching. In T. Gschwind and C. Pautasso, editors, Proc. of the 2nd ECOWS Workshop on Emerging Web Services Technology, WEWST 2007, volume 313 of CEUR, Workshop Proceedings, pages 1-17, Halle (Saale), Germany, January 2008. (PDF)

  • M. Baldoni, C. Baroglio, V. Patti, and C. Schifanella. Conservative re-use ensuring matches for service selection. In F. Klugl and J. Padget, editors, Proc. of Sixth European Workshop on Multi-Agent Systems, EUMAS 2008, Bath, UK, December 2008. Revised and extended version of WOA 2008 paper.

  • M. Baldoni, C. Baroglio, V. Patti, and C. Schifanella. Conservative re-use ensuring matches for service selection. In M. Baldoni, M. Cossentino, F. De Paoli, and V. seidita, editors, Proc. of WOA 2008: Dagli oggetti agli agenti, Evoluzione dell'agent development: metodologie, tool, piattaforme e linguaggi, pages 28-36, Palermo, Italy, November 2008. Seneca Edizioni. (PDF)

  • M. Baldoni, G. Boella, M. Dorni, R. Grenna, and A. Mugnaini. powerJADE: Organizations and Roles as Primitives in the JADE Framework. In M. Baldoni, M. Cossentino, F. De Paoli, and V. seidita, editors, Proc. of WOA 2008: Dagli oggetti agli agenti, Evoluzione dell'agent development: metodologie, tool, piattaforme e linguaggi, pages 84-92, Palermo, Italy, November 2008. Seneca Edizioni. (PDF)

  • M. Baldoni, V. Genovese, R. Grenna, and L. van der Torre. Adding Organizations and Roles as Primitives to JADE Framework. In G. Boella, G. Pigozzi, M. P. Singh, and H. Verhagen, editors, Proceedings of the 3rd International Workshop on Normative Multiagent Systems, NorMAS 2008, pages 95-111, Luxembourg, July 2008. (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 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. Goal preservation by choreography-driven matchmaking. In J.-Y. Chung, W. Emmerich, G. Feuerlicht, W. Lamersdorf, G. Ortiz, and C. Zirpins, editors, Proc. of the Third International Workshop on Engineering Service-Oriented Applications: Analysis, Design and Composition, WESOA 2007, in conjuction with ICSOC 2007, pages 77-88, Vienna, Austria, September 2007. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Preserving player's goals: a choreography-driven matchmaking 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 132-139, Genova, Italy, September 2007. Seneca Edizioni. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Adding Roles to Relationship Patterns. 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 112-125, Genova, Italy, September 2007. Seneca Edizioni. (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)

  • M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Conformance and Interoperability in Open Environments. In F. De Paoli, A. Di Stefano, A. Omicini, and C. Santoro, editors, Proc. of WOA 2006: Dagli oggetti agli agenti, Sistemi GRID, P2P e Self-*, volume 204 of CEUR, Workshop Proceedings, Catania, Italy, September 2006. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Interaction Protocols and Capabilities: a preliminary report. In J. J. Alferes, J. Bailey, W. May, and U. Schwertel, editors, Proc. of the 4th International Workshop on Principle and Practice of Semantic Web Reasoning, PPSWR 2006, pages 61-75, Budva, Montenegro, June 2006. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. The Need of Capability Requirements Inside Choreographies and Interaction Protocols. In Y. Yan and L. Zhang, editors, Proc. of the 2006 International Workshop on Service Oriented Techniques, SOT06, pages 17-24, August 2006. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and L. Torasso. Verifying the compliance of personalized curricula to curricula models in the semantic web. In M. Bouzid and N. Henze, editors, Proc. of the Semantic Web Personalization Workshop, held in conjuction with the 3rd European Semantic Web Conference, pages 53-62, Budva, Montenegro, 2006. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Bridging Agent Theory and Object Orientation: Agent-like Communication among Objects. In R. H. Bordini, M. Dastani, J. Dix, and A. Seghrouchni, editors, Proc. of the International Workshop on Programming Multi-Agent Systems, ProMAS 2006, pages 117-132, Hakodate, Japan, May 2006.

  • M. Baldoni, G. Boella, and L. van der Torre. Importing Agent-like Interaction in Object Orientation. In F. De Paoli, A. Di Stefano, A. Omicini, and C. Santoro, editors, Proc. of WOA 2006: Dagli oggetti agli agenti, Sistemi GRID, P2P e Self-*, volume 204 of CEUR, Workshop Proceedings, Catania, Italy, September 2006. (PDF)

  • A. Martelli, M. Baldoni, C. Baroglio, V. Patti, C. Schifanella, and et al. Modeling, verifying and reasoning about web services (extended abstract). In A. Polleres, S. Decker, G. Gupta, and J. de Bruijn, editors, Applications of Logic Programming in the Semantic Web and Semantic Web Services, ALPSWS 2006, volume 196 of CEUR, Workshop Proceedings, pages 105-106, Seattle, WA, August 2006. (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. 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, A. Martelli, V. Mascardi, V. Patti, C. Schifanella, and L. Torasso. Personalization, verification and conformance for logic-base communicating agents. In F. Corradini, F. De Paoli, E. Merelli, and A. Omicini, editors, Proc. of WOA 2005: Dagli oggetti agli agenti, simulazione e analisi formale di sistemi complessi, Camerino, Italy, november 2005. Pitagora Editrice Bologna. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Verification of protocol conformance and agent interoperability. In F. Toni and P. Torroni, editors, Pre-proc. of Sixth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VI, pages 12-27, London, UK, June 2005. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages. In R. H. Bordini, M. Dastani, J. Dix, and A. Seghrouchni, editors, Proc. of the International Workshop on Programming Multi-Agent Systems, ProMAS 2005, pages 23-38, Utrecht, the Netherlands, July 2005. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Social roles, from agents back to objects. In F. Corradini, F. De Paoli, E. Merelli, and A. Omicini, editors, Proc. of WOA 2005: Dagli oggetti agli agenti, simulazione e analisi formale di sistemi complessi, Camerino, Italy, november 2005. Pitagora Editrice Bologna. (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, 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, A. Martelli, V. Patti, and C. Schifanella. Verifying protocol conformance for logic-based communicating agents. In J. Leite and P. Torroni, editors, Pre-Proc. of Fifth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA V, pages 82-97, Lisbon, Portugal, September 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, V. Patti, and L. Torasso. SCORM courseware adaptation on the Semantic Web. In G. Adorni, editor, Proc. of IX Convegno della Associazione Italiana Intelligenza Artificiale, Terzo Workshop Intelligenza Artificiale e E-Learning, Perugia, Italy, September 2004. (PDF)

  • C. Schifanella, L. Lusso, M. Baldoni, and C. Baroglio. Design and development of a visual environment for writing DyLOG programs. In M. Baldoni, F. De Paoli, A. Martelli, and A. Omicini, editors, Proc. of WOA 2004: Dagli Oggetti agli Agenti, Sistemi Complessi e Agenti Razionali, pages 43-50, Torino, Italy, November 2004. Pitagora Editrice Bologna. (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, 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, 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, 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, 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, Malaga, Spain, May 2002. (PDF)

  • M. Baldoni, C. Baroglio, A. Molia, and V. Patti. Exploiting planning capabilities of a rational agent in adaptive web-based recommendation systems: a case-study. In S. Pizzutilo, editor, Proc. of AI*IA 2001, Demo Session, pages 9-12, Bari, Italy, September 2001. (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)

  • M. Baldoni, L. Giordano, A. Martelli, and V. Patti. Modeling Agents in a Logic Action Language. In Proc. of Workshop on Practical Reasoning Agents, FAPR2000, 2000. (PostScript) (PDF)

  • M. Baldoni, C. Baroglio, D. Cavagnino, and L. Saitta. IFS-based feature extraction for learning to classify objects. In R. Cucchiara and M. Piccardi, editors, Proc. of the Workshop: Artificial Intelligence and Pattern Recognition Techniques for Computer Vision, IAPRVA'98, pages 9-14, Ferrara, Italy, 1998. (PostScript) (PDF)

  • M. Baldoni, L. Giordano, A. Martelli, and V. Patti. A Modal Programming Language for Representing Complex Actions. In A. Bonner, B. Freitag, and L. Giordano, editors, Proc. 1998 JICSLP'98 Post-Conference Workshop on Transactions and Change in Logic Databases, DYNAMICS'98, pages 1-15, Manchester, UK, June 1998. Technical Report MPI-9808. (PostScript) (PDF)

Project Deliverables and Technical Reports

  • M. Baldoni, C. Baroglio, and E. Marengo. Commitment-based Protocols with Behavioral Rules and Correctness Properties of MAS. Technical Report RT 124/2010, Dipartimento di Informatica, UNiversità degli Studi di Torino, February 2010. (PDF)

  • M. Baldoni, C. Baroglio, and E. Marengo. Constraints among Commitments: Regulative Specification of Interaction Protocols. Technical Report RT 123/2010, Dipartimento di Informatica, UNiversità degli Studi di Torino, February 2010. (PDF)

  • M. Baldoni, C. Baroglio, N. Henze, I. Brunkhorst, E. Marengo, and V. Patti. Constraint Modeling for Curriculum Planning and Validation. Technical Report RT 115/08, Dipartimento di Informatica, Università degli Studi di Torino, December 11th 2008. (PDF)

  • 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, 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, A. Martelli, and V. Patti. A priori conformance verification for guaranteeing interoperability in open environments. Technical Report RT 93/06, Dipartimento di Informatica, UNiversità degli Studi di Torino, July 3rd 2006. (PDF)

  • I. Brunkhorst, N. Henze, V. Patti, J. J. A. Alferes, R. Amador, M. Baldoni, C. Baroglio, R. Baumgartner, W. May, and M. A. Klopotek. Testbeds ii: Early prototypes. Technical Report IST506779/Hannover,Turin/A3-D6/D/PU/b1, Reasoning on the Web with Rules and Semantics, REWERSE, February 28th 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)

  • 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, 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)

  • P. A. Bonatti, N. Shalmehri, C. Duma, D. Olmedilla, W. Nejdl, M. Baldoni, C. Baroglio, A. Martelli, V. Patti, P. Coraggio, G. Antoniou, J. Peer, and N. E. Fuchs. Rule-based Policy Specification: State of the Art and Future Work. Technical Report IST506779/Naples/I2-D1/D/PU/b1, Reasoning on the Web with Rules and Semantics, REWERSE, August 31st, 2004. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, G. M. Sacco, M. L. Sapino, P. Bertolotti, and C. Schifanella. Gestione di materiali audio-visivi: modello formale e descrizione di un prototipo. Technical Report 68/02, Dipartimento di Informatica, Università degli Studi di Torino, Italy, December 2002. (PDF)

  • M. Baldoni and D. Cavagnino. xn+1 = f (xn). Technical Report 22/96, Dipartimento di Informatica, Università degli Studi di Torino, Italy, 1996. (PostScript) (PDF)



[Group's HOME] [Department's HOME]
If you are interested in papers which are not available, please, contact directly the author(s).