Stefania Costantini

236 papers A 6B 23C 7Misc 6Journal 57Unranked 135
YearRankTypeTitle / Venue / Authors
2026 J jnl
Design of an AI-Based Decision-Support Framework to Enhance Road Safety in Varying Autonomy Conditions Using Virtual Reality.
SN Comput. Sci.
Elmira Zohrevandi, Pierangelo Dell'Acqua, Stefania Costantini, Francesco Gullo
2026 J jnl
Towards Practical Ethics for AI.
Intelligenza Artificiale
Abeer Dyoub, Francesca A. Lisi, Stefania Costantini, Ivan Letteri, Giovanni De Gasperis, Chiara Gallese
2025 A conf
A Prototyping Framework for Reduct-Based ELP Solvers: Methodology and Implementation.
ECAI
Stefania Costantini, Andrea Formisano
2025 J jnl
A Trust-Aware Architecture for Personalized Digital Health: Integrating Blueprint Personas and Ontology-Based Reasoning.
J. Medical Syst.
Alina Vozna, Andrea Monaldini, Stefania Costantini
2025 B conf
An ASP-based Solution to the Medical Appointment Scheduling Problem.
ICLP
Alina Vozna, Andrea Monaldini, Stefania Costantini, Valentina Pitoni, Dawid Pado
2025 — conf
From Blueprint Personas to Epistemic Agents: A Comparative Study of ASP-Based and L-DINF-Based Approaches to Medical Appointment Scheduling.
CILC
Valentina Pitoni, Stefania Costantini, Andrea Monaldini, Alina Vozna
2025 B conf
Integrating Cognitive Reasoning Into Medical Scheduling: a Transition from ASP Personas to L-DINF Agents.
PRIMA
Stefania Costantini, Valentina Pitoni
2025 — conf
Resource Allocation with Cooperative Agents.
ICLP Workshops
Stefania Costantini, Giovanni De Gasperis, Pasquale De Meo, Francesco Gullo, Alessandro Provetti
2025 — conf
Scalable and Ethical Medical Scheduling: An ASP-Based Framework with Patient-Centered Experimental Validation.
ICLP Workshops
Alina Vozna, Andrea Monaldini, Stefania Costantini, Dawid Pado, Valentina Pitoni
2025 — conf
Towards Trustworthy and Explainable Socially Assistive Robots: A Cognitive Architecture for Dietary Guidance.
SIMPAR
Luigi D'Arco, Luca Raggioli, Gianni Randazzo, Giovanni De Gasperis, Antonio Chella, Stefania Costantini, Silvia Rossi
2024 — conf
Blueprint Personas in Digital Health Transformation (Short Paper).
HC@AIxIA
Andrea Monaldini, Alina Vozna, Stefania Costantini
2024 J jnl
Ensuring trustworthy and ethical behaviour in intelligent logical agents.
CoRR
Stefania Costantini
2024 J jnl
Epistemic Logic Programs: A Study of Some Properties.
Theory Pract. Log. Program.
Stefania Costantini, Andrea Formisano
2024 — conf
From pure Prolog to logic Agent-Oriented Programming Languages.
WOA
Rafael H. Bordini, Stefania Costantini, Andrea Monaldini, Alina Vozna
2024 — conf
Leveraging DALI to Refine Route Planning by Dynamically Avoiding Risky POIs.
ICSC
Fabio Persia, Mouzhi Ge, Giovanni Pilato, Daniela D'Auria, Andrea Rafanelli, Stefania Costantini, Giovanni De Gasperis
2024 — conf
NEMO - A Neural, Emotional Architecture for Human-AI Teaming.
CILC
Stefania Costantini, Pierangelo Dell'Acqua, Giovanni De Gasperis, Francesco Gullo, Andrea Rafanelli
2024 — conf
SkRobot: A Pseudo-Realtime Multiplatform Framework For Robotics Agents Development.
WOA
Giovanni De Gasperis, Daniele Di Ottavio, Patrizio Migliarini, Stefania Costantini
2024 — conf
Solver Fast Prototyping for Reduct-based ELP Semantics.
CILC
Stefania Costantini, Andrea Formisano
2024 — conf
The Limits of Influence Maximisation in Online Social Networks.
SNAMS
Stefania Costantini, Giovanna Costanzo, Pasquale De Meo, Rino Falcone, Fabio Persia, Alessandro Provetti
2024 — conf
The NEMO co-pilot.
Ital-IA
Stefania Costantini, Pierangelo Dell'Acqua, Giovanni De Gasperis, Francesco Gullo, Andrea Rafanelli
2024 — conf
The distributed architecture of SkRobot for efficient robotic agents.
AI4CC-IPS-RCRA-SPIRIT@AI*IA
Giovanni De Gasperis, Daniele Di Ottavio, Stefania Costantini, Patrizio Migliarini
2023 — conf
A Timed Epistemic Logic for Formalizing Cooperation among Groups of Agents.
WOA
Stefania Costantini, Andrea Formisano, Valentina Pitoni
2023 J jnl
Empathetic human-agent interaction via emotional behavior trees.
Intelligenza Artificiale
Pierangelo Dell'Acqua, Stefania Costantini
2023 — conf
Empathy-Aware Behavior Trees for Social Care Decision Systems.
CENTERIS/ProjMAN/HCist
Pierangelo Dell'Acqua, Stefania Costantini, Abeer Dyoub, Giovanni De Gasperis, Andrea Monaldini, Andrea Rafanelli
2023 J jnl
Epistemic Logic Programs: a study of some properties.
CoRR
Stefania Costantini, Andrea Formisano
2023 — conf
Experimenting an Approach to Neuro-Symbolic RL.
IPS-RCRA-SPIRIT@AI*IA
Andrea Rafanelli, Stefania Costantini, Giovanni De Gasperis
2023 J jnl
Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking.
J. Log. Comput.
Giovanni De Gasperis, Stefania Costantini, Andrea Rafanelli, Patrizio Migliarini, Ivan Letteri, Abeer Dyoub
2023 — conf
Fast Prototyping of a Solver for Reduct-based ELP Semantics.
CILC
Stefania Costantini, Andrea Formisano
2023 J jnl
How to leverage intelligent agents and complex event processing to improve patient monitoring.
J. Log. Comput.
Lorenzo De Lauretis, Fabio Persia, Stefania Costantini, Daniela D'Auria
2023 J jnl
Introduction to the 39
Theory Pract. Log. Program.
Stefania Costantini, Enrico Pontelli, Alessandra Russo, Francesca Toni
2023 J jnl
Neural-logic multi-agent system for flood event detection.
Intelligenza Artificiale
Andrea Rafanelli, Stefania Costantini, Giovanni De Gasperis
2023 J jnl
PredictMed-epilepsy: A multi-agent based system for epilepsy detection and prediction in neuropediatrics.
Comput. Methods Programs Biomed.
Carlo M. Bertoncelli, Stefania Costantini, Fabio Persia, Domenico Bertoncelli, Daniela D'Auria
2023 — conf
Preference Management in Epistemic Logic L-DINF.
CILC
Stefania Costantini, Andrea Formisano, Valentina Pitoni
2023 B ed.
Proceedings 39th International Conference on Logic Programming, ICLP 2023, Imperial College London, UK, 9th July 2023 - 15th July 2023.
ICLP
Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Alice Gaggl, Roberta Calegari, Artur S. d'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni
2023 — conf
RBF Based NN Architecture for Structural Health Analysis of Railway Steel Bridges (Short paper).
DC@AI*IA
Muhammad Asad, Giovanni De Gasperis, Stefania Costantini
2023 — conf
The PredictMed-POMAS Architecture for Intelligent Patient Monitoring within a Complex Healthcare Ecosystem.
HC@AIxIA
Stefania Costantini, Carlo Maria Bertoncelli, Domenico Bertoncelli, Pasquale De Meo, Rino Falcone, Fabio Persia, Silvia Rossi
2023 — conf
Towards Empathetic Care Robots.
Ital-IA
Abeer Dyoub, Stefania Costantini, Andrea Monaldini, Pierangelo Dell'Acqua
2022 C conf
A Smart Ecosystem to improve Patient Monitoring using Wearables, Intelligent Agents, Complex Event Processing and Image Processing.
ISCC
Lorenzo De Lauretis, Fabio Persia, Stefania Costantini
2022 — conf
A multi-agent-system framework for flooding events.
WOA
Andrea Rafanelli, Stefania Costantini, Giovanni De Gasperis
2022 — conf
An Intelligent Ecosystem to improve Patient Monitoring using Wearables and Artificial Intelligence.
CILC
Lorenzo De Lauretis, Fabio Persia, Stefania Costantini
2022 C conf
An Ontology of Medical Wearables.
ICCE
Lorenzo De Lauretis, Stefania Costantini, Enrico Pallotta, Clara Balsano
2022 — conf
Care Robots Learning Rules of Ethical Behavior Under the Supervision of an Ethical Teacher (Short paper).
HYDRA/RCRA@LPNMR
Abeer Dyoub, Stefania Costantini, Ivan Letteri
2022 — conf
Cognitive Aspects in Epistemic Logic L-DINF.
CAKR@IJCAI
Stefania Costantini, Andrea Formisano, Valentina Pitoni
2022 — conf
Constraint-Procedural Logic Generated Environments for Deep Q-learning Agent training and benchmarking.
CILC
Stefania Costantini, Giovanni De Gasperis, Patrizio Migliarini
2022 B conf
Cooperation Among Groups of Agents in the Epistemic Logic L-DINF.
RuleML+RR
Stefania Costantini, Andrea Formisano, Valentina Pitoni
2022 — conf
Emotional behavior trees for empathetic human-automation interaction.
WOA
Stefania Costantini, Pierangelo Dell'Acqua
2022 J jnl
Ensuring trustworthy and ethical behaviour in intelligent logical agents.
J. Log. Comput.
Stefania Costantini
2022 B conf
Epistemic Logic Programs: A Study of Some Properties.
LPNMR
Stefania Costantini, Andrea Formisano
2022 — conf
Epistemic Logic Programs: a Novel Perspective and Some Extensions.
ICLP Workshops
Stefania Costantini, Andrea Formisano
2022 — conf
Epistemic Logic Programs: an approach to Semantic Comparison.
CILC
Stefania Costantini, Andrea Formisano
2022 — conf
Intelligent Agents and Complex Event Processing to enhance Patient Monitoring.
Datalog
Lorenzo De Lauretis, Fabio Persia, Stefania Costantini
2022 J jnl
Learning Domain Ethical Principles from Interactions with Users.
Digit. Soc.
Abeer Dyoub, Stefania Costantini, Francesca Alessandra Lisi
2022 — conf
Modelling Agents Roles in the Epistemic Logic L-DINF.
NMR
Stefania Costantini, Andrea Formisano, Valentina Pitoni
2022 J jnl
Network Connectivity Under a Probabilistic Node Failure Model.
IEEE Trans. Netw. Sci. Eng.
Lucia Cavallaro, Stefania Costantini, Pasquale De Meo, Antonio Liotta, Giovanni Stilo
2022 — conf
Position Paper: On the Role of Abductive Reasoning in Semantic Image Segmentation.
DP@AI*IA
Andrea Rafanelli, Stefania Costantini, Andrea Omicini
2022 — conf
Temporalizing Epistemic Logic L-DINF.
CILC
Stefania Costantini, Andrea Formisano, Valentina Pitoni
2021 A conf
A Logic of Inferable in Multi-Agent Systems with Budget and Costs.
AAMAS
Stefania Costantini, Andrea Formisano, Valentina Pitoni
2021 — conf
A Logic-based Multi-agent System for Ethical Monitoring and Evaluation of Dialogues.
ICLP Technical Communications
Abeer Dyoub, Stefania Costantini, Ivan Letteri, Francesca A. Lisi
2021 — conf
A Smart Framework for Automatically Analyzing Electrocardiograms.
TransAI
Fabio Persia, Stefania Costantini, Claudio Ferri, Lorenzo De Lauretis, Daniela D'Auria
2021 — conf
A Smart Health Assistant via DALI Logical Agents.
CILC
Stefania Costantini, Lorenzo De Lauretis, Claudio Ferri, Jessica Giancola, Fabio Persia
2021 J jnl
Adding Metalogic Features to Knowledge Representation Languages.
Fundam. Informaticae
Stefania Costantini, Andrea Formisano
2021 J jnl
An Application of Declarative Languages in Distributed Architectures: ASP and DALI Microservices.
Int. J. Interact. Multim. Artif. Intell.
Stefania Costantini, Giovanni De Gasperis, Lorenzo De Lauretis
2021 C conf
An Arduino-based Device to Detect Dangerous Audio Noises.
IoTBDS
Lorenzo De Lauretis, Tiziano Lombardi, Stefania Costantini, Ludovica Clementini
2021 — conf
An Epistemic Logic for Modular Development of Multi-Agent Systems.
EMAS@AAMAS
Stefania Costantini, Andrea Formisano, Valentina Pitoni
2021 B conf
An Epistemic Logic for Multi-agent Systems with Budget and Costs.
JELIA
Stefania Costantini, Andrea Formisano, Valentina Pitoni
2021 — conf
Ethical Monitoring and Evaluation of Dialogues with a MAS.
CILC
Abeer Dyoub, Stefania Costantini, Francesca A. Lisi, Ivan Letteri
2021 J jnl
Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments").
CoRR
Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis, Andrea Formisano
2021 J jnl
Self-checking Logical Agents.
CoRR
Stefania Costantini
2021 — conf
Top-down Splitting Property for Epistemic Logic Programs.
ICLP Workshops
Stefania Costantini
2020 Misc ed.
Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection - 18th International Conference, PAAMS 2020, L'Aquila, Italy, October 7-9, 2020, Proceedings
PAAMS
Yves Demazeau, Tom Holvoet, Juan M. Corchado, Stefania Costantini
2020 — conf
An application of Answer Set Programming in Distributed Architectures: ASP Microservices.
ICLP Technical Communications
Stefania Costantini, Lorenzo De Lauretis
2020 Misc conf
Demo Paper: Monitoring and Evaluation of Ethical Behavior in Dialog Systems.
PAAMS
Abeer Dyoub, Stefania Costantini, Francesca A. Lisi, Giovanni De Gasperis
2020 — conf
EarSaver: A Device to Detect Dangerous Audio Noises.
AAI4H@ECAI
Lorenzo De Lauretis, Tiziano Lombardi, Stefania Costantini
2020 — conf
Ensuring Trustworthy and Ethical Behavior in Intelligent Logical Agents.
CILC
Stefania Costantini
2020 J jnl
Exploring Low-degree Nodes First Accelerates Network Exploration.
CoRR
Stefania Costantini, Pasquale De Meo, Angelo Giorgianni, Valentina Migliorato, Alessandro Provetti, Federico Salvia
2020 — conf
Exploring Low-degree nodes first accelerates Network Exploration.
WebSci
Stefania Costantini, Pasquale De Meo, Angelo Giorgianni, Valentina Migliorato, Alessandro Provetti, Federico Salvia
2020 — conf
Logic Programming and Machine Ethics.
ICLP Technical Communications
Abeer Dyoub, Stefania Costantini, Francesca A. Lisi
2020 — conf
Logic-based Machine Learning for Transparent Ethical Agents.
CILC
Abeer Dyoub, Stefania Costantini, Francesca Alessandra Lisi, Ivan Letteri
2020 J jnl
Network connectivity under a probabilistic node failure model.
CoRR
Lucia Cavallaro, Stefania Costantini, Pasquale De Meo, Antonio Liotta, Giovanni Stilo
2020 — conf
Towards Explainable, Compliant and Adaptive Human-Automation Interaction.
XAILA@JURIX
Barbara Gallina, Görkem Paçaci, David Johnson, Steve McKeever, Andreas Hamfelt, Stefania Costantini, Pierangelo Dell'Acqua, Gloria Cerasela Crisan
2020 — conf
Towards a Logic of "Inferable" for Self-Aware Transparent Logical Agents.
XAI.it@AI*IA
Stefania Costantini, Valentina Pitoni
2020 — conf
Transcultural Health-Aware Guides for the Elderly.
WOA
Rafael H. Bordini, Viviana Mascardi, Stefania Costantini, Amal El Fallah Seghrouchni, Yves Lespérance, Alessandro Ricci
2019 — conf
A Temporal Module for Logical Frameworks.
ICLP Technical Communications
Valentina Pitoni, Stefania Costantini
2019 J jnl
About Epistemic Negation and World Views in Epistemic Logic Programs.
Theory Pract. Log. Program.
Stefania Costantini
2019 J jnl
About epistemic negation and world views in Epistemic Logic Programs.
CoRR
Stefania Costantini
2019 — conf
An Approach Towards Ethical Chatbots in Customer Service.
AIRO@AI*IA
Abeer Dyoub, Stefania Costantini, Francesca A. Lisi
2019 — conf
An Ontology to Improve the First Aid Service Quality.
CILC
Lorenzo De Lauretis, Stefania Costantini
2019 B conf
An ontology to improve the first aid service quality.
SMC
Lorenzo De Lauretis, Stefania Costantini, Ivan Letteri
2019 — conf
Augmenting Datalog
AI*IA
Stefania Costantini, Andrea Formisano
2019 — conf
Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features.
CILC
Stefania Costantini, Andrea Formisano
2019 — conf
DigForASP: A European Cooperation Network for Logic-based AI in Digital Forensics.
CILC
Stefania Costantini, Francesca Alessandra Lisi, Raffaele Olivieri
2019 J jnl
Digital forensics and investigations meet artificial intelligence.
Ann. Math. Artif. Intell.
Stefania Costantini, Giovanni De Gasperis, Raffaele Olivieri
2019 B conf
K-ACE: A Flexible Environment for Knowledge-Aware Multi-Agent Systems.
PRIMA
Stefania Costantini, Valentina Pitoni
2019 — conf
Knowledge Representation and Reasoning meets Digital Forensics: The COST Action DigForASP (short paper).
RCRA/RiCeRcA@AI*IA
Stefania Costantini, Francesca A. Lisi, Raffaele Olivieri
2019 — conf
Learning Answer Set Programming Rules For Ethical Machines.
CILC
Abeer Dyoub, Stefania Costantini, Francesca Alessandra Lisi
2019 — conf
Memory Management in Resource-Bounded Agents.
AI*IA
Stefania Costantini, Valentina Pitoni
2019 — conf
Multi-agent System Engineering for Emphatic Human-Robot Interaction.
AIKE
Stefania Costantini, Giovanni De Gasperis, Patrizio Migliarini
2019 J jnl
Multi-context systems in dynamic environments.
Ann. Math. Artif. Intell.
Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis, Andrea Formisano
2019 — conf
Reasoning about Memory Management in Resource-Bounded Agents.
CILC
Stefania Costantini, Valentina Pitoni
2019 — conf
Towards Ethical Machines Via Logic Programming.
ICLP Technical Communications
Abeer Dyoub, Stefania Costantini, Francesca A. Lisi
2019 B conf
Towards an ILP Application in Machine Ethics.
ILP
Abeer Dyoub, Stefania Costantini, Francesca A. Lisi
2018 J jnl
Answer set programming and agents.
Knowl. Eng. Rev.
Abeer Dyoub, Stefania Costantini, Giovanni De Gasperis
2018 J jnl
Augmenting agent computational environments with quantitative reasoning modules and customisable bridge rules.
Int. J. Agent Oriented Softw. Eng.
Stefania Costantini, Andrea Formisano
2018 — conf
Dynamic Goal Decomposition and Planning in MAS for Highly Changing Environments.
CILC
Stefania Costantini, Giovanni De Gasperis
2018 — conf
Flexible Goal-Directed Agents' Behavior via DALI MASs and ASP Modules.
AAAI Spring Symposia
Stefania Costantini, Giovanni De Gasperis
2018 — conf
Reflection and Introspection for Humanized Intelligent Agents.
Bridging@IJCAI/ECAI
Stefania Costantini, Abeer Dyoub, Valentina Pitoni
2018 — conf
Timed Memory in Resource-Bounded Agents.
AI*IA
Stefania Costantini, Andrea Formisano, Valentina Pitoni
2018 — conf
Towards Humanized Ethical Intelligent Agents: the role of Reflection and Introspection.
CILC
Stefania Costantini, Abeer Dyoub, Valentina Pitoni
2018 — conf
Trustworthiness and Safety for Intelligent Ethical Logical Agents via Interval Temporal Logic and Runtime Self-Checking.
AAAI Spring Symposia
Stefania Costantini, Giovanni De Gasperis, Abeer Dyoub, Valentina Pitoni
2017 C conf
DALI for Cognitive Robotics: Principles and Prototype Implementation.
PADL
Stefania Costantini, Giovanni De Gasperis, Giulio Nazzicone
2017 — conf
DALI: A Multi Agent System Framework for the Web, Cognitive Robotic and Complex Event Processing.
ICTCS/CILC
Stefania Costantini, Giovanni De Gasperis, Valentina Pitoni, Agnese Salutari
2017 — conf
Multi-Context Systems: Dynamics and Evolution.
ASPOCP@LPNMR
Pedro Cabalar, Stefania Costantini, Andrea Formisano
2017 — ed.
Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017), London, UK, July 11-15, 2017.
RuleML+RR (Supplement)
Nick Bassiliades, Antonis Bikakis, Stefania Costantini, Enrico Franconi, Adrian Giurca, Roman Kontchakov, Theodore Patkos, Fariba Sadri, William Van Woensel
2017 B ed.
Rules and Reasoning - International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings
RuleML+RR
Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman
2016 — conf
Augmenting Agent Computational Environments with Quantitative Reasoning Modules and Customizable Bridge Rules.
AAMAS Workshops (Visionary Papers)
Stefania Costantini, Andrea Formisano
2016 — conf
Augmenting Agent Computational Environments with Quantitative Reasoning Modules and Customizable Bridge Rules.
EMAS@AAMAS
Stefania Costantini, Andrea Formisano
2016 — conf
Bridge Rules for Reasoning in Component-Based Heterogeneous Environments.
RuleML
Stefania Costantini, Giovanni De Gasperis
2016 A conf
Budget-Constrained Reasoning in Agent Computational Environments: (Extended Abstract).
AAMAS
Stefania Costantini, Andrea Formisano
2016 — conf
FRIENDLY & KIND with your Health: Human-Friendly Knowledge-INtensive Dynamic Systems for the e-Health Domain.
PAAMS (Workshops)
Federica Aielli, Davide Ancona, Pasquale Caianiello, Stefania Costantini, Giovanni De Gasperis, Antinisca Di Marco, Angelo Ferrando, Viviana Mascardi
2016 A conf
Multi-Context Systems in Time.
ECAI
Stefania Costantini, Andrea Formisano
2016 J jnl
Query Answering in Resource-Based Answer Set Semantics.
CoRR
Stefania Costantini, Andrea Formisano
2016 J jnl
Query answering in resource-based answer set semantics.
Theory Pract. Log. Program.
Stefania Costantini, Andrea Formisano
2015 — conf
ACE: A Flexible Environment for Complex Event Processing in Logical Agents.
EMAS@AAMAS
Stefania Costantini
2015 — conf
Cooperating with Trusted Parties Would Make Life Easier.
AI*IA
Pasquale Caianiello, Stefania Costantini, Giovanni De Gasperis, Subhasis Thakur
2015 B conf
Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses.
LPNMR
Stefania Costantini, Giovanni De Gasperis, Raffaele Olivieri
2015 J jnl
Elio Lanzarone: a life for science.
J. Log. Comput.
Stefania Costantini, Federico Gobbo
2015 — conf
Exchanging Data and Ontological Definitions in Multi-Agent-Contexts Systems.
Challenge+DC@RuleML
Stefania Costantini, Giovanni De Gasperis
2015 Misc conf
Exploration of Unknown Territory via DALI Agents and ASP Modules.
DCAI
Stefania Costantini, Giovanni De Gasperis, Giulio Nazzicone
2015 — conf
How Answer Set Programming can help in digital forensic investigation.
CILC
Stefania Costantini, Giovanni De Gasperis, Raffaele Olivieri
2015 B conf
Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous Environments.
LPNMR
Stefania Costantini
2015 J jnl
Negation as a Resource: a Novel View on Answer Set Semantics.
Fundam. Informaticae
Stefania Costantini, Andrea Formisano
2014 J jnl
Characterizing and computing stable models of logic programs: The non-stratified case.
CoRR
Gianpaolo Brignoli, Stefania Costantini, Ottavio M. D'Antona, Alessandro Provetti
2014 J jnl
Committment-Based Data-Aware Multi-Agent-Contexts Systems.
CoRR
Stefania Costantini
2014 — conf
Complex Events and Actions in Logical Agents.
CILC
Stefania Costantini, Régis Riveret
2014 A conf
Event-action modules for complex reactivity in logical agents.
AAMAS
Stefania Costantini, Régis Riveret
2014 — conf
Query Answering in Resource-Based Answer Set Semantics.
CILC
Stefania Costantini, Andrea Formisano
2014 — conf
Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent Systems.
CILC
Stefania Costantini, Giovanni De Gasperis
2014 J jnl
Towards Active Logic Programming.
CoRR
Stefania Costantini
2013 — conf
An ASP-based System for Preference Handling and Planning.
CILC
Stefania Costantini, Giovanni De Gasperis, Niva Florio, Claudia Zuppella
2013 Misc conf
Application of Hybrid Agents to Smart Energy Management of a Prosumer Node.
DCAI
Pasquale Caianiello, Stefania Costantini, Giovanni De Gasperis, Niva Florio, Federico Gobbo
2013 J jnl
Application of Hybrid Agents to Smart Energy Management of a Prosumer Node.
Int. J. Interact. Multim. Artif. Intell.
Pasquale Caianiello, Stefania Costantini, Giovanni De Gasperis, Mario Gimenez De Lorenzo
2013 B conf
Negation as a Resource: A Novel View on Answer Set Semantics.
LPNMR
Stefania Costantini, Andrea Formisano
2013 — conf
Negation as a Resource: a Novel View on Answer Set Semantics.
CILC
Stefania Costantini, Andrea Formisano
2013 J jnl
Nested Weight Constraints in ASP.
Fundam. Informaticae
Stefania Costantini, Andrea Formisano
2013 J jnl
RASP and ASP as a fragment of linear logic.
J. Appl. Non Class. Logics
Stefania Costantini, Andrea Formisano
2013 A conf
Self-checking logical agents.
AAMAS
Stefania Costantini
2012 Misc conf
A Multi-Agent System for Industrial Fault Detection and Repair.
PAAMS
Vincenzo Bevar, Stefania Costantini, Arianna Tocchio, Giovanni De Gasperis
2012 — conf
Complex Reactivity with Preferences in Rule-Based Agents.
RuleML
Stefania Costantini, Giovanni De Gasperis
2012 — conf
DALI Logical Agents into Play.
PAI
Stefania Costantini, Annalisa D'Andrea, Giovanni De Gasperis, Niva Florio, Arianna Tocchio
2012 Misc conf
Demonstrator of a Multi-Agent System for Industrial Fault Detection and Repair.
PAAMS
Giovanni De Gasperis, Vincenzo Bevar, Stefania Costantini, Arianna Tocchio, Alessio Paolucci
2012 — conf
Preferences and Priorities in ASP.
CILC
Stefania Costantini, Andrea Formisano
2012 — conf
Self-checking Logical Agents.
LA-NMR
Stefania Costantini
2012 — conf
Strong Equivalence of RASP Programs.
Correct Reasoning
Stefania Costantini, Andrea Formisano, David Pearce
2012 — conf
Temporal Meta-Axioms in Logical Agents.
CILC
Stefania Costantini, Panagiota Tsintza
2011 — conf
A Framework for Structured Knowledge Extraction and Representation from Natural Language through Deep Sentence Analysis.
KDIR
Stefania Costantini, Niva Florio, Alessio Paolucci
2011 — conf
A framework for structured knowledge extraction and representation from natural language via deep sentence analysis.
CILC
Stefania Costantini, Niva Florio, Alessio Paolucci
2011 — conf
Augmenting Weight Constraints with Complex Preferences.
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning
Stefania Costantini, Andrea Formisano
2011 — conf
Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents.
RuleML Europe
Stefania Costantini, Pierangelo Dell'Acqua, Luís Moniz Pereira
2011 — conf
Conflict, Consistency and Truth-Dependencies in Graph Representations of Answer Set Logic Programs.
GKR
Stefania Costantini, Alessandro Provetti
2011 J jnl
DALI, RASP, mnemosine: Computational Logic at work.
Intelligenza Artificiale
Stefania Costantini, Alessio Paolucci, Arianna Tocchio, Panagiota Tsintza
2011 — conf
Defining and Maintaining Agent's Experience in Logical Agents.
LA-NMR
Stefania Costantini
2011 — conf
Michael Gelfond: Essay in Honour of His 65th Birthday.
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Stefania Costantini
2011 — conf
Nested Weight Constraints in ASP.
CILC
Stefania Costantini, Andrea Formisano
2011 B conf
Weight Constraints with Preferences in ASP.
LPNMR
Stefania Costantini, Andrea Formisano
2010 — conf
A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages.
CLIMA
Stefania Costantini, Arianna Tocchio
2010 J jnl
A Lower Bound for Answer Set Solver Computation.
Inteligencia Artif.
Stefania Costantini, Alessandro Provetti
2010 — conf
Answer Set Modules for Logical Agents.
Datalog
Stefania Costantini
2010 J jnl
Answer Set Programming with Resources.
J. Log. Comput.
Stefania Costantini, Andrea Formisano
2010 — conf
Ensuring Agent Properties under Arbitrary Sequences of Incoming Events.
RCRA@CPAIOR
Stefania Costantini, Pierangelo Dell'Acqua, Luís Moniz Pereira, Arianna Tocchio
2010 J jnl
Extending and Implementing RASP.
Fundam. Informaticae
Stefania Costantini, Andrea Formisano, Davide Petturiti
2010 — conf
Towards Translating Natural Language Sentences into ASP.
CILC
Stefania Costantini, Alessio Paolucci
2009 — conf
A Lower-Bound for Answer Set Solver Computation.
LA-NMR
Stefania Costantini, Alessandro Provetti
2009 J jnl
Editorial.
J. Log. Comput.
Stefania Costantini, Richard Watson
2009 B conf
Integrating Answer Set Modules into Agent Programs.
LPNMR
Stefania Costantini
2009 J jnl
Modeling preferences and conditional preferences on resource consumption and production in ASP.
J. Algorithms
Stefania Costantini, Andrea Formisano
2008 — conf
Conditional preferences in P-RASP.
LA-NMR
Stefania Costantini, Andrea Formisano
2008 — conf
Contracts Violation: Justification via Argumentation.
CLIMA
Stefania Costantini, Arianna Tocchio, Panagiota Tsintza
2008 — conf
DALI, RASP, Mnemosine: Computational Logic at Work.
Il Milione
Stefania Costantini, Alessio Paolucci, Arianna Tocchio, Panagiota Tsintza
2008 — conf
DALI: An Architecture for Intelligent Logical Agents.
AAAI Spring Symposium: Emotion, Personality, and Social Behavior
Stefania Costantini, Arianna Tocchio
2008 J jnl
DALICA: Agent-Based Ambient Intelligence for Cultural-Heritage Scenarios.
IEEE Intell. Syst.
Stefania Costantini, Leonardo Mostarda, Arianna Tocchio, Panagiota Tsintza
2007 — conf
A Geo Time Authentication System.
IFIPTM
Leonardo Mostarda, Arianna Tocchio, Paola Inverardi, Stefania Costantini
2007 — conf
A Heuristic Approach to P2P Negotiation.
CLIMA
Stefania Costantini, Arianna Tocchio, Panagiota Tsintza
2007 — conf
A Multi-layered General Agent Model.
AI*IA
Stefania Costantini, Arianna Tocchio, Francesca Toni, Panagiota Tsintza
2007 — conf
Agents and Security in a Cultural Assets Transport Scenario.
WOA
Stefania Costantini, Arianna Tocchio, Panagiota Tsintza, Leonardo Mostarda
2007 C conf
DALICA: Intelligent Agents for User Profile Deduction.
SEKE
Stefania Costantini, Leonardo Mostarda, Arianna Tocchio, Panagiota Tsintza
2007 — conf
Expressing Preferences Declaratively in Logic-based Agent Languages.
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning
Stefania Costantini, Arianna Tocchio, Pierangelo Dell'Acqua
2006 — conf
Expressing preferences declaratively in logic-based agent languages.
WOA
Stefania Costantini, Pierangelo Dell'Acqua, Arianna Tocchio
2006 J jnl
On the existence of stable models of non-stratified logic programs.
Theory Pract. Log. Program.
Stefania Costantini
2005 — conf
About Declarative Semantics of Logic-Based Agent Languages.
DALT
Stefania Costantini, Arianna Tocchio
2005 J jnl
Communication and trust in the DALI logic programming agent-oriented language.
Intelligenza Artificiale
Stefania Costantini, Arianna Tocchio, Alessia Verticchio
2005 — conf
Learning by Knowledge Exchange in Logical Agents.
WOA
Stefania Costantini, Arianna Tocchio
2005 J jnl
Normal forms for answer sets programming.
Theory Pract. Log. Program.
Stefania Costantini, Alessandro Provetti
2004 — conf
A Game-Theoretic Operational Semantics.
WOA
Arianna Tocchio, Stefania Costantini, Alessia Verticchio
2004 — conf
Component-Based Answer Set Programming.
LA-NMR
Stefania Costantini
2004 J jnl
Normal forms for Answer Sets Programming
CoRR
Stefania Costantini, Alessandro Provetti
2004 J jnl
On the existence of stable models of non-stratified logic programs
CoRR
Stefania Costantini
2004 — conf
Planning Experiments in the DALI Logic Programming Language.
CLIMA
Stefania Costantini, Arianna Tocchio
2004 B conf
The DALI Logic Programming Agent-Oriented Language.
JELIA
Stefania Costantini, Arianna Tocchio
2003 — conf
A Logic-Based Infrastructure for Reconfiguring Applications.
DALT
Marco Castaldi, Stefania Costantini, Stefano Gentile, Arianna Tocchio
2003 — ch.
An Environment for Specifying Properties of Dyadic Relations and Reasoning about Them: I: Language Extension Mechanisms.
Theory and Applications of Relational Structures as Knowledge Instruments
Pasquale Caianiello, Stefania Costantini, Eugenio G. Omodeo
2003 — conf
Context-Based Commonsense Reasoning in the DALI Logic Programming Language.
CONTEXT
Stefania Costantini, Arianna Tocchio
2003 — conf
Mappings Between Domain Models in Answer Set Programming.
APPIA-GULP-PRODE
Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo
2003 — conf
Mappings Between Domain Models in Answer Set Programming.
Answer Set Programming
Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo
2003 — conf
Strips-like Planning in the DALI Logic Programmming Language.
WOA
Stefania Costantini, Arianna Tocchio
2002 B conf
A Logic Programming Language for Multi-agent Systems.
JELIA
Stefania Costantini, Arianna Tocchio
2002 — conf
An Environment for Stepwise Map Specification and Reasoning in Prolog I: Three Language Extension Mechanisms.
APPIA-GULP-PRODE
Pasquale Caianiello, Stefania Costantini, Eugenio G. Omodeo
2002 C conf
Disjunctive Logic Programs with Inheritance Revisited.
ISMIS
Stefania Costantini, Ramón P. Otero, Alessandro Provetti, Tran Cao Son
2002 — conf
Meta-reasoning: A Survey.
Computational Logic: Logic Programming and Beyond
Stefania Costantini
2002 J jnl
On the equivalence and range of applicability of graph-based representations of logic programs.
Inf. Process. Lett.
Stefania Costantini, Ottavio M. D'Antona, Alessandro Provetti
2001 — conf
Comparing different graph representations of logic programs under the Answer Set semantics.
Answer Set Programming
Stefania Costantini
2000 J jnl
Reflection principles in computational logic.
J. Log. Comput.
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
1999 — conf
Computational Complexity of a Knowledge Compilation. Approach to the Static Semantics for Disjunctive Logic Programs.
APPIA-GULP-PRODE
Stefania Costantini, T. Morbidoni
1996 — conf
Asserting Lemmas in the Stable Model Semantics.
JICSLP
Stefania Costantini, Gaetano Aurelio Lanzarone, Giuseppe Magliocco
1996 C conf
Multiple Metareasoning Agents for Flexible Query-Answering Systems.
FQAS
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
1995 J jnl
A formal definition and a sound implementation of analogical reasoning in logic programming.
Ann. Math. Artif. Intell.
Stefania Costantini, Gaetano Aurelio Lanzarone, L. Sbarbaro
1995 J jnl
Contributions to the Stable Model Semantics of Logic Programs with Negation.
Theor. Comput. Sci.
Stefania Costantini
1995 J jnl
Explanation-Based Interpretation of Open-Textured Concepts in Logical Models of Legislation.
Artif. Intell. Law
Stefania Costantini, Gaetano Aurelio Lanzarone
1995 — conf
Semantical Properties of Encodings in Logic Programming.
ILPS
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
1995 B conf
Semantical Properties of SLD-Resolution with Reflection.
ICLP
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
1994 J jnl
A metalogic programming approach: language, semantics and applications.
J. Exp. Theor. Artif. Intell.
Stefania Costantini, Gaetano Aurelio Lanzarone
1994 — conf
Explanation-Based Learning of Open Textured Predicates in Logic Programming Models of Law.
ICLP Workshop: Legal Application of Logic Programming
S. Bertarello, Stefania Costantini, Gaetano Aurelio Lanzarone
1994 — conf
Extending Explanation-Based Generalization with Metalogic Programming.
GULP-PRODE (2)
S. Bertarello, Stefania Costantini, Gaetano Aurelio Lanzarone
1994 B conf
Extending Horn Clause Theories by Reflection Principles.
JELIA
Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone
1994 — conf
Integrating Reflection into SLD-Resolution.
ICLP Workshop: Proof-Theoretical Extensions on Logic Programming
Jonas Barklund, Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone
1994 J jnl
Metalevel Negation and Non-Monotonic Reasoning.
Methods Log. Comput. Sci.
Stefania Costantini, Gaetano Aurelio Lanzarone
1994 B conf
Reflection through Constraint Satisfaction.
ICLP
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
1994 — conf
SLD - Resolution with Reflection.
ILPS
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
1994 — conf
Static Semantics as Program Transformation and Well-founded Computation.
NMELP
Stefania Costantini, Gaetano Aurelio Lanzarone
1993 — conf
Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective Prolog.
GULP
D. Concari, Stefania Costantini, Gaetano Aurelio Lanzarone
1993 B conf
Contributions to the Stable Model Semantics of Logic Programs with Negation.
LPNMR
Stefania Costantini
1992 — conf
Reflective Agents in Metalogic Programming.
META
Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone
1991 — conf
Metalevel Represantation of Analogical Inference.
AI*IA
Stefania Costantini, Gaetano Aurelio Lanzarone
1991 — conf
On Procedural Semantics of Metalevel Negation.
RCLP
Stefania Costantini, Gaetano Aurelio Lanzarone
1990 B conf
Metalevel Negation in Non-Monotonic Reasoning.
LPNMR
Stefania Costantini, Gaetano Aurelio Lanzarone
1990 J jnl
Semantics of a Metalogic Programming Language.
Int. J. Found. Comput. Sci.
Stefania Costantini
1989 B conf
A Metalogic Programming Language.
ICLP
Stefania Costantini, Gaetano Aurelio Lanzarone