Martelli'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.

• M. Baldoni, A. Boccalatte, F. De Paoli, M. Martelli, and V. Mascardi, editors. Proc. of Workshop Dagli Oggetti agli Agenti, Agenti e Industria: Applicazioni tecnologiche degli agenti software, WOA 2007, Genova, Italy, September 2007. Seneca Edizioni. (PDF)

• M. Baldoni, F. De Paoli, A. Martelli, and A. Omicini, editors. Proc. of Workshop Dagli Oggetti agli Agenti, Sistemi Complessi e Agenti Razionali, WOA 2004, Torino, Italy, November 2004. Pitagora Editrice Bologna. ISBN: 88-371-1533-4. (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, 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)

• L. Giordano, A. Martelli, and C. Schwind. Specifying and Verifying Interaction Protocols in a Temporal Action Logic. Journal of Applied Logic, 5(2):214-234, June 2007.

• L. Giordano and A. Martelli. Tableau-Based Automata Construction for Dynamic Linear Time Temporal Logic. Annals of Mathematics and of Artificial Intelligence, 46(3):289-315, 2006. (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)

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

• L. Giordano, A. Martelli, and C. Schwind. Reasoning About Actions in Dynamic Linear Time Temporal Logic. Journal of the IGPL, 9(2):298-303, 2001.

• D. M. Gabbay, L. Giordano, A. Martelli, N. Olivetti, and M. L. Sapino. Conditional Reasoning in Logic Programming. Journal of Logic Programming, 44(1-3):37-74, 2000.

• L. Giordano, A. Martelli, and C. Schwind. Ramification and Causality in a Modal Action Logic. Journal of Logic and Computation, 10(5):625-662, 2000.

• M. Baldoni, L. Giordano, and A. Martelli. A Modal Extention of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning. Journal of Logic and Computation, 8(5):597-635, 1998. (PostScript) (PDF)

• D. M. Gabbay, L. Giordano, A. Martelli, and N. Olivetti. A language for handling hypothetical updates and inconsistency. J. of the Interest Group in Pure and Applied Logic, 4(3):385-416, 1996.

• L. Giordano and A. Martelli. A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking. Computational Intelligence, 11(1):11-46, 1995.

• L. Giordano, A. Martelli, and M. L. Sapino. Extending Negation as Failure by Abduction: a 3-valued Stable Model Semantics. Journal of Logic Programming, 26(1):31-67, 1995.

• L. Giordano and A. Martelli. On Cumulative Defaults Logics. Artificial Intelligence, 66:161-179, 1994.

• L. Giordano and A. Martelli. Structuring Logic Programs: a Modal Approach. J. of Logic Programming, 21(2):59-94, 1994.

• L. Giordano, A. Martelli, and G.F. Rossi. Structured Prolog: A Language for Structured Logic Programming. Software - Concept and Tools, 15:125-145, 1994.

• L. Giordano, A. Martelli, and G. F. Rossi. Extending Horn Clause Logic with Implication Goals. Theoretical Computer Science, 95:43-74, 1992.

• M. P. Bonacina and A. Martelli. Automated reasoning. Intelligenza Artificiale, III(1-2):14-20, Marzo/Giugno 2006. (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, 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)

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

• A. Martelli and L. Giordano. Reasoning About Web Services in a Temporal Action Logic. In O. Stock and M. Schaerf, editors, Reasoning, Action and Interaction in AI Theories and System, number 4155 in LNAI, Festschrift, pages 229-246. Springer, 2006. Essay Dedicated to Ligia Carlucci Aiello. (PDF)

• A. Martelli. Logic Programming and Nonmonotonic Reasoning. In M. I. Sessa, editor, 1985-1995 Ten years of Logic Programming in Italy, pages 105-136. Palladio, 1995.

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

• L. Giordano, A. Martelli, and D. Theseider Dupré. Achieving Completeness in Bounded Model Checking of Action Theories in ASP. In G. Brewka, T. Eiter, and S. A. McIlraith, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, pages 618-622. AAAI Press, 2012. (PDF)

• D. D'Aprile, L. Giordano, V. Gliozzi, A. Martelli, G. L. Pozzato, and D. Theseider Dupré. Verifying Business Process Compliance by Reasoning about Actions. In Jürgen Dix, João Leite, Guido Governatori, and Wojtek Jamroga, editors, CLIMA XI (Computational Logic in Multi-Agent Systems, 11th International Workshop), special session in Norms and Normative Multi-Agent Systems, volume 6245 of LNAI, pages 99-116, Lisbon, Portugal, August 16-17 2010. Springer-Verlag. (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)

• L. Giordano and A. Martelli. Verifying Agents' Conformance with Multiparty Protocols. In M. Fisher, F. Sadri, and M. Thielscher, editors, Post-Proc. of the 9th Int. Workshop CLIMA IX Computational Logic in Multi-Agent Systems, volume 5405 of LNCS, pages 17-36, 2009. (PDF)

• L. Giordano and A. Martelli. Verifying the Conformance of Agents with Multiparty Protocols. In M Ghallab, C. D. Spyropoulos, N. Fakotakis, and N. Avouris, editors, Proc. of the 18th European Conference on AI, ECAI 2008, pages 855-856. IOS Press, 2008.

• A. Martelli. The Seventies. In P. Degano, R. De Nicola, and J. Meseguer, editors, Concurrency, Graphs and Models --- Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, volume 5065 of LNCS, pages 797-798. Springer, 2008. (PDF)

• L. Giordano and A. Martelli. Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic. 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 145-156, Rome, Italy, September 2007. Springer.

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

• L. Giordano, A. Martelli, and C. Schwind. Specialization of Interaction Protocols in a Temporal Action Logic. In W. van der Hoek, A. Lomuscio, E. de Vink, and M. Wooldridge, editors, Proc. of the 3rd Int. Workshop on Logic and Communication in Multi-Agent Systems, LCMAS'05, volume 157 of Electronic Notes in Theoretical Computer Science, pages 3-22. Elsevier Science Direct, 2006. (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, 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)

• Laura Giordano and Alberto Martelli. On-the-fly automata construction for dynamic linear time temporal logic. In C. Combi and G. Ligozat, editors, 11th International Symposium on Temporal Representation and Reasoning (TIME'04), pages 133-139, Tatihou, Normandie, France, July 2004. IEEE Computer Society. (PDF)

• Laura Giordano, Alberto Martelli, and Camilla Schwind. Verifying communicating agents by model checking in a temporal action logic. In J. Alferes and J. Leite, editors, 9th European Conference on Logics in Artificial Intelligence (JELIA'04), volume 3229 of LNAI, pages 57-69, Lisbon, Portugal, Sept. 2004. Springer-Verlag. (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)

• L. Giordano, A. Martelli, and C. Schwind. Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. 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 262-274. Springer-Verlag, 2003. (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)

• L. Giordano, A. Martelli, and C. Schwind. Reasoning About Actions in a Multiagents Domain. In Proc. of the 7th Congress of the Italian Association for Artificial Intelligence, AI*IA'01, volume 2175 of LNAI, pages 237-248, Bari, 2001. (PDF)

• L. Giordano, A. Martelli, and C. Schwind. Reasoning About Actions in Dynamic Linear Time Temporal Logic. In Proc. of Conference on Formal and Applied Practical Reasoning, FAPR 2000, pages 117-129. Imperial College, Technical Report ISSN 1469-4166, 2000.

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

• L. Giordano, A. Martelli, and C. Schwind. Dealing with Concurrent Actions in Modal Action Logics. In H. Prade, editor, Proc. of the 13th European Conference on Artificial Intelligence, ECAI'98, pages 537-541, Brighton, UK, 1998. John Wiley & Sons.

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

• L. Giordano, A. Martelli, and M. L. Sapino. An Abductive Proof Procedure for Conditional Logic Programming. In Proc. 1st Int. Conf. on Formal and Applied Practical Reasoning, FAPR'96, volume 1085 of LNAI, pages 231-245, 1996.

• D. M. Gabbay, L. Giordano, A. Martelli, and N. Olivetti. Hypothetical updates, priority and inconsistency in a logic programming language. In V. W. Marek, A. Nerode, and M. Truszczynsky, editors, Proc. 3rd Int. Conference on Logic Programming and Non-Monotonic Reasoning, volume 928 of LNCS, pages 203-216, Lexington, KY, USA, 1995. Springer-Verlag.

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

• D. M. Gabbay, L. Giordano, A. Martelli, and N. Olivetti. Conditional Logic Programming. In Proc. ICLP94, pages 272-289, Santa Margherita Ligure, 1994. MIT Press.

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

• L. Giordano, A. Martelli, and M. L. Sapino. A semantics for Eshghi and Kowalski's abductive procedure. In Proc. 10th Int. Conf. on Logic Programming, ICLP93, pages 586-600, Budapest, 1993. MIT Press.

• D. D'Aprile, L. Giordano, A. Martelli, G. L. Pozzato, D. Rognone, and D. Theseider Dupré. Business Process Compliance Verification: an Annotation Based Approach with Commitments. In M. De Marco, D. Te'eni, V. Albano, and S. Za, editors, Information Systems: Crossroads for Organization, Management, Accounting and Engineering, pages 563-571. Physica-Verlag, A Springer Company, 2012.

• L. Giordano, A. Martelli, and D. Theseider Dupré. Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. In F. A. Lisi, editor, Proc. of the 9th Italian Convention on Computational Logic, CILC'12, volume 857 of CEUR Workshop Proceedings, pages 176-190, Rome, Italy, June 6-7 2012. CEUR-WS.org. (PDF)

• D. D'Aprile, L. Giordano, V. Gliozzi, A. Martelli, G. L. Pozzato, and D. Theseider Dupré. Verifying Compliance of Business Processes with Temporal Answer Sets. In F. Fioravanti, editor, Proceedings of CILC 2011 (8th Convegno Italiano di Logica Computazionale), volume 810 of CEUR, pages 147-161, Pescara, Italy, August 2011. (PDF)

• M. Baldoni, C. Baroglio, F. Bergenti, A. Boccalatte, E. Marengo, M. Martelli, V. Mascardi, L. Padovani, V. Patti, A. Ricci, G. Rossi, and A. Santi. MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. In N. Fornara and G. Vouros, editors, Proc. of the 3rd Multi-Agent Logics, Languages, and Organisations Federated Workshops, MALLOW'10, 11th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems, COIN@MALLOW 2010, volume 627, pages 134-146, Domain Valpré in Lyon, France, August 30 - September 2 2010. CEUR Workshop Proceedings. (PDF)

• D. D'Aprile, L. Giordano, V. Gliozzi, A. Martelli, G. L. Pozzato, and D. Theseider Dupré. Verifying Business Process Compliance by Reasoning about Actions. In Angelo Susi, editor, First Workshop on Law Compliancy Issues in Organisational Systems and Strategies (iComply 2010), Firenze, Italy, July 6 2010. (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)

• L. Giordano and A. Martelli. Verifying Agents' Conformance with Multiparty Protocols. In M. Fisher, F. Sadri, and M. Thielscher, editors, Proc. of the 9th Int. Workshop CLIMA IX Computational Logic in Multi-Agent Systems, pages 127-142, 2008. (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)

• L. Giordano and A. Martelli. Verifying Agent Conformance with Protocols: an Automata Based Approach. In N. Olivetti and Schwind C.B., editors, Proceedings of Agents, Logic and Theorem Proving Workshop, pages 19-31, Aix En Provence, France, July 2007.

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

• L. Giordano and A. Martelli. Web Service Composition in a Temporal Action Logic. In Proc. of 4th International Workshop on AI for Service Composition (held in conjunction with ECAI 2006), Riva del Garda, August 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, 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, 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, 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, L. Giordano, A. Martelli, and V. Patti. Modeling Agents in a Logic Action Language. In W. van der Hock and J.-J. Meyer, editors, Proc. of Workshop on Practical Reasoning Agents, FAPR2000, 2000. (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)

• D. M. Gabbay, L. Giordano, A. Martelli, and N. Olivetti. Hypothetical updates and inconsistency in logic programming. In Proc. ECAI'94 Workshop on Logic and Change, Amsterdam, 1994.

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

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