Publications

Due to copyright constraints, after September 2007 we always refer to the language by using the full name DYnamics in LOGic instead of the corresponding acronym.

Language definition

• V. Patti. Programming Rational Agents: a Modal Approach in a Logic Programming Setting. PhD thesis, Dipartimento di Informatica, Università degli Studi di Torino, Italy, 2002. [ZIP]
• M. Baldoni. Normal Multimodal Logics: Automatic Deduction and Logic Programming Extension. PhD thesis, Dipartimento di Informatica, Università degli Studi di Torino, Italy, 1998. [PS]
• M. Baldoni, L. Giordano, A. Martelli, and V. Patti. Programming Rational Agents in a Modal Action Logic. Annals of Mathematics and Artificial Intelligence, Special issue on Logic-Based Agent Implementation, 41(2-4):207-257, 2004. [PDF]
• M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about interaction protocols for customizing web service selection and composition. Journal of Logic and Algebraic Programming, special issue on Web Services and Formal Methods, 70(1):53-73, January 2007. [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. [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]
• V. Patti. Programming Rational agents: a Modal Approach in a Logic Programming Setting. AI*IA Notizie, XV(2):24-29, June 2002. [PS]
• 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 [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. [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]

Applications

• 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]
• 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, 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, 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, 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. [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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 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]

The documents listed above have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.