Publications of Laura Giordano

2005

• L. Giordano, V. Gliozzi and N. Olivetti. Weak AGM postulates and strong Ramsey test: a logical formalization. Artificial Intelligence,  168(2005) 1-37 (ps).

• L. Giordano, A. Martelli and C. Schwind. Specifying and Verifying Interaction Protocols in a Temporal Action Logic.  Journal of Applied Logic (Special issue on Logic Based Agent Verification), Accepted for publication (ps).

• L. Giordano and A. Martelli, Tableau-Based Automata Construction for Dynamic Linear Time Temporal Logic. Annals of Mathematics and Artificial Intelligence. Accepted for publication (preliminary version).

• L. Giordano, V. Gliozzi, N. Olivetti and G. Pozzato. Analytic Tableaux for KLM Preferential and Cumulative Logics. 12th Int. Conf on Logic Programming and Automated Reasoning, LPAR 2005, 2nd-6th December 2005, Montego Bay, Jamaica. To appear (pdf). A preliminary version was presented as a position paper, in Tableaux 2005, Automated Reasoning with Analytic Tableaux and Related Methods, Koblenz, 14-16 september 2005.

• L. Giordano, A. Martelli, C. Schwind. Specialization of Interaction Protocols in a Temporal Action Logic, LCMAS’05 (3rd Int. Workshop on Logic and Communication in Multi-Agent Systems), Edinburgh, 1st of August 2005. The post-workshop proceedings will appear in the Electronic Notes in Theoretical Computer Science, ENTCS (preliminary version).

• L. Giordano, V. Gliozzi, N. Olivetti and C.Schwind. Extensions of Tableau calculi for preference-based conditional logics.  Methods for Modalities" (M4M), 1-2 December 2005, Berlin.
  

• L. Giordano, A. Martelli, P. Terenziani, A. Bottrighi, S. Montani. A temporal approach to the specification and verification of Interaction Protocols. In Proceedings of WOA 2005,  Corradini, F. De Paoli, E. Merelli e A. Omicini eds. Pitagora Editrice Bologna, Camerino 14-16 Dec. 2005. ISBN 88-371-1590-3.

2004

• L. Giordano and C. Schwind. Conditional Logic of Actions and Causation. Artificial Intelligence, Special issue on Non Monotonic Reasoning,Vol 157/1-2,  pp.239-279, 2004.(pdf)

• M. Baldoni, A. Martelli, V. Patti and L. Giordano. Programming Rational Agents in a Modal Action Logic. Annals of Mathematics and Artificial Intelligence, Special issue on Logic-Based Agent Implementation, vol. 41, No. 2-4,pp.207-257, 2004.(PDF)

• L. Giordano and A. Martelli. On-the-fly Automata Construction for Dynamic Linear Time Temporal Logic. Proc. 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), IEEE Computer Society, Tatihou, Basse Normandie, France, 1-3 July 2004. (PDF)
  

• L. Giordano, A. Martelli, C. Schwind.  Verifying Communicating Agents by Model Checking in a Temporal Action Logic, JELIA'04 (10th European Conf. on Logics in Artificial Intelligence), LNAI 3229, Lisbon, September 2004.(PS)

2003

•  Baldoni, C. Baroglio, L. Giordano, A. Martelli, and V. Patti. Reasoning about communicating agents in the semantic web. In F. Bry, N. 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)

• L. Giordano, V. Giozzi, N. Olivetti, and C. Schwind. Tableau Calculi for Preference-Based Conditional Logics. In Proc. of TABLEAUX 2003 (Automated Reasoning with Analytic Tableaux and Related Methods), volume 2796 of LNAI, pages 81-101. Springer, 2003. (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)

2002

• L. Giordano, V. Gliozzi and N. Olivetti. Iterated Belief Revision and Conditional Logic. In Studia Logica, Special issue on Belief Revision,  Vol.70, No. 1, pp.23-47, 2002.(PS)

• L.Giordano and C.Schwind. Towards a conditional logic of actions and causation. In Proc. 9th Intl. Workshop on Non-Monotonic Reasoning, NMR-2002, Toulouse, April 20, 2002.(PS)

• L.Giordano and C.Schwind. Towards a conditional logic of actions and causation. In Proc. 8th Proc. 8th European Conf. on Logics in Artificial Intelligence, JELIA'02, LNAI 2424, Cosenza, Sept. 2002, Springer. (PS)
  

2001

• L.Giordano, M.Martelli and C.Schwind. Reasoning about Actions in Dynamic Linear Time Temporal Logic. Journal of the IGPL, Vol. 9, No. 2, pp. 289-303, March 2001.

• L. Giordano, V. Gliozzi, and N. Olivetti. Belief Revision and the Ramsey Test: a Solution.  In Proc. AI*IA'01: Advances in Artificial Intelligence. LNAI 2175. Bari, September 2001.(PDF)

• L.Giordano, M.Martelli and C.Schwind. Reasoning about Actions in a Multiagent Domain. In Proc. AI*IA'01: Advances in Artificial Intelligence. LNAI 2175. Bari, September 2001.(PDF)

• M. Baldoni, L. Giordano, A. Martelli and V. Patti. Reasoning about Complex Actions with Incomplete Knowledge: a Modal Approach. In Proc. ICTCS'01, LNCS 2202, pp 405-425, Torino, October 2001.(PDF)

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.(PostScript)
  

• L.Giordano, V.Gliozzi and N.Olivetti. A conditional Logic for Iterated Belief Revision. In Proc. 14th European Conference on Artificial Intelligence, ECAI 2000, Berlin (ps).
  

• D.M.Gabbay, L.Giordano, A.Martelli, N.Olivetti and M.L.Sapino. Conditional Reasoning in Logic Programming. In Journal of Logic Programming, special issue on Abduction, M.Denecker and A.Kakas (ed.), 44(2000)37-74.(PostScript)

• L.Giordano, M.Martelli and C.Schwind. Reasoning about Actions in Dynamic Linear Time Temporal Logic. In FAPR 2000, Int. Conf. on Pure and Applied Practical Reasoning, London, September 2000.(PostScript)

• 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, London, September 2000.(PostScript)

1998

• 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.(PDF)

•  L. Giordano and N. Olivetti. Combining Negation as Failure and Embedded Implications in Logic Programs. Journal of Logic Programming, 36(2):91-147, 1998.(PostScript)

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

• Anthony J. Bonner, Burkhard Freitag, Laura Giordano: "DYNAMICS 98: Proceedings of the Post-Conference Workshop on Transactions and Change in Logic Databases; Joint International Conference and Symposium on Logic Programming JICSLP'98", Manchester, UK, June 20, 1998.

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

• L. Giordano, V. Gliozzi and N. Olivetti. A Conditional Logic for Belief Revision. In Proc. of the Sixth European Workshop on Logic in Artificial Intelligence, JELIA'98, volume 1489 of LNAI, pages 294-308, Dagstuhl, 1998.(PostScript)

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

1997

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

• Anthony J. Bonner, Burkhard Freitag, Laura Giordano, Robert A. Kowalsky: Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases. ILPS 1997: 415-416.

1996

• 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, 1996, Elsevier Science, Amsterdam (ps).
  

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

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

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

• M. Baldoni, L. Giordano, and A. Martelli. Translating a modal language with embedded implication into Horn clauses logic. In Proc. Int. Workshop on Extensions of Logic Programming – ELP’96, LNAI 1050, Springer Verlag, pages 19–33, 1996.

1995

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


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

1994

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

• L. Giordano and A. Martelli. Structuring logic programs: a modal approach. J.of Logic Programming, 21(2):59–94, 1994, Elsevier Science, Amsterdam.

• L. Giordano, A. Martelli, and G.F. Rossi. Structured prolog: A language for structured logic programming. Software - Concept and Tools, 15:125–145, 1994.

• D.M. Gabbay, L. Giordano, A. Martelli, and N. Olivetti. Conditional logic programming. In Proc. 11th Int. Conf. on Logic Programming, ICLP94, pages 272–289. MIT Press, 1994.

• M. Baldoni, L. Giordano, and A. Martelli. A modal extension of logic programming. In Proc. ICLP Post-Conference Workshop on Proof-Theoretical Extensions of Logic Programming, pages 48–54, Santa Margherita Ligure, 1994.
  

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

1993

•  M. Baldoni, L. Giordano, and A. Martelli. A multimodal logic to define modules in logic programming. In Proc. 1993 International Logic Programming Symposium, ILPS'93, pages 473–487, MIT Press, Vancouver, 1993.

• L. Giordano. Defining variants of default logic: A modal approach. In Proc. Int. Conf. on Methodologies for Intelligent Systems ISMIS'93 -LNCS 689, pages 59–68, Trondheim, 1993. Springer-Verlag.

• 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, MIT Press, Budapest, 1993.
  

1992

• L. Giordano, A. Martelli, and G.F. Rossi. Extending Horn clause logic with implication goals. Theoretical Computer Science, 95:43–74, 1992, Elsevier Science, Amsterdam (abstract).

•  L. Giordano and A. Martelli. A modal framework for structuring logic programs. In Proc. 3rd Int. Workshop on Extensions of Logic Programming - LNAI 660, Springer Verlag, pages 177–191, Bologna, 1992.

• L. Giordano and N. Olivetti. Negation as failure in intuitionistic logic programming. In Proc. Joint International Conference and Symposium on Logic Programming, pages 431–445, MIT Press, Washington, 1992.

1991

• L. Giordano and A. Martelli. A modal reconstruction of blocks and modules in logic programming. In Proc. International Logic Programming Symposium, pages 239–253, MIT Press, San Diego, 1991.

• L. Giordano, A. Martelli, and M.L. Sapino. Negation as failure and constraints through abduction and defaults. In Proceedings of the 2nd Congress of the Italian Association for Artificial Intelligence - LNAI 549, pages 78–87, Palermo, 1991. Springer Verlag.
  

1990

• L. Giordano and A. Martelli. Generalized stable models, truth maintenance and conflict resolution. In Proc. 7th Int. Conf. on Logic Programming, ICLP-90, pages 427–441, Jerusalem, 1990.

• L. Giordano and A. Martelli. An abductive characterization of the TMS. In Proc. ECAI-90, European Conference on Artificial Intelligence, pages 308–313, Stockholm, 1990.

• L. Giordano and A. Martelli. Truth maintenance systems and belief revision. In Proc. ECAI-90 Workshop on Truth Maintenance Systems - LNAI 515, pages 71–86. Springer Verlag, 1991.

• L. Giordano and A. Martelli. Three-valued labellings for truth maintenance systems. In Proc. Int. Conf. on Methodologies for Intelligent Systems -ISMIS-90, pages 506– 513, Knoxville, 1990.

1988

• L. Giordano, A. Martelli, and G.F. Rossi. Local definitions with static scope rules in logic programming. In Proc. FGCS ’88: Int. Conf. on Fifth Generation Computer Systems, Tokyo, 1988.

    The electronic version of some of the papers is also available from  LP&AR Group Pubblications and from the  DBLP Bibliography Server