Pubblicazioni (Publications)

Stefania Costantini - Professore di I Fascia (Professor)

Dip. di Informatica (Dept. of Computer Science), Univ. degli Studi di L'Aquila via Vetoio Loc. Coppito, I-67010 L'Aquila (Italy)       

Some recent publications are not on-line yet for copyright reasons: please refer to the corresponding journal or books                   

A - International Journals

  1. S. Costantini.
    Semantics of a Metalogic Programming Language.
    International Journal of Foundations of Computer Science 1(3), World Scientific Publishing, Singapore, 1990.
  2. S. Costantini, G. A. Lanzarone.
    A Metalogic Programming Approach: Language, Semantics and Applications.
    International Journal of Experimental and Theoretical Artificial Intelligence 6, Taylor & Francis Ltd, USA,1994.
  3. S. Costantini, G. A. Lanzarone.
    Metalevel Negation in Non-Monotonic Reasoning.
    Methods of Logic in Computer Science 1(1), Ablex Publishing Corp., USA, 1994.
  4. S. Costantini, G.A. Lanzarone, L. Sbarbaro.
    A Formal Definition and a Sound Implementation of Analogical Reasoning in Logic Programming.
    Annals of Mathematics and Artificial Intelligence 14, Baltzer Science Publisher, The Netherlands, 1995.
  5. S. Costantini.
    Contributions to the Stable Model Semantics of Logic Programs with Negation.
    Theoretical Computer Science 149, Elsevier Science B. V., The Netherlands, 1995.
  6. S. Costantini, G.A. Lanzarone.
    Explanation-Based Interpretation of Open--Textured Concepts in Logical Models of Legislation.
    Artificial Intelligence and Law 3, Kluwer Academic Publishers, The Netherlands, 1996.
  7. J. Barklund, S. Costantini, P. Dell'Acqua e G.A. Lanzarone.
    Reflection Principles in Computational Logic.
    Journal of Logic and Computation, Vol. 10, N. 6. Oxford University Press, UK, December 2000.
  8. S. Costantini, O. D'Antona, A. Provetti.
    On the Equivalence and Range of Applicability of Graph-based Representations of Logic Programs.
    Information Processing Letters, Vol. 84, N. 2, December 2002.
  9. S. Costantini, A. Provetti.
    Normal Forms for Answer Sets Programming.
    J. on "Theory and Practice of Logic Programming", Oxford University Press, Vol. 5(6), 2005.
  10. S. Costantini.
    On the existence of stable models of non-stratified logic programs.
    J. on "Theory and Practice of Logic Programming", Oxford University Press, Vol.. 6(1&2),  2006.
  11. S.Costantini, L. Mostarda, A.Tocchio, P.Tsintza.
    DALICA Agents applied to a Cultural Heritage scenario.
    IEEE Intelligent Systems, Special Issue on Ambient Intelligence, vol. 3(2), March/April 2008.

12.  S.Costantini and A.Formisano.

Modeling preferences and conditional preferences on resource consumption and production in ASP.

J. of Algorithms in Cognition, Informatics and Logic, 64(1):3-15, 2009.

13.  Stefania Costantini and Andrea Formisano.

Answer Set Programming with Resources

Journal of Logic and Computation 2009, doi: 10.1093/logcom/exp071, in print.

A1 - Italian Journals

1.      S. Costantini, A. Tocchio and A. Verticchio.
Communication and Trust in the DALI Logic Programming Agent-Oriented Language.
Intelligenza Artificiale, J. of the Italian Association, Year 2 N. 1, March 2005, ISSN 1724-8035.

2.      S. Costantini, A. Tocchio and P. Tsintza. DALI, RASP, Mnemosine: la Logica Computazionale in azione. Intelligenza Artificiale, J. of the Italian Association, Special issue in honor of Alberto Martelli, June 2008.

A3 - Edited Journals Issues

1.      Stefania Costantini and Richard Watson (eds.), Journal of Logic and Computation, Special Issue on Answer Set programming, Volume 19, Number 4, August 2009, Oxford University Press, www.logcom.oxfordjournals.org.

B - Invited Contributions to Monographs (peer reviewed at least twice)

  1. S. Costantini.
    Meta-reasoning: a survey.
    In: "Computational Logic: Logic Programming and Beyond".
    Essays in Honour of Robert A. Kowalski, A. C. Kakas e F. Sadri (eds.), Lecture Notes in Artificial Intelligence 2407-2408,
    Springer-Verlag, Germany, 2002.
  2. Pasquale Caianiello, Stefania Costantini, Eugenio G. Omodeo.
         An environment for specifying properties of dyadic relations, and reasoning about them. I:  Language extension mechanisms.
    In: H. De Swart et al. (eds.), Theory and Applications of Relational Structures as Knowledge Instruments.
    Lecture Notes in Computer Science 2929, Springer-Verlag, Germany, 2003.

B.2 - Invited Book Chapters (peer reviewed)

  1. J. Barklund, S. Costantini, P. Dell'Acqua, G.A. Lanzarone.
    Metareasoning Agents for Flexible Query--Answering Systems.
    In: Andreasen, T., Christiansen, H., Legind Larsen, H. (eds.) "Flexible Query Answering Systems",
    Edited collection of invited papers, following the 1st and 2nd International Workshops on
    Flexible Query-Answering Systems FQAS'94 and FQAS'96. Kluwer Academic Publishers, 1997.

B.3 - Book Chapters (Extended Versions of Selected Conference Papers, with a second round of peer review)

  1. S. Costantini, P. Dell'Acqua, G.A. Lanzarone.
    Reflective Agents in Metalogic Programming.
    In: A. Pettorossi (ed.) "Meta--Programming in Logic",
    Lecture Notes in Computer Science N. 649, Springer-Verlag, Germany, 1992.
    (selected among the papers presented at the "2nd International Workshop on Metaprogramming in Logic META92", Uppsala, Sweden, June 1992).
  2. S. Costantini, P. Dell'Acqua, G.A. Lanzarone.
    Extending Horn Clause Theories by Reflection Principles.
    In: C. MacNish, D. Pearce and L. M. Pereira (eds.), "Logics in Artificial Intelligence",
    Lecture Notes in Artificial Intelligence N. 838, Springer-Verlag, Germany, 1994 (selected among the papers presented at "JELIA'94, Logics in Artificial Intelligence, European Workshop", York, UK, September 1994).
  3. S. Costantini, G.A. Lanzarone.
    Static Semantics as Program Transformation and Well-Founded Computation.
    In: J. Dix, L. M. Pereira and T. Przymusinski (eds.), "Non-Monotonic Extensions of Logic Programming",
    Lecture Notes in Artificial Intelligence 927, Springer-Verlag, Germany, 1995 (selected among the papers presented at the "Workshop on Non-Monotonic Extensions of Logic Programming", Santa Margherita Ligure, Italy, June 1994).
  4. M. Castaldi, S. Costantini, S. Gentile, A. Tocchio.
    A Logic-Based Infrastructure for Reconfiguring Applications.
    In: J. A. Leite, A. Omicini. L. Sterling, P. Torroni (eds.), "Declarative Agent Languages and Technologies",
    (revised selected papers presented at DALT 2003),
    Lecture Notes in Artificial Intelligence LNAI 2990 (Hot Topics Sub-series), Springer-Verlag, Germany, 2004.
  5. S. Costantini, A. Tocchio.
    Planning Experiments in the DALI Logic Programming Language.
    In: J. Leite and J. Dix (eds.), Post-Proc. of CLIMA IV, Fourth International Workshop on Computational Logic in Multi-Agent Systems.
    Lecture Notes in Artificial Intelligence LNAI 2699 , Springer-Verlag, Germany, 2004.
  6. S. Costantini, A. Tocchio,
    About declarative semantics of logic-based agent languages.
    In: "Declarative Agent Languages and Technologies",
    (revised selected papers presented at DALT 2005),
    Lecture Notes in Artificial Intelligence LNAI 2424, Springer-Verlag, Germany, 2006.
  7. S. Costantini, A. Tocchio, and P. Tsintza. A Heuristic Approach for P2P Negotiation. Post-Proc. of the Eight Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII), Lecture Notes in Computer Science 5056, ISBN 978-3-540-88832-1, Springer-Verlag, Germany, 2008

C - International Conferences

  1. S. Costantini, G.A.Lanzarone.
    Towards Metalogic Programming.
    In: A. Martelli and G. Valle (eds.) Computational Intelligence I, Proceedings of Computational Intelligence '88, (Milano, Italy, September 1988), North--Holland, The Netherlands,1989.
  2. S. Costantini, G.A.Lanzarone.
    Problem Solving in Metalogic Programming.
    In: Proceedings of the IEEE Eighth Annual International Phoenix Conference on Computers and Communications, (Phoenix, Arizona, March 1989), IEEE Computer Society Press, USA, 1989.
  3. S. Costantini, G.A. Lanzarone.
    A Metalogic Programming Language.
    In: G.Levi e M. Martelli (eds.), "Logic Programming", Proceedings of the Sixth International Conference, (Lisbon, Portugal, June 1989), the MIT Press, USA, 1989.
  4. S. Costantini.
    Semantics of a Metalogic Programming Language.
    In: Proceedings of the 2nd International Workshop on Metaprogramming in Logic (META--90), (Leuven, Belgium, April 1990), K. U. Leuven Print, Belgium, 1990 (preliminary version of paper A1).
  5. S. Costantini, G.A. Lanzarone.
    Metalevel Negation in Non-Monotonic Reasoning.
    In: A. Nerode, W. Marek, D. Pedreschi, V. S. Subrahmanian (eds.), Proceedings of the Workshop on Logic Programming and Non-Monotonic Reasoning, coordinato a ILPS'90, International Logic Programming Symposium, (Austin, Texas, November 1990), Cornell University Print, USA, 1990.
    (preliminary version of paper A3)
  6. S. Costantini, G.A. Lanzarone.
    Analogical Reasoning in Reflective Prolog.
    In: A. Martino (ed.) Expert Systems in Law, Proceedings of the International Conference Logica, Informatica, Diritto, (Florence, November 1989), Elsevier Science Publisher B.V., The Netherlands, 1992.
  7. S. Costantini, G.A.Lanzarone.
    On Procedural Semantics of Metalevel Negation.
    In: A. Voronkov (ed.), "Logic Programming", Proceedings of the 2nd Russian Conference, (San Petersburg, Russia, September 1994), Lecture Notes in Artificial Intelligence N. 592, Springer-Verlag, Germany, 1992.
  8. S. Costantini, G.A. Lanzarone, A. Provetti.
    Reification, Reflection and Ontological Promiscuity in Temporal Reasoning.
    In: N. Guarino, R. Poli (eds.), Proceedings of the International Workshop on "Formal Ontology in Conceptual Analysis and Knowledge Representation", (Padova, March 1993), printed by Università degli Studi di Padova, 1993.
  9. S. Costantini.
    Contributions to the Stable Model semantics of Logic Programs with Negation.
    In: A. Nerode and V.S. Subrahmanian (eds.), "Logic Programming and Non-Monotonic Reasoning", Proceedings of the 2nd International Workshop LPNMR93, (Lisbon, Portugal, June 1993), The MIT Press, USA, 1993 (preliminary version of paper A5).
  10. S. Costantini, G. A. Lanzarone.
    Static Semantics as Program Transformation and Well-Founded Computation.
    In: J. Dix, L. M. Pereira and T. Przymusinski (eds.), Proceedings of the Workshop on "Non-Monotonic Extensions of Logic Programming" at ICLP'94, Eleventh International Conference on Logic Programming, (Santa Margherita Ligure, Italy, June 1994), Universitat Koblenz--Landau Print (preliminary version of paper B.3.3).
  11. J. Barklund, S. Costantini, P. Dell'Acqua, G. A. Lanzarone.
    Integrating Reflection into SLD-Resolution.
    In: A. Momigliano and M. Ornaghi (eds). Proceedings of the Workshop on "Proof-Theoretical Extensions of Logic Programming", at ICLP'94, Eleventh International Conference on Logic Programming, (Santa Margherita Ligure, June 1994), printed by Università degli Studi di Milano, 1994.
  12. S. Bertarello, S. Costantini, G.A. Lanzarone.
    Explanation--Based Learning of Open--textured Predicates In Logic Programming Models of Law.
    In: C. Biagioli, G. Sartor, D. Tiscornia (eds). Proceedings of the Workshop on "Legal application of Logic Programming", coordinato a ICLP'94, Eleventh International Conference on Logic Programming, (Santa Margherita Ligure, June 1994), printed by Istituto per la Documentazione Giuridica del CNR, 1994 (preliminary version of paper A6).
  13. S. Bertarello, S. Costantini, G.A. Lanzarone.
    Extending Explanation--Based Generalization with Metalogic Programming.
    In: M. Alpuente, R. Barbuti, I. Ramos (eds), Proc. of GULP-PRODE 1994, Joint Conference on Declarative Programming, (Peniscola, Spain, September 1994), Reproval S. L., Spagna, 1994.
  14. J. Barklund, S. Costantini, P. Dell'Acqua, and G.A. Lanzarone.
    SLD-Resolution with Reflection.
    In: M. Bruynooghe (ed.), Logic Programming -- Proceedings of the 1994 International Symposium, (Ithaca, New York, USA, November 1994), The MIT Press, USA, 1994.
  15. J. Barklund, S. Costantini, P. Dell'Acqua, G.A. Lanzarone.
    Semantical Properties of Encodings in Logic Programming.
    In: J. Lloyd (ed.), "Logic Programming", Proceedings of the 1995 International Symposium, (Portland, Oregon, USA, December 1995), The MIT Press, USA, 1995.
  16. S. Costantini, G. A. Lanzarone.
    Statutory Interpretation and Legal Analysis using Explanation Based Generalization and Constructive Induction.
    In: Proceedings of the Conference "Fifth Iberoamerican Congress on Informatics and Law" (La Habana, Cuba, March 1996), printed in Spain, 1996.
  17. J. Barklund, S. Costantini, P. Dell'Acqua, G.A. Lanzarone.
    Multiple Metareasoning Agents for Flexible Query--Answering Systems.
    In: H. Christiansen, H. L. Larsen, T. Andreasen (eds.), Proceedings of the second International Workshop on Flexible Query--Answering Systems, (Roskilde, Denmark, 22-24 May 1996), Datalogiske Skrifter, ISSN 0109-9779 No. 62, Roskilde University, Danimarca,1996 (preliminary version of paper B.2.1).
  18. S. Costantini, G. A. Lanzarone, G. Magliocco.
    Asserting Lemmas in the Stable Model Semantics.
    In: M. Maher (ed.), Logic Programming -- Proceedings of the 1996 Joint International Conference and Symposium, (Bonn, Germany, September 1996), The MIT Press, USA, 1996.
  19. S. Costantini.
    Towards Active Logic Programming.
    In: A. Brogi and P. Hill (eds.), Electronic Proceedings of COCL'99, Second International Workshop on Component--Based Software Development in Computational Logic (included in PLI'99, Principles, Logics and Implementation of High--level Programming Languages)
    (Paris, September 1999).
    Available on-line at the URL: http://www.di.unipi.it/~brogi/ResearchActivity/COCL99/proceedings/index.html.
  20. S. Costantini, T. Morbidoni.
    Computational Complexity of a Knowledge Compilation Approach to the Static Semantics for Disjunctive Logic Programs.
    In: M. C. Meo (ed.), Proceedings of APPIA-GULP-PRODE 1999, Joint Conference on Declarative Programming, L'Aquila, September 1999.
  21. G. Brignoli,S. Costantini, O. D'Antona, A. Provetti.
    Characterizing and Computing Stable Models of Logic Programs: the non--Stratified Case.
    In: C. Baral and H. Mohanty (eds.), Proceedings of the 1999 Conference on Information Technology,
    (Bhubaneswar, India, Dicembre 1999), AAAI Press, 2000.
  22. S. Costantini.
    About Stable Models of Non-Stratified Logic Programs.
    short presentation at LICS 2000, 15 th IEEE Symposium on Logic in Computer Science
    (Symposium at the URL:     http://cm.bell-labs.com/cm/cs/who/libkin/lics/program00.html).
  23. S. Costantini.
    Comparing different graph representations of logic programs under the Answer Set semantics.
    Proceedings of the AAAI Spring Symposium "Answer Set Programming:
    Towards Efficient and Scalable Knowledge Representation and Reasoning", Stanford, CA, 26-28 March 2001.
  24. S. Costantini, R. P. Otero, A. Provetti, T. C. Son.
    Disjunctive Logic Programs with Inheritance Revisited (A Preliminary Report).
    In: M.-S. Hacid, Z. W. Ras, D. A. Zighed, Y. Kodtatoff (eds.), Foundations of Intelligent Systems,
    Proceedings of 13th International Symposium ISMIS02, (Lyon, France, June 2002),
    Lecture Notes in Artificial Intelligence 2366, Springer-Verlag, 2002.
  25. P. Caianiello, S. Costantini, E. G. Omodeo.
    An environment for stepwise map specification and reasoning In Prolog. I: Three language extension mechanisms.
    Proceedings of APPIA-GULP-PRODE 2002, Joint Conference on Declarative Programming, Madrid, September 2002.
  26. S. Costantini, A. Tocchio.
    A Logic Programming Language for Multi-agent Systems.
    In: S. Flesca, S. Greco, N. Leone e G. B. Ianni (eds.), Logics in Artificial Intelligence,
    Proceedings of the 8th European Conference, Jelia 2002, Cosenza, September 2002.
    Lecture Notes in Artificial Intelligence 2424, Springer-Verlag, Germany, 2002.
  27. S. Costantini, A. Tocchio.
    Context-based Commmonsense Reasoning in the DALI Logic Programmming Language.
    In: P. Blackburn, C. Ghidini, R. M. Turner, and F. Giunchiglia (eds.),
    Proceedings of the 4th International and Interdisciplinary Conference, Context 2003 (Stanford, CA, June 2003).
    Lecture Notes in Artificial Intelligence 2680, Springer-Verlag, Berlin, 2003.
  28. M. Castaldi, S. Costantini, S. Gentile, A. Tocchio.
    A Logic-Based Infrastructure for Reconfiguring Applications.
    In: J. A. Leite, A. Omicini. L. Sterling, P. Torroni (eds.), Declarative Agent Languages and Technologies,
    Proceedings of the 1st International Workshop, DALT 2003 (Melbourne, Victoria, July 2003), (preliminary version of paper B.3.4).
    Available also on-line, at the URL: http://centria.di.fct.unl.pt/~jleite/dalt03/papers/dalt2003proceedings.pdf.
  29. S. Costantini, B. Intrigila, A. Provetti.
    Coherence of Updates in Answer Set Programming.
    In: G. Brewka and P. Peppas (eds.), Proceedings of the IJCAI-2003 Workshop on Nonmonotonic Reasoning, Action and Change,
    NRAC'03 (Acapulco, Mexico, August 2003).
  30. A. Avellone, S. Costantini, G. Fiorino, U. Moscato and A. Provetti.
    Checking Strong Equivalence with Duplication-Free Tableaux.
    In: N. Leone, L. Palopoli, P. Rullo, (eds.)
    Proceedings of APPIA-GULP-PRODE 2003, Joint Conference on Declarative Programming.
    Reggio Calabria, Italy, September 2003.
  31. S. Costantini, A. Formisano and E. G. Omodeo.
    Mappings Between Domain Models in Answer Set Programming.
    In: M. De Vos and A. Provetti (eds.), Answer Set Programming: Advances in Theory and Implementation, ASP03,
    Messina, Sicily, September 2003. Volume 78 of The CEUR Workshop Proceedings Series.
    Available also on-line, at the URL: http://eur-ws.org/Vol-78/.
    Appeared also in: Proceedings of APPIA-GULP-PRODE 2003, Joint Conference on Declarative Programming.
    Reggio Calabria, Italy, September 2003.
  32. S. Costantini and A. Tocchio.
    Planning Experiments in the DALI Logic Programming Language.
    In: J. Leite and J. Dix (eds.), Proc. of CLIMA IV, Fourth International Workshop on Computational Logic in Multi-Agent Systems,
     Fort Lauderdale, Florida, USA, Juanuary 2004 (preliminary version of paper B.3.5).
  33. S. Costantini.
    Component-based Answer Set Programming.
    In: Proc. TPLP&NMR 2004, Theory and Practice of Logic Programming and Non-Monotonic Reasoning, Mexico City, April 26-30, 2004
  34. S. Costantini and A. Tocchio.
    The DALI Logic Programming Agent-Oriented Language.    
    In: J. J. Alferese and J. Leite(eds.),  Logics in Artificial Intelligence,
    Proceedings of the 9th European Conference, Jelia 2004, Lisbon, September 2004.
    Lecture Notes in Artificial Intelligence LNAI 3229, Springer-Verlag, Germany, 2004.
  35. S. Costantini, P. Dell'Acqua, A. Tocchio.
    Expressing Preferences Declaratively in Logic-based Agent Languages.
    Proc. of Commonsense'07, the 8th International Symposium on Logical Formalizations of Commonsense Reasoning
    (a special event in honor of John McCarthy ), AAAI Spring Symposium Series, Stanford University, March 2007.
  36. S. Costantini, P. Dell'Acqua, L. M. Pereira, F. Toni.
    Towards a model for evolving agents for ambient intelligence.
    Proc. of the Symposium on "Artificial Societies for Ambient Intelligence" (ASAmI'07), 2007.
  37. S.Costantini, L. Mostarda, A.Tocchio, P.Tsintza.
    .User Profile Agents applied to a Cultural Heritage scenario.
    Proc. of the Nineteenth International Conference on Software Engineering and Knowledge Engineering, SEKE 2007.
  38. S.Costantini, P.Inverardi, L.Mostarda and A.Tocchio.
    A Geo Time authentication system.
    Proc. of IFIPTM 2007 Joint iTrust and PST Conferences on Privacy, Trust Management and Security,
    LNCS, Springer-Verlag (under the auspices of the IFIP WG 11.11 on Trust Management), 2007.
  39. S. Costantini, A. Tocchio, and P. Tsintza.
    A Heuristic Approach for P2P Negotiation.
    Proc. of the Eight Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII), 2007
    (Preliminary version in: On-line Proc. of CILC2007, Italian Conference on Computational Logic, URL http://aleph.unime.it/cilc2007/).
  40. S. Costantini and A. Formisano.
    Answer Set Programming with Resources.
    Proc. of the Intl. Workshop on Answer Set Programming: Advances in Theory and Implementation, ASP07.
  41. A. Tocchio, and P. Tsintza.
    Experimental Evaluation of a Heuristic Approach for P2P Negotiation.
    Proc. of the 14th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2007.
  42. S. Costantini, P. Dell'Acqua, L.M. Pereira.
    A Multi-layer Framework for Evolving and Learning Agents.
    Proc. of the AAAI-08 Workshop on Metareasoning: Thinking about Thinking, Stanford University, July 2008.
  43. S. Costantini and A. Tocchio. DALI: An Architecture for Intelligent Logical Agents. Proc. of the Int. Workshop on Architectures for Intelligent Theory-Based Agents (AITA08), AAAI 2008 Spring Symposium Series, Stanford, USA, March 2008.
  44. S. Costantini, P. Dell’Acqua, L. M. Pereira, P. Tsintza. Specification and Dynamic Verification of Agent Properties. Int. Workshop on Computational Logic in Multi-Agent Systems (CLIMA-IX), Dresden, Germany, September 2008.
  45. S. Costantini, A. Tocchio, P. Tsintza. Contracts Violation: Justification via Argumentation. Int. Workshop on Computational Logic in Multi-Agent Systems (CLIMA-IX), Dresden, Germany, September 2008.
  46. S. Costantini, A. Formisano. Modeling preferences on resource consumption and production in ASP. Proc.  of the Int.  ICLP08 Workshop on Answer Set Programming and Other Programming Paradigms at ICLP’08, Udine, December 2008.
  47. Stefania Costantini:  Integrating Answer Set Modules into Agent Programs. In: Esra Erdem, Fangzhen Lin, Torsten Schaub (Eds.): Proceedings of the Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009 (Invited Paper), Lecture Notes in Computer Science 5753, Springer-Verlag 2009.
  48. S. Costantini, A. Provetti. A Lower-Bound for Answer Set Solver Computation. In: Mauricio Osorio, Claudia Zepeda, Ivan Olmos, Carolina Medina, José Arrazola (eds.) Proceedings of the 5th Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09), Apizaco, Tlaxcala, Mexico, November 5-6, 2009, CEUR Vol-533, pages 183-198. ONLINE: http://CEUR-WS.org/Vol-533/, ARCHIVE: ftp://SunSITE.Informatik.RWTH-Aachen.DE/pub/publications/CEUR-WS/Vol-533.zip

D - Italian Conferences

D.1 - in English

  1. S. Costantini.
    Semantics of a Metalogic Programming Language.
    In: Proceedings of the III Italian Conference on Theorethical Computer Science,(Mantova, Novembre 1989), World Scientific Publishing, Singapore, 1989 (preliminar version of papers C4 and A1).
  2. S. Costantini, G.A. Lanzarone, A. Laudani, A. Zanzi.
    On the Optimization of Metalogic Programs.
    In: P. Asirelli (ed.) Atti del 6° Convegno Nazionale del Gruppo Ricercatori e Utenti di Logic Programming (GULP '91), (Pisa, June 1991).
  3. S. Costantini, G. A. Lanzarone.                                                                                                                                                        
    Metalevel Representation of Analogical Inference    .
    In: E. Ardizzone, S. Gaglio e F. Sorbello (eds.), Atti del 3° Convegno Nazionale di Intelligenza Artificiale (AI*IA'91), (Palermo, October 1991), Lecture Notes in Artificial Intelligence 549, Springer-Verlag, Berlin, Germany, 1991.
  4. S. Costantini, A. Tocchio.
    Strips-like Planning in the DALI Logic Programming Language.
    In: G. Armano, F. De Paoli, A. Omicini, E. Vargiu (eds.). Dagli Oggetti agli Agenti: Sistemi Intelligenti e Computazione Pervasiva,
    Proceedings of WOA03, Pitagora Editrice Bologna, ISBN 88-371-1413-3, Also available on-line, at the URL:     http://www.diee.unica.it/woa03.
  5. S. Costantini, A. Tocchio and A. Verticchio.
    Communication and Trust in the DALI Logic Programming Agent-Oriented Language.
    in: M. Cadoli, M. Milano and A. Omicini (eds), Proc. of the Workshop on "Agenti e Vincoli:  Modelli e Tecnologie per Dominare la Complessità",
    presso Conferenza Italiana sui Sistemi Intelligenti AI*IA'04, Perugia, Settembre 2004.
  6. S. Costantini, A. Tocchio and A. Verticchio.
    A Game-theoretic operational semantics for the DALI Communication Architecture.
    In: M. Baldoni, F. De Paoli, A. Martelli and A. Omicini,
     (eds.). Dagli Oggetti agli Agenti: Sistemi Intelligenti e Computazione Pervasiva,
    Proceedings of WOA04, Pitagora Editrice Bologna, ISBN: 88-371-1533-4 ,
    Also available on-line, at the URL:     http://woa04.unito.it/Pages/atti.html.
  7. S. Costantini.
    Towards static analysis of Answer Set Programs    .
    Marco Cadoli, Marco Gavanelli, and Toni Mancini, editors. Atti della Giornata di Lavoro: Analisi sperimentale e benchmark
    di algoritmi per l'Intelligenza Artificiale    , number CS-2005-03 in Computer Science Group Technical Reports,
    Dipartimento di Ingegneria, Universita` di Ferrara, Italy, June 10 2005.
  8. S. Costantini and A. Tocchio,
    Enhancing Computational power: DALI child agents generation.
    In: Electronic proceedings of CILC'05, Convegno Italiano di Logica Computazionale, Roma,
    June 21-22, 2005, URL     http://www.disp.uniroma2.it/CILC2005/Programma.html.
  9. S. Costantini and A. Tocchio.
    Learning by Knowledge Exchange in Logical Agents.
    In: Dagli Oggetti agli Agenti: Sistemi Intelligenti e Computazione Pervasiva, Proceedings of WOA05,  ISBN 88-371-1590-3, 2005.
  10. S. Costantini, A. Tocchio.
    Memory-driven dynamic behavior checking in Logical Agents,
    Proc. of CILC'06, Italian Conference of Computational Logic, Bari, June 26-27, 2006,
    URL: http://cilc2006.di.uniba.it/programma.html.
  11. S. Costantini, P. Dell'Acqua and A. Tocchio.
    Expressing preferences declaratively in logic-based agent languages.
    In: Dagli Oggetti agli Agenti: Sistemi Intelligenti e Computazione Pervasiva, Proceedings of WOA06,
    CEUR Workshop Proceedings ISSN 1613-0073.
  12. S. Costantini and A. Formisano,
    Answer Set Programming with Resources.
    On-line Proc. of CILC2007, Italian Conference on Computational Logic, URL http://aleph.unime.it/cilc2007/)
  13. S. Costantini, A. Tocchio, F. Toni and P. Tsintza,
    A Multi-layered general agent model,
    Proc. of AI*IA2007, Italian Conference on Artificial Intelligence, LNCS 4733, Springer-Verlag, 2007.
  14. Stefania Costantini and Alessio Paolucci. Translating Natural Language Sentences into ASP theories using SE-DCG grammars and Lambda Calculus. In: Marco Gavanelli and Fabrizio Riguzzi (eds.) CILC 09 - 24esimo Convegno Italiano di Logica Computazionale: Online Proceedings, http://www.ing.unife.it/eventi/cilc09/ . Ferrara, Italy, 24-26 June 2009.
     

D.2 - in Italian

  1. S. Costantini, G. A. Lanzarone.
    Un'Architettura Riflessiva per i Linguaggi Logici.
    In: D. Nardi (ed.) Atti del 3° Convegno Nazionale del Gruppo Ricercatori e Utenti di Logic Programming (GULP'88).     (Roma, May 1988).
  2. S. Costantini, G. A. Lanzarone.
    Sulle Proprietà delle Relazioni in Prolog e Oltre.
    In: Atti del Congresso AICA'88, (Cagliari, September 1988).
  3. G. Casaschi, S.Costantini, G. A.Lanzarone.
    Realizzazione di un Interprete Riflessivo per Clausole di Horn.
    In: P. Mello (ed.), Atti del 4° Convegno Nazionale del Gruppo Ricercatori e Utenti di Logic Programming (GULP '89),(Bologna, June 1989).
  4. S. Costantini, P. Dell'Acqua, G. A. Lanzarone.
    Oltre Prolog.
    In: Atti del Congresso AICA'89, (Trento, October 1989).
  5. S. Costantini, P. Dell'Acqua e G.A.Lanzarone.
    Estensioni di Ordine Superiore a Prolog Sono Necessarie.
    In: A. Bossi (ed.) Atti del 5° Convegno Nazionale del Gruppo Ricercatori e Utenti di Logic Programming (GULP '90), (Padova, June 1990).
  6. S. Costantini, D. Concari, G.A. Lanzarone.
    Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective Prolog.
    In: M. Saccà (ed.) Atti del 8° Convegno Nazionale del Gruppo Ricercatori e Utenti di Logic Programming (GULP '93), (Gizzeria Lido - CZ, June 1993).
  7. S. Costantini, G. A. Lanzarone.
    Metodi di Apprendimento Automatico per l' Interpretazione di Norme Giuridiche Contenenti Termini Ambigui.
    Atti del Workshop su "Intelligenza Artificiale per la Pubblica Amministrazione", coordinato al 7° Convegno Nazionale di Intelligenza Artificiale (AI*IA'95),(Firenze, November 1995), F. Angeli Editore, 1996.