Stefania Costantini

Full Professor

Blocco Zero, Room 218
stefania.costantini@univaq.it
+39 (0862) 433135

AFFILIATION: DISIM, Dipartimento di Ingegneria e Scienze dell’Informazione e Matematica (Department of Computer Science and Engineering and Mathematics, http://www.disim.univaq.it), University of L’Aquila, Italy.

E-mail address: stefania.costantini@univaq.it

 

SHORT BIOGRAPHY

Born in 1959.

Married, two children, born in 1993 and 1996.

*1983: Laurea “Magna cum Laude” in Computer Science at the “Universita’ degli Studi di Pisa”, Italy.

*1983 - 1987: Researcher at the Software Engineering Lab, Italtel SIT (telecommunication company), Milano, Italy.

*1987 - 1990:Grants for research activities in Artificial Intelligence at the Computer Science Department, University of Milano, Italy, by IBM Italy and Hewlett-Packard Italy.

*July 1990 - February 2001: Assistant Professor in Computer Science first at the University of Milano, then (since 1999) at the University of L'Aquila.

*March 2001 - October 2005: Associate Professor in Computer Science at the University of L'Aquila.

* Since October 2005: Full Professor in Computer Science at the University of L'Aquila.

 

LEADER OF THE RESEARCH GROUP on Software Agents and Artificial Intelligence (AAAI@AQ) at the University of L'Aquila.

 

BIBLIOGRAPHIC DATA: H-INDEX Scopus 12, Google Scholar 17. Publications (in English): 18 International Journals; 7 International Book Chapters and one Essay; 2 Italian Journals; 51 International and 18 Italian Conferences. Last VQR result (Research Evaluation round by the Italian Ministry): Excellent

(submitted papers rated 1,1,1).

 

RESEARCH

 

Research interests: Artificial Intelligence, concerning in particular Computational Logic, Logic Programming, Software Agents, Non-Monotonic Reasoning, Knowledge Representation and Reasoning.

 

Logical Agents

Stefania Costantini has proposed (with Arianna Tocchio) the DALI agent-oriented logic programming language, with fully logical semantics. DALI has been implemented, and experimented in concrete applications, namely user monitoring and training, hybrid architectures, negotiation scenarios. DALI has been equipped with an innovative and functional communication architecture, and is FIPA-compliant. Stefania Costantini has recently proposed new run-time self-checking techniques for agents (based on suitably defined temporal logics) that have been experimented in DALI agents, and applied to practical case-studies in system testing and energy saving applications for smart buildings. The DALI interpreter with its documentation is publicly available. Stefania Costantini has proposed advances in the agents field also concerning Complex Event Processing, Agents' Memory Management, Negotiation, Integration with Heterogeneous Data Sources, Preferences. Recent work concerns the integration of DALI logical agents with logical planning modules (with Giovanni De Gasperis), and inter-agent negotiation based on game theory (with Pasquale Caianiello and Giovanni De Gasperis). Beyond DALI, Stefania Costantini has recently introduced ACEs (Agent Computational Environments) which are modular systems where a basic agent (defined in any language/formalism) is augmented with interacting modules for Complex Event Processing, and DACMACS, which is a framework for defining Multi-Agent Systems (MAS) where agent are equipped with global and local ontologies, and are capable of intelligent interaction with external data/knowledge sources.

 

Logic Programming with Negation, and Non-Monotonic Reasoning

Stefania Costantini has contributed to the theory and practice of Answer Set Programming (ASP), which is a well-established logic programming paradigm able to cope with uncertainty by producing all consistent alternative answers. She has been studied syntactic conditions for the existence of answer sets. Stefania Costantini (with Andrea Formisano) has introduced in ASP the possibility of reasoning about resources and (even complex) preferences: RASP (Resourced ASP) allows one to specify resources and resource usage, and supports quantitative reasoning on consumption and production of amounts of resources. A comparison of RASP with Linear Logic has been presented, and the RASP approach has been prototypically implemented. Costantini and Formisano have also recently proposed Resource-Based Answer Set Semantics, where: answer sets always exist; top-down query-answering, which is problematic in ASP, becomes easily feasible. With Giovanni De Gasperis and Raffaele Olivieri (who is an officer of the Italian Police “Carabinieri”) Stefania Costantini has initiated promising research work on the applications of ASP to the Evidence Analysis phase in Digital Forensics, which is a branch of Criminalistics which deals with the identification, acquisition, preservation, analysis and presentation of the information content of computer systems, or in general of digital devices. In this work, it has been demonstrated via significant examples how ASP can be used to formulate investigative hypotheses from the analysis of collected data.

 

Extracting Knowledge from Natural Language

A central aspect of knowledge acquisition from natural language sources (crucial in the so-called Web 3.0) is related to the automation of the process. Stefania Costantini (with Alessio Paolucci and Niva Florio) has built upon recent on translating natural language sentences into ASP, taking into account sentences implying uncertain knowledge.

 

Metalogic Programming

Stefania Costantini, in 1986-2001, studied how to extend logic programming languages with metalogic constructs, i.e., naming mechanisms for reifying language expressions, metalevel rules, and logical reflection for shifting from the object to the metalevel and vice versa. She formally defined (with Gaetano Aurelio Lanzarone)  and developed the metalogic language Reflective Prolog. Reflective Prolog has been applied to several application fields, including Artificial Intelligence and Law, and Analogical and Case-Based Reasoning.

 

Industrial Research

In 1985-86 Stefania Costantini spent eight months at the AEG research center in ULM, Germany, partecipating as a software engineer to the definition and experimentation of one of the first prototypes in Europe of a 900Mhz mobile phone. She has developed a real-time test suite that has been widely used for actual experiments.

PUBLICLY AVAILABLE SOFTWARE

The AAAI@AQ Research Group has produced the following freely available software packages:

*RASP inference engine Raspberry: http://www.dmi.unipg.it/~formis/raspberry/

*DALI interpreter: DALI GitHub Software Repository (July 2014): http://github.com/AAAI-DISIM-UnivAQ/DALI

 

COOPERATIONS  (Joint Papers, Projects and Activities): Univ. of Perugia, Italy (Prof. Andrea Formisano); Univ. of Messina, Italy (Prof. Alessandro Provetti); Imperial College London, UK (Prof. Francesca Toni); Linkoping University, Sweden (Prof. Pierangelo Dell'Acqua); Universidade Nova de Lisboa, Portugal (Prof. Luis Moniz Pereira); Univ. of Corunna, Spain (Prof. Pedro Cabalar); Universidad Politecnica de Madrid, Spain (Prof. David Pearce)

 

PERIODS ABROAD

Stefania Costantini has been an invited Visiting Professor in the following periods and institutions. In occasion of each visit she has held series of INVITED SEMINARS.

1999: University of Texas at El Paso (invited by Prof. Michael Gelfond).

2004: Imperial College London, UK, Department of Computing (grant Vodafone, invited by Prof. Francesca Toni).

2005: Imperial College London, UK, Department of Computing (grant Vodafone continuation, invited by Prof. Francesca Toni).

2010: Universidad Politécnica de Madrid, Spain (University grant, invited by Prof. David Pearce).

2011: Corunna University, Spain (University grant, invited by Prof. Pedro Cabalar).

2012: Fundación Universidad de las Américas, Puebla. México (University grant, invited by Prof. Mauricio Osorio).

 

INVITED TALKS AND OTHER APPOINTMENTS

Stefania Costantini has contributed to many International Conferences and Journals of her areas of research as author, reviewer, PC member. She was the PC Co-chair of ASP07, and Guest Editor of the Journal of Logic and Computation (issue 19(4) 2009). She has held tutorials at several editions of CILC (Italian Conference on Computational Logic) and has been Invited Speaker at the LA-NMR Workshop on Logic, Languages, Algorithms and New Methods of Reasoning (Mexico City, 2012). With Arianna Tocchio, she is holder an Italian patent on the DALI agent-oriented programming language.

 

PROJECTS

Stefania Costantini has participated to several national and international projects.

 

Coordination:

*European projects: Coordinator of the node of L'Aquila in the European Projects WASP (Working Group on Answer Set Programming) and CUSPIS (a Cultural Heritage Space Identification System, GJU/05/2412/CTR/CUSPIS).

*Industrial projects: Coordinator of the University of L’Aquila Unit in projects funded by the Industry, precisely in 2014 by CIRA (Centro Italiano di Ricerche Aerospaziali) and in 2015-present by SPEE (L’Aquila).

 

Participation

*European Projects: COST action IC0801 “Agreement Technologies”, SINTELNET European Network for Social Intelligence (recently completed projects), Esprit P283 FOR-ME-TOO.

*National Projects (MURST ex-40%):  1999-2000 "Intelligent Agents for Information Extraction'', 2000-2001 "Aggregate- and number-reasoning for computing: from decision algorithms to constraint programming with multisets, sets, and maps".

 

PROFESSIONAL ACTIVITIES

Present: Member of the Quality Assurance Committee of the University of L’Aquila. 2012-2015: Chairperson of the Bachelor and Master Programs in Computer Science at the University of L'Aquila. Previously she has been Vice-Director of the Department of Computer Science, and Chairperson of the Ph.D. Program, CampusOne

Stefania Costantini: Publications last five years updated December 31, 2015

Complete List, by Subject, by Year (desc.), by Venue (importance, desc.)

Software Agents

1. Stefania Costantini: Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous Environments. LPNMR 2015: 228-241

2. Stefania Costantini, Giovanni De Gasperis, Giulio Nazzicone: Exploration of Unknown Territory via DALI Agents and ASP Modules. DCAI 2015: 285-292

3. Stefania Costantini, Giovanni De Gasperis: Exchanging Data and Ontological Definitions in Multi-Agent-Contexts Systems. Challenge+DC@RuleML 2015

4. Pasquale Caianiello, Stefania Costantini, Giovanni De Gasperis, Subhasis Thakur: Cooperating with Trusted Parties Would Make Life Easier. AI*IA 2015: 128-135

5. Costantini, S., Riveret, R.: Event-action modules for complex reactivity in logical agents. In Bazzan, A.L.C., Huhns, M.N., Lomuscio, A., Scerri, P.,eds.:Proceedings of AAMAS2013, 13th Intl. Conf. on Autonomous Agents and Multi-Agent Systems, IFAAMAS/ACM (2014) 1503–1504 (Extended Abstract).

6. Costantini, S., De Gasperis, G.: Runtime self-checking via temporal (meta-)axioms for assurance of logical agent systems. In Bulling, N., van der Hoek, W., eds.: Proceedings of LAMAS 2014, 7th Workshop on Logical Aspects of Multi-Agent Systems, held at AAMAS2014 (2014) 241–255. Also in: Proceedings of the 29th Italian Conference on Computational Logic, CEUR Workshop Proceedings 1195.

7. Costantini, S., Riveret, R.: Complex events and actions in logical agents. In Giordano, L., Gliozzi, V., Pozzato, G.L., eds.: Proceedings of the 29th Italian Conference on Computational Logic. Volume 1195 of CEUR Workshop Proceedings, CEUR-WS.org (2014) 256–271 4.

8. Costantini,S.: Self-checking logical agents. InGini,M.L.,Shehory,O.,Ito,T.,Jonker,C.M., eds.: Proceedings of AAMAS 2013, 12th Intl. Conf. on Autonomous Agents and Multi-Agent Systems, IFAAMAS/ACM (2013) 1329–1330 (Extended Abstract).

9. Caianiello, P., Costantini, S., Gasperis, G.D., Florio, N., Gobbo, F.: Application of hybrid agents to smart energy management of a prosumer node. In Omatu, S., Nieves, J., Rodrıguez, J.M.C., Santana, J.F.D.P., Rodrıguez-Gonzalez, S., eds.: Distributed Computing and Artificial Intelligence - 10th International Conference, DCAI 2013. Volume 217 of Advances in Intelligent Systems and Computing, Springer (2013) 597–607

10. Costantini, S.: Answer set modules for logical agents. In Gottlob, G., ed.: Datalog 2.0. Volume 6702 of Lecture Notes in Computer Science, Springer (2012)

11. Costantini, S., De Gasperis, G.: Complex reactivity with preferences in rule-based agents. In Bikakis, A., Giurca, A., eds.: Rules on the Web: Research and Applications, RuleML 2012 – Europe, Proceedings. Volume 6826 of Lecture Notes in Computer Science, Springer (2012) 167–181

12. Bevar, V., Muccini, H., Costantini, S., De Gasperis, G.,Tocchio,A.: A multi-agent system for industrial fault detection and repair. In: Advances on Practical Applications of Agents and Multi-Agent Systems - 10th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2012. Volume 155 of Advances in Soft Computing, Springer (2012)

13. Bevar, V., Costantini, S., Gasperis, G.D., Paolucci, A., Tocchio, A.: Demonstrator of a multi-agent system for industrial fault detection and repair. In Demazeau, Y., Muller, J.P., Rodrıguez, J.M.C., Perez, J.B., eds.: Advances on Practical Applications of Agents and Multi-Agent Systems-Proceedings ofPAAMS2012. Volume 155 of Advances in Soft Computing., Springer (2012)

14. Costantini, S., D’Andrea, A., Gasperis, G.D., Florio, N., Tocchio, A.: Dali logical agents into play. In: Proceedings of the AI*IA Workshop ”Popularize Artificial Intelligence” (PAI2012). (2012)

15. Costantini, S., Dell’Acqua, P., Pereira, L.M.: Conditional learning of rules and plans by knowledge exchange in logical agents. In: Rule-Based Reasoning, Programming, and Applications - 5th International Symposium, RuleML 2011 – Europe, Proceedings. Volume 6826 of Lecture Notes in Computer Science, Springer (2011)

16. Costantini, S.: Defining and maintaining agent’s experience in logical agents. In Osorio, M., Zepeda, C., Olmos, I., Carballido, J.L., Arrazola, J., Medina, C., eds.: Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, LANMR 2011. Volume 804 of CEUR Workshop Proceedings, CEUR-WS.org (2011) Also in: Informal Proceedings of the LPMAS (Logic Programming for Multi-Agent Systems) Workshop at ICLP 2011.

17. Costantini, S., Tocchio, A.: A dialogue games framework for the operational semantics of logic agent-oriented languages. In Dix, J., Leite, J., Governatori, G., Jamroga, W., eds.: Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Proceedings. Volume 6245 of Lecture Notes in Computer Science, Springer (2010) 238– 255

18. Costantini, S., Dell’Acqua, P., Pereira, L.M., Tocchio, A.: Ensuring agent properties under arbitrary sequences of incoming events. In: Proceedings of 17th RCRA Intl. Worksh. on Experimental evaluation of algorithms for solving problems with combinatorial explosion. (2010)

Answer Set Programming and Logic Programming with Negation

19. Stefania Costantini, Andrea Formisano: Negation as a Resource: a Novel View on Answer Set Semantics*. Fundam. Inform. 140(3-4): 279-305 (2015)

20. Stefania Costantini, Giovanni De Gasperis, Raffaele Olivieri: Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses. LPNMR 2015: 242-249

21. Stefania Costantini, Giovanni De Gasperis, Raffaele Olivieri: How Answer Set Programming can help in digital forensic investigation. CILC 2015: 53-65

22. Costantini, S., Formisano, A.: Query answering in resource-based answer set semantics. In Inclezan, D., Maratea, M., eds.: Proceedings of the Intl. ICLP 2014 Workshop on Answer Set Programming and Other Programming Paradigms ASPOCP 2014. (2014) Also in: Proceedings of the 29th Italian Conf. on Computational Logic, CEUR Workshop Proceedings 1195.

23. Costantini, S., Formisano, A.: Nested weight constraints in ASP. Fundamenta Informaticae 124(4) (2013) 449–464

24. Costantini, S., Formisano, A.: RASP and ASP as a fragment of linear logic. Journal of Applied Non-Classical Logics 23(1-2) (2013) 49–74

25. Costantini, S., Formisano, A.: Negation as a resource: a novel view on answer set semantics. In Cantone, D., Asmundo, M.N., eds.: Proceedings of CILC 2013, 28th Italian Conf. on Computational Logic. Volume 1068 of CEUR Workshop Proceedings, CEUR-WS.org (2013) 253–257

26. Costantini, S., Gasperis, G.D., Florio, N., Zuppella, C.: An asp-based system for preference handling and planning. In Cantone, D., Asmundo, M.N., eds.: Proceedings of CILC 2013, 28th Italian Conf.on ComputationalLogic.Volume1068ofCEURWorkshopProceedings, CEUR-WS.org (2013) 253–257

27. Costantini, S., Formisano, A., Pearce, D.: Strong equivalence of rasp programs. In: Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Volume 7265 of Lecture Notes in Computer Science. Springer (2012)

28. Costantini, S., Provetti, A.: Conflict, consistency and truth-dependencies in graph representations of answer set logic programs. In Croitoru, M., Rudolph, S., Wilson, N., Howse, J., Corby, O., eds.: Graph Structures for Knowledge Representation and Reasoning-Second International Workshop, GKR2011. Revised Selected Papers. Volume 7205 of Lecture Notes in Computer Science, Springer (2012) 68–90

29. Costantini, S., Formisano, A.: Preferences and priorities in ASP. In Lisi, F.A., ed.: Proceedings of the 9th Italian Conference on Computational Logic. Volume 857 of CEUR Workshop Proceedings, CEUR-WS.org (2012) 47–58

30. Costantini, S., Formisano, A.: Weight constraints with preferences in ASP. In Delgrande, J.P., Faber, W., eds.: Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Proceedings. Volume 6645 of Lecture Notes in Computer Science, Springer (2011) 229–235

31. Costantini, S., Formisano, A.: Augmenting weight constraints with complex preferences. In:Logical Formalizations of Commonsense Reasoning, Papers from the 2011 AAAI Spring Symposium, Technical Report SS-11-06, Stanford, California, USA, March 21-23, 2011, AAAI (2011)

32. Costantini, S., Formisano, A.: Nested weight constraints in ASP. In Fioravanti, F., ed.: Proceedings of the 26th Italian Conference on Computational Logic. Volume 810 of CEUR Workshop Proceedings, CEUR-WS.org (2011) 371–383

33. Costantini, S., Formisano, A., Petturiti, D.: Extending and implementing RASP. Fundamenta Informaticae 105(1-2) (2010) 1–33

34. Costantini, S., Formisano, A.: Answer set programming with resources. Journal of Logic and Computation 20 (2) (2010) 533–571

35. Costantini, S., Provetti, A.: A lower bound for answer set solver computation. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 14(48) (2010) 41–52

Natural Language Processing and Miscellaneous

36. Costantini, S., Paolucci, A., Tocchio, A., Tsintza, P.: DALI, RASP, Mnemosine: Computational logic at work. Intelligenza Artificiale 5(1) (2011) 107–111

37. Costantini, S., Florio, N., Paolucci, A.: A framework for structured knowledge extraction and representation from natural language through deep sentence analysis. In Filipe, J., Fred, A.L.N., eds.: KDIR 2011 - Proceedings of the International Conference on Knowledge Discovery and Information Retrieval, SciTePress (2011) 282–287 also in: Proceedings of the 26th Italian Conference on Computational Logic, CEUR Workshop Proceedings 810.

38. Costantini, S., Paolucci, A.: Towards translating natural language sentences into ASP. In Faber, W., Leone, N., eds.: Proceedings of the 25th Italian Conference on Computational Logic. Volume 598 of CEUR Workshop Proceedings, CEUR-WS.org (2010)