STEFANIA COSTANTINI Full Professor in Computer Science Univ. of L'Aquila (UNIVAQ), Italy, Dept. of Computer Sc. and Eng. and Math. BIBLIOMETRIC DATA: H-INDEX Scopus 12, Google Scholar 18. Publications in English up to June 2016 (for updated list cf. http://dblp.uni-trier.de/pers/hd/c/Costantini:Stefania): 19 International Journals; 7 International Book Chapters and one Essay; 2 Italian Journals; 52 International and 18 Italian Conferences. === Stefania Costantini's short CV Born in 1959. Married with two children, Daniele (born in 1993) and Alice (born in 1996). From November 2005, Full Professor of Computer Science at the Computer Science Dept. of the University of L'Aquila. From March 2001 to October 2005, Associate Professor of Computer Science at the Computer Science Dept. of the University of L'Aquila. From 1990 to 1999, Assistant Professor in Computer Science first at the University of Milano, then (1999) at the University of L'Aquila. === PERIODS ABROAD Invited Visiting Professor: Univ. of Texas at El Paso (1999); Imperial College London, UK (2004 and 2010); Univ. Politécnica de Madrid, Spain (2010). Corunna Univ., Spain (2010); Fundación Univ. de las Américas, Puebla. México (2012). Invited Speaker at the LA-NMR Workshop on Logic, Languages, Algorithms and New Methods of Reasoning (Mexico City, 2012). === EUROPEAN PROJECTS COORDINATION: UNIVAQ Node, WASP (Working Group on Answer Set Programming) and CUSPIS (a Cultural Heritage Space Identification System, GJU/05/2412/CTR/CUSPIS). === EUROPEAN PROJECTS PARTICIPATION: COST action IC0801 “Agreement Technologies”, SINTELNET European Network for Social Intelligence (recently completed projects), Esprit P283 FOR-ME-TOO. === NATIONAL PROJECTS PARTICIPATION: 1999-2000 PRIN "Intelligent Agents for Information Extraction'', 2000-2001 PRIN "Aggregate- and number-reasoning for computing: from decision algorithms to constraint programming with multisets, sets, and maps". === INDUSTRIAL PROJECTS UNIVAQ UNIT COORDINATION: With CIRA (Centro Italiano di Ricerche Aerospaziali, 2014) and SPEE (2015-present). === PROFESSIONAL ACTIVITIES 2012-15: Chairperson of the Bachelor and Master Programs in Computer Science at the University of L'Aquila. Previously Vice-Director of the Dept. of Computer Science, and Chairperson of the Ph.D. Program. === RESEARCH INTERESTS: Artificial Intelligence, Computational Logic, Software Agents, Non-Monotonic Reasoning and Knowledge Representation. === Main Achievements (with several co-authors) = Metalogic Programming: Stefania Costantini 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 has defined Reflective Prolog. = Logic Programming with Negation, and Non-Monotonic Reasoning: Stefania Costantini contributed to the theory and practice of Answer Set Programming (ASP), which is a recent logic programming paradigm, able to cope with uncertainty by producing all consistent alternative answers. She studied syntactic conditions for the existence of stable models, and how to usefully represent programs as graphs, either oriented to rules (Extended Dependency Graph, EDG), or to components (Cycle Graph). In recent work, Stefania Costantini has introduced in ASP the possibility of reasoning about resources and (even complex) preferences (RASP). She has defined a variation of ASP called Resourced ASP (RAS), and has developed a top-down proof procedure for RAS. She has made some work about translation into ASP of knowledge extracted from natural language. = Logical Agents: Stefania Costantini proposed a new logic programming language, called DALI, with active and reactive rules, close in syntax and semantics to the traditional Horn Clause language. The evolutionary semantics of DALI is fully logical, even though the language provides the treatment of several kind of events, both external and internal. DALI has been fully implemented ahd experimented in concrete applications. She also works about agents for user monitoring and training, self-checking agents, multi-layer agent models, self-organizing agent architectures. = Knowledge Representation Stefania Costantini has been working about extensions and applications of Multi-Context Systems (MCS) also in the agent domain, and on the adoption of bridge rules (which are the MCS's inter-context knowledge exchange device) as a general mechanism for practically exchanging knowledge among distributed heterogeneous sources in the "Internet of Everything".