Pubblicazioni (Publications)

Stefania Costantini - Professore Ordinario (Full Professor)

DISIM - Dip. di Ingegneria e Scienze dell’Informazione e Matematica (Dept. of Computer Science and Engineering and Mathematics), Univ. degli Studi dell'Aquila (University of L’Aquila) via Vetoio snc Loc. Coppito, I-67010 L'Aquila (Italy)       

The list below is not always up-to-date. For an almost complete list of publications please refer to the DBLP data base, URL http://dblp.uni-trier.de/pers/hd/c/Costantini:Stefania

Some Relevant Publications up to January 2017

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

A1 - 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.  S. Costantini and A. Formisano.

Answer set programming with resources.

Journal of Logic and Computation, 20(2):533-571, 2010. doi:10.1093/logcom/exp071.

14.  S. Costantini and A. Formisano.

Extending and implementing RASP.

Fundamenta Informaticae, vol. 105(1-2), 2010.

 

A2 - Edited International 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.

A3 - National Journals and Newsletters in English, Miscellaneous

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, ISSN1724-8035.

2.     S. Costantini.

Agents and Web Services,

ALP NewsLetter Vol. 21 n. 2-3, August 2008

3.     Stefania Costantini and Alessandro Provetti.

A Lower Bound for Answer Set Solver Computation.

Intelligencia Artificial (Revista Iberoamericana), Vol 14, No 48 (2010).

4.     S. Costantini, A. Paolucci, A. Tocchio, and P. Tsintza.

DALI, RASP, Mnemosine: Computational Logic at Work.

Intelligenza Artificiale (int. Journal) 5(1): 107-111, Special Issue in Honor of Alberto Martelli,

IOS press, The Netherlands, 2011.

5.     Stefania Costantini.

Michael Gelfond: Essay in Honour of His 65th Birthday.

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning.

Lecture Notes in Computer Science 6565, Springer 2011: 344-346.

 

A3 - National Journals and Newsletters in Italian

1.     Stefania Costantini, Davide Lanti, Alessio Paolucci.

Agenti ed Ontologie: verso la Web Intelligence.

AIDA informazioni, Rivista di Scienze dell'informazione Trimestrale - ISSN 1121-0095

n. 1-2 anno 28 gennaio-giugno 2010 (numero speciale sulle Ontologie a cura di Maria Teresa Biagetti),

URL http://www.aidainformazioni.it/2010/122010.html.

 

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.

  1. S. Costantini, A. Tocchio, and P. Tsintza.

Contracts Violation: Justification via Argumentation.

In: Michael Fisher, Fariba Sadri and Michael Thielscher (eds.), Computational Logic in Multi-Agent Systems:

9th International Workshop (CLIMA-IX), Revised Selected and Invited Papers, LNAI 5405, Springer-Verlag, Germany, 2009.

 

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, ISSN0109-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.

  1. S. Costantini, P. Dell’Acqua, L. M. Pereira, P. Tsintza.

Specification and Dynamic Verification of Agent Properties.

Proc. of the Int. Workshop on Computational Logic in Multi-Agent Systems

(CLIMA-IX), Dresden, Germany, September 2008.

  1. S. Costantini, A. Tocchio, P. Tsintza.

Contracts Violation: Justification via Argumentation.

Proc. of the Int. Workshop on Computational Logic in Multi-Agent Systems

(CLIMA-IX), Dresden, Germany, September 2008.

  1. 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 ASPOCP08, Udine, December 2008.

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

  1. S. Costantini, A. Provetti.

A Lower-Bound for Answer Set Solver Computation.

In: Mauricio Osorio, Claudia Zepeda, Ivan Olmos, Carolina Medina, José Arrazola (eds.)

Proc. of the 5th Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09), Apizaco, Tlaxcala, Mexico, November 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

49.  Stefania Costantini and Alessio Paolucci

Towards Translating Natural Language Sentences into ASP.

Proc. of the Intl. Worksh. on Answer Set Programming and Other Computing Paradigms (ASPOCP), Edimburgh, 2010.

50.  S. Costantini, P. Dell'Acqua, L. M. Pereira and A. Tocchio.

Ensuring Agent Properties under Arbitrary  Sequences of Incoming Events.

Proc. of 17th RCRA Intl. Worksh. on Experimental evaluation of algorithms

for solving problems with combinatorial explosion, Bologna, 2010

(CEUR Workshop Proceedings Vol 616, ISSN 1613-0073).

51.  Stefania Costantini and Alessandro Provetti.

Graph representations of logic programs: properties and comparison.

Proc. of the sixth Latin American Worksh. on New Methods of Reasoning,

LANMR 2010, Puebla, Mexico, 2010.

52.  S. Costantini and A. Tocchio.

A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages.

Proc. of CLIMA-XI, 11th International Workshop on Computational Logic in Multi-Agent Systems, Lisbon, 2010.

53.  S. Costantini, P. Dell'Acqua, L. M. Pereira and F. Toni.

Meta-axioms and Complex Preferences in Evolving Logical Agents.

Proc. of EPIA 2011, 15th Portuguese Conference on Artificial Intelligence, and Proc. of the LPMAS (Logic Programming for

Multi-Agent Systems) Workshop at ICLP 2011.

54.  Stefania Costantini, Andrea Formisano

Nested Weight Constraints in ASP.

Proc. of CILC 2011, Italian Conference on Computational Logic.

http://ceur-ws.org/Vol-810: 371-383

(also Poster Presentation at Commonsense 2011).

55.  Stefania Costantini, Niva Florio and Alessio Paolucci.

A framework for structured knowledge extraction and representation from natural language through deep sentence analysis.

Proc. of KDIR2011 – Int. Conf. on Knowledge Discovery and Information Retrieval, 2011

(also in Proc. of CILC 2011, Italian Conference on Computational Logic.

http://ceur-ws.org/Vol-810: 297-310).

56.  S. Costantini, P. Dell'Acqua, L. M. Pereira and F. Toni.

Meta-axioms and Complex Preferences in Evolving Logical Agents.

Proc. of EPIA 2011, 15th Portuguese Conference on Artificial Intelligence, and Proc. of the LPMAS (Logic Programming for

Multi-Agent Systems) Workshop at ICLP 2011.

57.  S. Costantini.

Defining and Maintaining Agent's Experience in Logical Agents.

Proc. of the Seventh Latin American Workshop on Non-Monotonic Reasoning, LANMR 2011.

http://ceur-ws.org/Vol-804/ :151-165

(also in the informal Proc. of the LPMAS, Logic Programming for Multi-Agent Systems Workshop at ICLP 2011).

58.  Stefania Costantini, Pierangelo Dell'Acqua, Luís Moniz Pereira.

Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents.

Proc. of RuleML Europe, Lecture Notes in Computer Science 6826, Springer 2011: 250-265.

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. S. Costantini, A. Paolucci.

Semantically Augmented DCG Analysis for Next-generation Search Engines. 

Online Proc. of CILC2008, Italian Conference on Computational Logic,

URL http://www.dipmat.unipg.it/CILC08/programma.html, Perugia, 10-12 Luglio 2008.

  1. S. Costantini, M. S. Del Greco, A. Tocchio.

Social Bugs Communities and Intelligent Agents: an Experimental Architecture.

Online Proc. of CILC2008, Italian Conference on Computational Logic, URL http://www.dipmat.unipg.it/CILC08/programma.html, Perugia, 10-12 Luglio 2008.

  1. S. Costantini, A. Formisano.

Modeling Preferences on Resource Consumption and Production in ASP.

Online Proc. of CILC2008, Italian Conference on Computational Logic,

http://www.dipmat.unipg.it/CILC08/programma.html, Perugia, July 2008.

17.  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, June 2009.

  1. Stefania Costantini and Alessio Paolucci

Towards Translating Natural Language Sentences into ASP.

In: CILC 2010 - 25esimo Convegno Italiano di Logica Computazionale: Online Proceedings, http://www.mat.unical.it/CILC2010/program.html. Cosenza, Italy, July 2010.

19.  S. Costantini, P. Dell'Acqua, L. M. Pereira and F. Toni.

Learning and Evolving Agents in User Monitoring and Training.

Proc. of the AICA 2010 Italian Conference, L'Aquila, 2010. 

20.  Stefania Costantini, Andrea Formisano.

Nested Weight Constraints in ASP.

Online Proc. of CILC 2011, Italian Conference on Computational Logic.

http://ceur-ws.org/Vol-810: 371-383.

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.