Costantini Stefania Selected Publications (pre-prints)

 

1. Stefania Costantini, Giovanni De Gasperis, and Giulio Nazzicone. DALI for cognitive robotics: Principles and prototype implementation. In Yuliya Lierler and Walid Taha, editors, Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Proceedings, volume 10137 of Lecture Notes in Computer Science, pages 152-162. Springer, 2017.

2. Federica Aielli, Davide Ancona, Pasquale Caianiello, Stefania Costantini, Giovanni De Gasperis, Antinisca Di Marco, Angelo Ferrando, and Viviana Mascardi. FRIENDLY & KIND with your health: Human-friendly knowledge-intensive dynamic systems for the e-health domain. In Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection - Interna- tional Workshops of PAAMS 2016, Proceedings, volume 616 of Communications in Computer and Information Science, pages 15-26. Springer, 2016.

3. Stefania Costantini and Andrea Formisano. Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules. In Nardine Osman and Carles Sierra, editors, Autonomous Agents and Multiagent Systems - AAMAS 2016 Workshops, - Visionary Papers - Revised Selected Papers, volume 10003 of Lecture Notes in Computer Science, pages 104-121. Springer, 2016.

4. Stefania Costantini and Andrea Formisano. Budget-constrained reasoning in agent computational environments: (extended abstract). In Catholijn M. Jonker, Stacy Marsella, John Thangarajah, and Karl Tuyls, editors, Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, pages 1311-1312. ACM, 2016.

5. Stefania Costantini and Giovanni De Gasperis. Bridge rules for reasoning in component-based heterogeneous environments. In Jose Julio Alferes, Leopoldo E. Bertossi, Guido Governatori, Paul Fodor, and Dumitru Roman, editors, Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Proceedings, volume 9718 of Lecture Notes in Computer Science, pages 97-112. Springer, 2016.

6. Stefania Costantini. ACE: a flexible environment for complex event processing in logical agents. In Luciano Baresi Matteo Baldoni and Mehdi Dastani, editors, Engineering Multi-Agent Systems, Third International Workshop, EMAS 2015, Revised Selected Papers, volume 9318 of Lecture Notes in Computer Science. Springer, 2015.

7. Stefania Costantini. Knowledge acquisition via non-monotonic reasoning in distributed heterogeneous environments. In Miroslaw Truszczynski, Giovambattista Ianni, and Francesco Calimeri, editors, 13th Int. Conf. on Logic Programming and Nonmonotonic Reasoning LPNMR 2013. Proc., volume 9345 of Lecture Notes in Computer Science, pages 228-241. Springer, 2015. Presented also at CILC 2015, 30th Italian Conference of Computational Logic.

8. Stefania Costantini and Andrea Formisano. Negation as a resource: a novel view on answer set semantics. Fundamenta Informaticae, 140(3-4):279-305, 2015.

9. Stefania Costantini, Giovanni De Gasperis, and Raffaele Olivieri. Digital forensics evidence analysis: An answer set programming approach for generating investigation hypotheses. In Miroslaw Truszczynski Francesco Calimeri, Giovambattista Ianni, editor, Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Proceedings, volume 9345 of Lecture Notes in Computer Science, pages 228{241. Springer, 2015. Long version in CEUR Workshop Proceedings of CILC 2015, 30th Italian Conference of Computational Logic.

10. V. Bevar, H. Muccini, S. Costantini, G. De Gasperis, and A. Tocchio. A A multiagent 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, Salamanca, Spain, 28-30 March, 2012, volume 155 of Advances in Soft Computing. Springer, 2012.

11. S. Costantini. Answer set modules for logical agents. In Georg Gottlob, editor, Datalog 2.0, number 6702 in LNCS. Springer, 2012.

12. Stefania Costantini. Self-checking logical agents. In Mauricio Osorio, Claudia Zepeda, Ivan Olmos, Jose Luis Carballido, and R. Carolina Medina Ramirez, editors, Proceedings of the Eighth Latin American Workshop on Logic, Languages, Algorithms and New Methods of Reasoning LA-NMR 2012, volume 911 of CEUR Workshop Proceedings, pages 3-30. CEUR-WS.org, 2012. Invited Paper, Extended Abstract in Proceedings of AAMAS 2013, 12th Intl. Conf. on Autonomous Agents and Multi-Agent Systems.

13. Stefania Costantini, Andrea Formisano, and David Pearce. 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.

14. Stefania Costantini and Giovanni De Gasperis. Complex reactivity with preferences in rule-based agents. In Antonis Bikakis and Adrian Giurca, editors, Rules on the Web: Research and Applications, RuleML 2012 - Europe, Montpellier, France, August 27-29, 2012. Proceedings, volume 6826 of Lecture Notes in Computer Science, pages 167-181. Springer, 2012.

15. Stefania Costantini and Andrea Formisano. Answer set programming with resources. Journal of Logic and Computation, 20(2):533-571, 2010.

16. Stefania Costantini, Andrea Formisano, and Davide Petturiti. Extending and implementing RASP. Fundamenta Informaticae, 105(1-2):1-33, 2010.

17. Stefania Costantini and Andrea Formisano. Modeling preferences and conditional preferences on resource consumption and production in ASP. Journal of of Algorithms in Cognition, Informatics and Logic, 64(1), 2009.

18. S. Costantini, L. Mostarda, A. Tocchio, and P. Tsintza. DALICA agents applied to a cultural heritage scenario. IEEE Intelligent Systems, Special Issue on Ambient Intelligence, 23(8), 2008.

19. S. Costantini, P. Dell'Acqua, and A. Tocchio. Expressing preferences declaratively in logic-based agent languages. In Proceedings of Commonsense'07, the 8th International Symposium on Logical Formalizations of Commonsense Reasoning, AAAI Spring Symposium Series, 2007. a special event in honor of John McCarthy.

20. S. Costantini and A. Tocchio. About declarative semantics of logic-based agent languages. In M. Baldoni and P. Torroni, editors, Declarative Agent Languages and Technologies, number 3904 in Lecture Notes in Computer Science, pages 106-123. Springer, 2006.

21. Stefania Costantini. On the existence of stable models of non-stratified logic programs. TPLP, 6(12):169-212, 2006.

22. Stefania Costantini and Arianna Tocchio. The DALI logic programming agent-oriented language. In Jose Julio Alferes and Joao Alexandre Leite, editors, Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Proceedings, volume 3229 of Lecture Notes in Computer Science, pages 685-688. Springer, 2004.

23. S. Costantini and A. Tocchio. A logic programming language for multi-agent systems. In Logics in Artificial Intelligence, Proceedings of the 8th European Conf., JELIA 2002, LNAI 2424. Springer-Verlag, Berlin, 2002.

24. Stefania Costantini. Meta-reasoning: A survey. In Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, volume 2408 of Lecture Notes in Computer Science. Springer, 2002.

25. Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, and Gaetano Aurelio Lanzarone. Reflection principles in computational logic. J. Log. Comput., 10(6):743-786, 2000.

26. Stefania Costantini and Gaetano Aurelio Lanzarone. A metalogic programming approach: language, semantics and applications. J. Exp. Theor. Artif. Intell., 6(3):239{287, 1994.