Publications of Laura Giordano



2016


2015


2014


2013


2012


2011


2010


2009


2008

  • L. Giordano, V. Gliozzi, N. Olivetti and G.L. Pozzato, Reasoning About Typicality in Preferential Description LogicsJELIA 2008 (11th European Conf. on Logics in Artificial Intelligence), Dresden, Germany,  28 September - 1 October, 2008 (pdf).
  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. ALC+T: Reasoning About Typicality in Description Logics. In Proceedings of CILC 2008 (23-esimo Convegno Italiano di Logica Computazionale), 10-12 July 2008.
  • L. Giordano and A. Martelli. Verifying Agents Conformance with Multiparty Protocols.  In  Computational Logic in Multi-Agent Systems, 9th Int. Workshop, CLIMA IX, Dresden , Germany, September 2008, LNAI 5405, pp. 17- 36, Springer.
  • L. Giordano and A. Martelli. Verifying the Conformance of Agents with Multiparty Protocols.  Accepted as a Poster at ECAI 2008,  Patras, Greece,  21-25 July  2008.

2007
  • L. Giordano, A. Martelli and C. Schwind. Specifying and Verifying Interaction Protocols in a Temporal Action Logic. In Journal of Applied Logic (Special issue on Logic Based Agent Verification),  Volume 5, Issue 2, June 2007, Pages 214-234 ( 10.1016/j.jal.2005.12.011).
  • L. Giordano, V. Gliozzi, N. Olivetti and G.L. Pozzato, KLMLean 2.0: a Theorem Prover for KLM Logics of Nonmonotonic Reasoning,  TABLEAUX 2007,  Aix en Provence, France,  3-6 July, 2007.
  • L. Giordano, V. Gliozzi, N. Olivetti and G.L. Pozzato, An Implementation of a Free-variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: the Theorem Prover FREEP 1.0AI*IA 2007,  Roma, Italy, 10-13 September, 2007.
  • L. Giordano and A. Martelli , Verifying Agent Conformance with Protocols specified in a Temporal Action Logic.   AI*IA 2007,  Roma, Italy, 10-13 September, 2007.

  • Paolo Terenziani, Luca Anselma, Alessio Bottrighi, Laura Giordano, Stefania Montani, Automatic Checking of the Correctness of Clinical Guidelines in GLARE, Proc. MEDINFO 2007, Brisbane, Australia, 2007.
  • L. Giordano, A. Bottrighi, S. Montani and P. Terenziani. Applying AI model-checking techniques to clinical guidelines. Poster at MEDINFO 2007Brisbane, Australia, 18-24 August 2007.
  • L. Giordano, V. Gliozzi, N. Olivetti and G.L. Pozzato, KLM Logics of Nonmonotonic Reasoning: Calculi and Implementations, Convegno Italiano di Logic Computazionale,  CILC 2007, Messina, 21-22 Giugno 2007
  • L. Giordano, V. Gliozzi, N. Olivetti and G.L. Pozzato,  Extensions of Description Logic to Reason about TypicalityMethods for Modalities (M4M), Paris, November 2007.
  • L. Giordano, V. Gliozzi, N. Olivetti and G.L. Pozzato, Preferential Description Logics. LPAR 2007: 257-272.

2006
  • A. Martelli and L. Giordano, Reasoning About Web Services in a Temporal Action Logic, in Springer LNAI 4155, Reasoning, Action and Interaction in AI Theories and Systems, 2006.
  • L. Giordano, V. Gliozzi, N. Olivetti and G.L. Pozzato, Automated Deduction for Logics of Default Reasoning (Extended Abstract), accepted as a Poster at ECAI06, Riva del Garda, Aug 28th - Sept 1st 2006.
  • A. Martelli, M. Baldoni, C. Baroglio, V. Patti, C. Schifanella, M. Alberti, M. Gavanelli, E. Lamma, F. Riguzzi, S. Storari, F. Chesani, A. Ciampolini, P. Mello, M. Montali, P. Torroni, A. Bottrighi, L. Giordano, V. Gliozzi, D. Theseider Duprè, P. Terenziani , G. Casella,V. Mascardi, Modeling, verifying and reasoning about web services (Extended Abstract), accepted as a Poster at ALPSWS06.


2005

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

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.

2002
2001

2000
  • 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.(JLP Open Archive)
  • 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.

1998
  • 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.
  • 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.
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.
  • 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
  • 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, September 2-6, 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, June 3-7, 1996, Bonn, volume 1085 of LNAI, pages 231-245, 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, June 26-28, 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 ( DOI: 10.1111/j.1467-8640.1995.tb00022.x ).

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.
  • D.M. Gabbay, L. Giordano, A. Martelli, and N. Olivetti. Conditional logic programming. In Proc. 11th Int. Conf. on Logic Programming, ICLP94, Santa Marherita Ligure, Italy, June 13-18, 1994, 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, Vancouver, British Columbia, Canada, October 26-29, 1993, 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, Norway, June 15-18, 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 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 (JICSLP) 1992, pages 431–445, MIT Press, Washington DC, November 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, CA, USA, 28 October - 1 November 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. An abductive characterization of the TMS. In Proc. ECAI-90, European Conference on Artificial Intelligence, pages 308–313, Stockholm, 6-10 August 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, Japan, November 28-December 2, 1988.




    The electronic version of some of the papers is available from  LP&AR Group Pubblications


[ Laura Giordano's HOME] [ Department's HOME]

>