default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStefania Costantini
Person information
- affiliation: University of L'Aquila, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c164]Stefania Costantini, Andrea Formisano:
Solver Fast Prototyping for Reduct-based ELP Semantics. CILC 2024- [c163]Stefania Costantini, Pierangelo Dell'Acqua, Giovanni De Gasperis, Francesco Gullo, Andrea Rafanelli:
NEMO - A Neural, Emotional Architecture for Human-AI Teaming. CILC 2024 - [c162]Stefania Costantini, Pierangelo Dell'Acqua, Giovanni De Gasperis, Francesco Gullo, Andrea Rafanelli:
The NEMO co-pilot. Ital-IA 2024: 124-128 - [c161]Fabio Persia, Mouzhi Ge, Giovanni Pilato, Daniela D'Auria, Andrea Rafanelli, Stefania Costantini, Giovanni De Gasperis:
Leveraging DALI to Refine Route Planning by Dynamically Avoiding Risky POIs. ICSC 2024: 351-354 - [c160]Rafael H. Bordini, Stefania Costantini, Andrea Monaldini, Alina Vozna:
From pure Prolog to logic Agent-Oriented Programming Languages. WOA 2024: 252-266 - [c159]Giovanni De Gasperis, Daniele Di Ottavio, Patrizio Migliarini, Stefania Costantini:
SkRobot: A Pseudo-Realtime Multiplatform Framework For Robotics Agents Development. WOA 2024: 267-282 - [i13]Stefania Costantini:
Ensuring trustworthy and ethical behaviour in intelligent logical agents. CoRR abs/2402.07547 (2024) - 2023
- [j40]Carlo M. Bertoncelli, Stefania Costantini, Fabio Persia, Domenico Bertoncelli, Daniela D'Auria:
PredictMed-epilepsy: A multi-agent based system for epilepsy detection and prediction in neuropediatrics. Comput. Methods Programs Biomed. 236: 107548 (2023) - [j39]Andrea Rafanelli, Stefania Costantini, Giovanni De Gasperis:
Neural-logic multi-agent system for flood event detection. Intelligenza Artificiale 17(1): 19-35 (2023) - [j38]Pierangelo Dell'Acqua, Stefania Costantini:
Empathetic human-agent interaction via emotional behavior trees. Intelligenza Artificiale 17(1): 89-100 (2023) - [j37]Lorenzo De Lauretis
, Fabio Persia, Stefania Costantini, Daniela D'Auria:
How to leverage intelligent agents and complex event processing to improve patient monitoring. J. Log. Comput. 33(4): 900-935 (2023) - [j36]Giovanni De Gasperis, Stefania Costantini, Andrea Rafanelli, Patrizio Migliarini, Ivan Letteri, Abeer Dyoub:
Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking. J. Log. Comput. 33(8): 1712-1733 (2023) - [j35]Stefania Costantini, Enrico Pontelli, Alessandra Russo, Francesca Toni:
Introduction to the 39th International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. 23(4): 624-631 (2023) - [c158]Muhammad Asad, Giovanni De Gasperis, Stefania Costantini:
RBF Based NN Architecture for Structural Health Analysis of Railway Steel Bridges (Short paper). DC@AI*IA 2023 - [c157]Stefania Costantini, Carlo Maria Bertoncelli, Domenico Bertoncelli, Pasquale De Meo, Rino Falcone, Fabio Persia, Silvia Rossi:
The PredictMed-POMAS Architecture for Intelligent Patient Monitoring within a Complex Healthcare Ecosystem. HC@AIxIA 2023: 145-160 - [c156]Andrea Rafanelli, Stefania Costantini, Giovanni De Gasperis:
Experimenting an Approach to Neuro-Symbolic RL. IPS-RCRA-SPIRIT@AI*IA 2023 - [c155]Pierangelo Dell'Acqua, Stefania Costantini, Abeer Dyoub, Giovanni De Gasperis, Andrea Monaldini, Andrea Rafanelli:
Empathy-Aware Behavior Trees for Social Care Decision Systems. CENTERIS/ProjMAN/HCist 2023: 1727-1735 - [c154]Stefania Costantini, Andrea Formisano:
Fast Prototyping of a Solver for Reduct-based ELP Semantics. CILC 2023 - [c153]Stefania Costantini, Andrea Formisano, Valentina Pitoni:
Preference Management in Epistemic Logic L-DINF. CILC 2023 - [c152]Abeer Dyoub, Stefania Costantini, Andrea Monaldini, Pierangelo Dell'Acqua:
Towards Empathetic Care Robots. Ital-IA 2023: 335-340 - [c151]Stefania Costantini, Andrea Formisano, Valentina Pitoni:
A Timed Epistemic Logic for Formalizing Cooperation among Groups of Agents. WOA 2023: 151-166 - [e4]Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Alice Gaggl, Roberta Calegari, Artur S. d'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni:
Proceedings 39th International Conference on Logic Programming, ICLP 2023, Imperial College London, UK, 9th July 2023 - 15th July 2023. EPTCS 385, 2023 [contents] - [i12]Stefania Costantini, Andrea Formisano:
Epistemic Logic Programs: a study of some properties. CoRR abs/2309.16344 (2023) - 2022
- [j34]Abeer Dyoub, Stefania Costantini, Francesca Alessandra Lisi:
Learning Domain Ethical Principles from Interactions with Users. Digit. Soc. 1(3) (2022) - [j33]Stefania Costantini:
Ensuring trustworthy and ethical behaviour in intelligent logical agents. J. Log. Comput. 32(2): 443-478 (2022) - [j32]Lucia Cavallaro, Stefania Costantini, Pasquale De Meo, Antonio Liotta, Giovanni Stilo:
Network Connectivity Under a Probabilistic Node Failure Model. IEEE Trans. Netw. Sci. Eng. 9(4): 2463-2480 (2022) - [c150]Andrea Rafanelli, Stefania Costantini, Andrea Omicini:
Position Paper: On the Role of Abductive Reasoning in Semantic Image Segmentation. DP@AI*IA 2022: 75-84 - [c149]Stefania Costantini, Andrea Formisano, Valentina Pitoni:
Temporalizing Epistemic Logic L-DINF. CILC 2022: 119-133 - [c148]Lorenzo De Lauretis, Fabio Persia, Stefania Costantini:
An Intelligent Ecosystem to improve Patient Monitoring using Wearables and Artificial Intelligence. CILC 2022: 141-153 - [c147]Stefania Costantini, Andrea Formisano:
Epistemic Logic Programs: an approach to Semantic Comparison. CILC 2022: 186-200 - [c146]Stefania Costantini, Giovanni De Gasperis, Patrizio Migliarini:
Constraint-Procedural Logic Generated Environments for Deep Q-learning Agent training and benchmarking. CILC 2022: 268-278 - [c145]Lorenzo De Lauretis, Fabio Persia, Stefania Costantini:
Intelligent Agents and Complex Event Processing to enhance Patient Monitoring. Datalog 2022: 212-218 - [c144]Lorenzo De Lauretis, Stefania Costantini, Enrico Pallotta, Clara Balsano:
An Ontology of Medical Wearables. ICCE 2022: 1-4 - [c143]Stefania Costantini, Andrea Formisano:
Epistemic Logic Programs: a Novel Perspective and Some Extensions. ICLP Workshops 2022 - [c142]Stefania Costantini, Andrea Formisano, Valentina Pitoni:
Cognitive Aspects in Epistemic Logic L-DINF. CAKR@IJCAI 2022 - [c141]Lorenzo De Lauretis, Fabio Persia, Stefania Costantini:
A Smart Ecosystem to improve Patient Monitoring using Wearables, Intelligent Agents, Complex Event Processing and Image Processing. ISCC 2022: 1-7 - [c140]Abeer Dyoub, Stefania Costantini, Ivan Letteri:
Care Robots Learning Rules of Ethical Behavior Under the Supervision of an Ethical Teacher (Short paper). HYDRA/RCRA@LPNMR 2022: 1-8 - [c139]Stefania Costantini, Andrea Formisano:
Epistemic Logic Programs: A Study of Some Properties. LPNMR 2022: 131-144 - [c138]Stefania Costantini, Andrea Formisano, Valentina Pitoni:
Modelling Agents Roles in the Epistemic Logic L-DINF. NMR 2022: 70-79 - [c137]Stefania Costantini, Andrea Formisano, Valentina Pitoni:
Cooperation Among Groups of Agents in the Epistemic Logic L-DINF. RuleML+RR 2022: 280-295 - [c136]Stefania Costantini, Pierangelo Dell'Acqua:
Emotional behavior trees for empathetic human-automation interaction. WOA 2022: 1-16 - [c135]Andrea Rafanelli, Stefania Costantini, Giovanni De Gasperis:
A multi-agent-system framework for flooding events. WOA 2022: 142-151 - 2021
- [j31]Stefania Costantini, Andrea Formisano:
Adding Metalogic Features to Knowledge Representation Languages. Fundam. Informaticae 181(1): 71-98 (2021) - [j30]Stefania Costantini, Giovanni De Gasperis, Lorenzo De Lauretis:
An Application of Declarative Languages in Distributed Architectures: ASP and DALI Microservices. Int. J. Interact. Multim. Artif. Intell. 6(5): 66-78 (2021) - [c134]Stefania Costantini, Andrea Formisano, Valentina Pitoni:
A Logic of Inferable in Multi-Agent Systems with Budget and Costs. AAMAS 2021: 1483-1485 - [c133]Abeer Dyoub, Stefania Costantini, Francesca A. Lisi, Ivan Letteri:
Ethical Monitoring and Evaluation of Dialogues with a MAS. CILC 2021: 158-172 - [c132]Stefania Costantini, Lorenzo De Lauretis, Claudio Ferri, Jessica Giancola, Fabio Persia:
A Smart Health Assistant via DALI Logical Agents. CILC 2021: 173-187 - [c131]Stefania Costantini, Andrea Formisano, Valentina Pitoni:
An Epistemic Logic for Modular Development of Multi-Agent Systems. EMAS@AAMAS 2021: 72-91 - [c130]Stefania Costantini:
Top-down Splitting Property for Epistemic Logic Programs. ICLP Workshops 2021 - [c129]Lorenzo De Lauretis, Tiziano Lombardi, Stefania Costantini, Ludovica Clementini:
An Arduino-based Device to Detect Dangerous Audio Noises. IoTBDS 2021: 303-308 - [c128]Stefania Costantini, Andrea Formisano, Valentina Pitoni:
An Epistemic Logic for Multi-agent Systems with Budget and Costs. JELIA 2021: 101-115 - [c127]Fabio Persia, Stefania Costantini, Claudio Ferri, Lorenzo De Lauretis, Daniela D'Auria:
A Smart Framework for Automatically Analyzing Electrocardiograms. TransAI 2021: 64-67 - [c126]Abeer Dyoub, Stefania Costantini, Ivan Letteri, Francesca A. Lisi:
A Logic-based Multi-agent System for Ethical Monitoring and Evaluation of Dialogues. ICLP Technical Communications 2021: 182-188 - [i11]Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis, Andrea Formisano:
Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments"). CoRR abs/2106.06780 (2021) - [i10]Stefania Costantini:
Self-checking Logical Agents. CoRR abs/2111.05157 (2021) - 2020
- [c125]Stefania Costantini, Valentina Pitoni:
Towards a Logic of "Inferable" for Self-Aware Transparent Logical Agents. XAI.it@AI*IA 2020: 68-79 - [c124]Abeer Dyoub, Stefania Costantini, Francesca Alessandra Lisi, Ivan Letteri:
Logic-based Machine Learning for Transparent Ethical Agents. CILC 2020: 169-183 - [c123]Stefania Costantini:
Ensuring Trustworthy and Ethical Behavior in Intelligent Logical Agents. CILC 2020: 184-198 - [c122]Lorenzo De Lauretis, Tiziano Lombardi, Stefania Costantini:
EarSaver: A Device to Detect Dangerous Audio Noises. AAI4H@ECAI 2020: 4-7 - [c121]Barbara Gallina, Görkem Paçaci, David Johnson, Steve McKeever, Andreas Hamfelt, Stefania Costantini, Pierangelo Dell'Acqua, Gloria Cerasela Crisan:
Towards Explainable, Compliant and Adaptive Human-Automation Interaction. XAILA@JURIX 2020 - [c120]Abeer Dyoub, Stefania Costantini, Francesca A. Lisi, Giovanni De Gasperis:
Demo Paper: Monitoring and Evaluation of Ethical Behavior in Dialog Systems. PAAMS 2020: 403-407 - [c119]Stefania Costantini, Pasquale De Meo, Angelo Giorgianni, Valentina Migliorato, Alessandro Provetti, Federico Salvia:
Exploring Low-degree nodes first accelerates Network Exploration. WebSci 2020: 241-249 - [c118]Rafael H. Bordini, Viviana Mascardi, Stefania Costantini, Amal El Fallah Seghrouchni, Yves Lespérance, Alessandro Ricci:
Transcultural Health-Aware Guides for the Elderly. WOA 2020: 135-146 - [c117]Abeer Dyoub, Stefania Costantini, Francesca A. Lisi:
Logic Programming and Machine Ethics. ICLP Technical Communications 2020: 6-17 - [c116]Stefania Costantini, Lorenzo De Lauretis:
An application of Answer Set Programming in Distributed Architectures: ASP Microservices. ICLP Technical Communications 2020: 230-243 - [e3]Yves Demazeau, Tom Holvoet, Juan M. Corchado, Stefania Costantini:
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. Lecture Notes in Computer Science 12092, Springer 2020, ISBN 978-3-030-49777-4 [contents] - [i9]Stefania Costantini, Pasquale De Meo, Angelo Giorgianni, Valentina Migliorato, Alessandro Provetti, Federico Salvia:
Exploring Low-degree Nodes First Accelerates Network Exploration. CoRR abs/2005.08050 (2020) - [i8]Lucia Cavallaro, Stefania Costantini, Pasquale De Meo, Antonio Liotta, Giovanni Stilo:
Network connectivity under a probabilistic node failure model. CoRR abs/2006.13551 (2020)
2010 – 2019
- 2019
- [j29]Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis, Andrea Formisano:
Multi-context systems in dynamic environments. Ann. Math. Artif. Intell. 86(1-3): 87-120 (2019) - [j28]Stefania Costantini, Giovanni De Gasperis, Raffaele Olivieri:
Digital forensics and investigations meet artificial intelligence. Ann. Math. Artif. Intell. 86(1-3): 193-229 (2019) - [j27]Stefania Costantini:
About Epistemic Negation and World Views in Epistemic Logic Programs. Theory Pract. Log. Program. 19(5-6): 790-807 (2019) - [c115]Stefania Costantini, Francesca A. Lisi, Raffaele Olivieri:
Knowledge Representation and Reasoning meets Digital Forensics: The COST Action DigForASP (short paper). RCRA/RiCeRcA@AI*IA 2019 - [c114]Abeer Dyoub, Stefania Costantini, Francesca A. Lisi:
An Approach Towards Ethical Chatbots in Customer Service. AIRO@AI*IA 2019: 1-5 - [c113]Stefania Costantini, Andrea Formisano:
Augmenting Datalog± with Customizable Metalogic Features for Powerful Ontological Reasoning. AI*IA 2019: 30-45 - [c112]Stefania Costantini, Valentina Pitoni:
Memory Management in Resource-Bounded Agents. AI*IA 2019: 46-58 - [c111]Stefania Costantini, Giovanni De Gasperis, Patrizio Migliarini:
Multi-agent System Engineering for Emphatic Human-Robot Interaction. AIKE 2019: 36-42 - [c110]Stefania Costantini, Andrea Formisano:
Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features. CILC 2019: 14-29 - [c109]Stefania Costantini, Francesca Alessandra Lisi, Raffaele Olivieri:
DigForASP: A European Cooperation Network for Logic-based AI in Digital Forensics. CILC 2019: 138-146 - [c108]Stefania Costantini, Valentina Pitoni:
Reasoning about Memory Management in Resource-Bounded Agents. CILC 2019: 217-228 - [c107]Abeer Dyoub, Stefania Costantini, Francesca Alessandra Lisi:
Learning Answer Set Programming Rules For Ethical Machines. CILC 2019: 300-315 - [c106]Lorenzo De Lauretis, Stefania Costantini:
An Ontology to Improve the First Aid Service Quality. CILC 2019 - [c105]Abeer Dyoub, Stefania Costantini, Francesca A. Lisi:
Towards an ILP Application in Machine Ethics. ILP 2019: 26-35 - [c104]Stefania Costantini, Valentina Pitoni:
K-ACE: A Flexible Environment for Knowledge-Aware Multi-Agent Systems. PRIMA 2019: 19-35 - [c103]Lorenzo De Lauretis, Stefania Costantini, Ivan Letteri:
An ontology to improve the first aid service quality. SMC 2019: 1479-1483 - [c102]Abeer Dyoub, Stefania Costantini, Francesca A. Lisi:
Towards Ethical Machines Via Logic Programming. ICLP Technical Communications 2019: 333-339 - [c101]Valentina Pitoni, Stefania Costantini:
A Temporal Module for Logical Frameworks. ICLP Technical Communications 2019: 340-346 - [i7]Stefania Costantini:
About epistemic negation and world views in Epistemic Logic Programs. CoRR abs/1907.09867 (2019) - 2018
- [j26]Stefania Costantini, Andrea Formisano:
Augmenting agent computational environments with quantitative reasoning modules and customisable bridge rules. Int. J. Agent Oriented Softw. Eng. 6(3/4): 245-274 (2018) - [j25]Abeer Dyoub, Stefania Costantini, Giovanni De Gasperis:
Answer set programming and agents. Knowl. Eng. Rev. 33: e19 (2018) - [c100]Stefania Costantini, Giovanni De Gasperis:
Flexible Goal-Directed Agents' Behavior via DALI MASs and ASP Modules. AAAI Spring Symposia 2018 - [c99]Stefania Costantini, Giovanni De Gasperis, Abeer Dyoub, Valentina Pitoni:
Trustworthiness and Safety for Intelligent Ethical Logical Agents via Interval Temporal Logic and Runtime Self-Checking. AAAI Spring Symposia 2018 - [c98]Stefania Costantini, Andrea Formisano, Valentina Pitoni:
Timed Memory in Resource-Bounded Agents. AI*IA 2018: 15-29 - [c97]Stefania Costantini, Giovanni De Gasperis:
Dynamic Goal Decomposition and Planning in MAS for Highly Changing Environments. CILC 2018: 40-54 - [c96]Stefania Costantini, Abeer Dyoub, Valentina Pitoni:
Towards Humanized Ethical Intelligent Agents: the role of Reflection and Introspection. CILC 2018: 82-96 - [c95]Stefania Costantini, Abeer Dyoub, Valentina Pitoni:
Reflection and Introspection for Humanized Intelligent Agents. Bridging@IJCAI/ECAI 2018: 19-26 - 2017
- [c94]Stefania Costantini, Giovanni De Gasperis, Valentina Pitoni, Agnese Salutari:
DALI: A Multi Agent System Framework for the Web, Cognitive Robotic and Complex Event Processing. ICTCS/CILC 2017: 286-300 - [c93]Pedro Cabalar, Stefania Costantini, Andrea Formisano:
Multi-Context Systems: Dynamics and Evolution. ASPOCP@LPNMR 2017 - [c92]Stefania Costantini, Giovanni De Gasperis, Giulio Nazzicone:
DALI for Cognitive Robotics: Principles and Prototype Implementation. PADL 2017: 152-162 - [e2]Nick Bassiliades, Antonis Bikakis, Stefania Costantini, Enrico Franconi, Adrian Giurca, Roman Kontchakov, Theodore Patkos, Fariba Sadri, William Van Woensel:
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. CEUR Workshop Proceedings 1875, CEUR-WS.org 2017 [contents] - [e1]Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman:
Rules and Reasoning - International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings. Lecture Notes in Computer Science 10364, Springer 2017, ISBN 978-3-319-61251-5 [contents] - 2016
- [j24]Stefania Costantini, Andrea Formisano:
Query answering in resource-based answer set semantics. Theory Pract. Log. Program. 16(5-6): 619-635 (2016) - [c91]Stefania Costantini, Andrea Formisano:
Augmenting Agent Computational Environments with Quantitative Reasoning Modules and Customizable Bridge Rules. AAMAS Workshops (Visionary Papers) 2016: 104-121 - [c90]Stefania Costantini, Andrea Formisano:
Augmenting Agent Computational Environments with Quantitative Reasoning Modules and Customizable Bridge Rules. EMAS@AAMAS 2016: 192-209 - [c89]Stefania Costantini, Andrea Formisano:
Budget-Constrained Reasoning in Agent Computational Environments: (Extended Abstract). AAMAS 2016: 1311-1312 - [c88]Stefania Costantini, Andrea Formisano:
Multi-Context Systems in Time. ECAI 2016: 1680-1681 - [c87]Federica Aielli, Davide Ancona, Pasquale Caianiello, Stefania Costantini, Giovanni De Gasperis, Antinisca Di Marco, Angelo Ferrando, Viviana Mascardi:
FRIENDLY & KIND with your Health: Human-Friendly Knowledge-INtensive Dynamic Systems for the e-Health Domain. PAAMS (Workshops) 2016: 15-26 - [c86]Stefania Costantini, Giovanni De Gasperis:
Bridge Rules for Reasoning in Component-Based Heterogeneous Environments. RuleML 2016: 97-112 - [i6]Stefania Costantini, Andrea Formisano:
Query Answering in Resource-Based Answer Set Semantics. CoRR abs/1608.01604 (2016) - 2015
- [j23]Stefania Costantini, Andrea Formisano:
Negation as a Resource: a Novel View on Answer Set Semantics. Fundam. Informaticae 140(3-4): 279-305 (2015) - [j22]Stefania Costantini, Federico Gobbo:
Elio Lanzarone: a life for science. J. Log. Comput. 25(6): 1371-1378 (2015) - [c85]Pasquale Caianiello, Stefania Costantini, Giovanni De Gasperis, Subhasis Thakur:
Cooperating with Trusted Parties Would Make Life Easier. AI*IA 2015: 128-135 - [c84]Stefania Costantini:
ACE: A Flexible Environment for Complex Event Processing in Logical Agents. EMAS@AAMAS 2015: 70-91 - [c83]Stefania Costantini, Giovanni De Gasperis, Raffaele Olivieri:
How Answer Set Programming can help in digital forensic investigation. CILC 2015: 53-65 - [c82]Stefania Costantini, Giovanni De Gasperis, Giulio Nazzicone:
Exploration of Unknown Territory via DALI Agents and ASP Modules. DCAI 2015: 285-292 - [c81]Stefania Costantini:
Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous Environments. LPNMR 2015: 228-241 - [c80]Stefania Costantini, Giovanni De Gasperis, Raffaele Olivieri:
Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses. LPNMR 2015: 242-249 - [c79]Stefania Costantini, Giovanni De Gasperis:
Exchanging Data and Ontological Definitions in Multi-Agent-Contexts Systems. Challenge+DC@RuleML 2015 - 2014
- [c78]Stefania Costantini, Régis Riveret:
Event-action modules for complex reactivity in logical agents. AAMAS 2014: 1503-1504 - [c77]Stefania Costantini, Andrea Formisano:
Query Answering in Resource-Based Answer Set Semantics. CILC 2014: 69-83 - [c76]Stefania Costantini, Giovanni De Gasperis:
Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent Systems. CILC 2014: 241-255 - [c75]Stefania Costantini, Régis Riveret:
Complex Events and Actions in Logical Agents. CILC 2014: 256-271 - [i5]Gianpaolo Brignoli, Stefania Costantini, Ottavio M. D'Antona, Alessandro Provetti:
Characterizing and computing stable models of logic programs: The non-stratified case. CoRR abs/1402.5436 (2014) - [i4]Stefania Costantini:
Towards Active Logic Programming. CoRR abs/1403.5508 (2014) - [i3]Stefania Costantini:
Committment-Based Data-Aware Multi-Agent-Contexts Systems. CoRR abs/1410.2063 (2014) - 2013
- [j21]Stefania Costantini, Andrea Formisano:
Nested Weight Constraints in ASP. Fundam. Informaticae 124(4): 449-464 (2013) - [j20]Pasquale Caianiello, Stefania Costantini, Giovanni De Gasperis, Mario Gimenez De Lorenzo:
Application of Hybrid Agents to Smart Energy Management of a Prosumer Node. Int. J. Interact. Multim. Artif. Intell. 2(4): 60-66 (2013) - [j19]Stefania Costantini, Andrea Formisano:
RASP and ASP as a fragment of linear logic. J. Appl. Non Class. Logics 23(1-2): 49-74 (2013) - [c74]Stefania Costantini:
Self-checking logical agents. AAMAS 2013: 1329-1330 - [c73]Stefania Costantini, Andrea Formisano:
Negation as a Resource: a Novel View on Answer Set Semantics. CILC 2013: 17-31 - [c72]Stefania Costantini, Giovanni De Gasperis, Niva Florio, Claudia Zuppella:
An ASP-based System for Preference Handling and Planning. CILC 2013: 253-257 - [c71]Pasquale Caianiello, Stefania Costantini, Giovanni De Gasperis, Niva Florio, Federico Gobbo:
Application of Hybrid Agents to Smart Energy Management of a Prosumer Node. DCAI 2013: 597-607 - [c70]Stefania Costantini, Andrea Formisano:
Negation as a Resource: A Novel View on Answer Set Semantics. LPNMR 2013: 257-263 - 2012
- [c69]Stefania Costantini, Annalisa D'Andrea, Giovanni De Gasperis, Niva Florio, Arianna Tocchio:
DALI Logical Agents into Play. PAI 2012: 79-85 - [c68]Stefania Costantini, Andrea Formisano, David Pearce:
Strong Equivalence of RASP Programs. Correct Reasoning 2012: 149-163 - [c67]Stefania Costantini, Andrea Formisano:
Preferences and Priorities in ASP. CILC 2012: 47-58 - [c66]Stefania Costantini, Panagiota Tsintza:
Temporal Meta-Axioms in Logical Agents. CILC 2012: 59-73 - [c65]Stefania Costantini:
Self-checking Logical Agents. LA-NMR 2012: 3-30 - [c64]Vincenzo Bevar, Stefania Costantini, Arianna Tocchio, Giovanni De Gasperis:
A Multi-Agent System for Industrial Fault Detection and Repair. PAAMS 2012: 47-55 - [c63]Giovanni De Gasperis, Vincenzo Bevar, Stefania Costantini, Arianna Tocchio, Alessio Paolucci:
Demonstrator of a Multi-Agent System for Industrial Fault Detection and Repair. PAAMS 2012: 237-240 - [c62]Stefania Costantini, Giovanni De Gasperis:
Complex Reactivity with Preferences in Rule-Based Agents. RuleML 2012: 167-181 - 2011
- [j18]Stefania Costantini, Alessio Paolucci, Arianna Tocchio, Panagiota Tsintza:
DALI, RASP, mnemosine: Computational Logic at work. Intelligenza Artificiale 5(1): 107-111 (2011) - [c61]Stefania Costantini, Andrea Formisano:
Augmenting Weight Constraints with Complex Preferences. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011 - [c60]Stefania Costantini:
Michael Gelfond: Essay in Honour of His 65th Birthday. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 344-346 - [c59]Stefania Costantini, Niva Florio, Alessio Paolucci:
A framework for structured knowledge extraction and representation from natural language via deep sentence analysis. CILC 2011: 297-310 - [c58]Stefania Costantini, Andrea Formisano:
Nested Weight Constraints in ASP. CILC 2011: 371-383 - [c57]Stefania Costantini, Alessandro Provetti:
Conflict, Consistency and Truth-Dependencies in Graph Representations of Answer Set Logic Programs. GKR 2011: 68-90 - [c56]Stefania Costantini, Niva Florio, Alessio Paolucci:
A Framework for Structured Knowledge Extraction and Representation from Natural Language through Deep Sentence Analysis. KDIR 2011: 282-287 - [c55]Stefania Costantini:
Defining and Maintaining Agent's Experience in Logical Agents. LA-NMR 2011: 151-165 - [c54]Stefania Costantini, Andrea Formisano:
Weight Constraints with Preferences in ASP. LPNMR 2011: 229-235 - [c53]Stefania Costantini, Pierangelo Dell'Acqua, Luís Moniz Pereira:
Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents. RuleML Europe 2011: 250-265 - 2010
- [j17]Stefania Costantini, Alessandro Provetti:
A Lower Bound for Answer Set Solver Computation. Inteligencia Artif. 14(48): 41-52 (2010) - [j16]Stefania Costantini, Andrea Formisano, Davide Petturiti:
Extending and Implementing RASP. Fundam. Informaticae 105(1-2): 1-33 (2010) - [j15]Stefania Costantini, Andrea Formisano:
Answer Set Programming with Resources. J. Log. Comput. 20(2): 533-571 (2010) - [c52]Stefania Costantini, Alessio Paolucci:
Towards Translating Natural Language Sentences into ASP. CILC 2010 - [c51]Stefania Costantini, Arianna Tocchio:
A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages. CLIMA 2010: 238-255 - [c50]Stefania Costantini, Pierangelo Dell'Acqua, Luís Moniz Pereira, Arianna Tocchio:
Ensuring Agent Properties under Arbitrary Sequences of Incoming Events. RCRA@CPAIOR 2010 - [c49]Stefania Costantini:
Answer Set Modules for Logical Agents. Datalog 2010: 37-58
2000 – 2009
- 2009
- [j14]Stefania Costantini, Andrea Formisano:
Modeling preferences and conditional preferences on resource consumption and production in ASP. J. Algorithms 64(1): 3-15 (2009) - [j13]Stefania Costantini, Richard Watson:
Editorial. J. Log. Comput. 19(4): 537-538 (2009) - [c48]Stefania Costantini, Alessandro Provetti:
A Lower-Bound for Answer Set Solver Computation. LA-NMR 2009: 183-198 - [c47]Stefania Costantini:
Integrating Answer Set Modules into Agent Programs. LPNMR 2009: 613-615 - 2008
- [j12]Stefania Costantini, Leonardo Mostarda, Arianna Tocchio, Panagiota Tsintza:
DALICA: Agent-Based Ambient Intelligence for Cultural-Heritage Scenarios. IEEE Intell. Syst. 23(2): 34-41 (2008) - [c46]Stefania Costantini, Arianna Tocchio:
DALI: An Architecture for Intelligent Logical Agents. AAAI Spring Symposium: Emotion, Personality, and Social Behavior 2008: 13-18 - [c45]Stefania Costantini, Alessio Paolucci, Arianna Tocchio, Panagiota Tsintza:
DALI, RASP, Mnemosine: Computational Logic at Work. Il Milione 2008 - [c44]Stefania Costantini, Arianna Tocchio, Panagiota Tsintza:
Contracts Violation: Justification via Argumentation. CLIMA 2008: 132-153 - [c43]Stefania Costantini, Andrea Formisano:
Conditional preferences in P-RASP. LA-NMR 2008 - 2007
- [c42]Stefania Costantini, Arianna Tocchio, Pierangelo Dell'Acqua:
Expressing Preferences Declaratively in Logic-based Agent Languages. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2007: 41-46 - [c41]Stefania Costantini, Arianna Tocchio, Francesca Toni, Panagiota Tsintza:
A Multi-layered General Agent Model. AI*IA 2007: 121-132 - [c40]Stefania Costantini, Arianna Tocchio, Panagiota Tsintza:
A Heuristic Approach to P2P Negotiation. CLIMA 2007: 177-192 - [c39]Leonardo Mostarda, Arianna Tocchio, Paola Inverardi, Stefania Costantini:
A Geo Time Authentication System. IFIPTM 2007: 123-138 - [c38]Stefania Costantini, Leonardo Mostarda, Arianna Tocchio, Panagiota Tsintza:
DALICA: Intelligent Agents for User Profile Deduction. SEKE 2007: 660- - [c37]Stefania Costantini, Arianna Tocchio, Panagiota Tsintza, Leonardo Mostarda:
Agents and Security in a Cultural Assets Transport Scenario. WOA 2007: 78-86 - 2006
- [j11]Stefania Costantini:
On the existence of stable models of non-stratified logic programs. Theory Pract. Log. Program. 6(1-2): 169-212 (2006) - [c36]Stefania Costantini, Pierangelo Dell'Acqua, Arianna Tocchio:
Expressing preferences declaratively in logic-based agent languages. WOA 2006 - 2005
- [j10]Stefania Costantini, Arianna Tocchio, Alessia Verticchio:
Communication and trust in the DALI logic programming agent-oriented language. Intelligenza Artificiale 2(1): 39-46 (2005) - [j9]Stefania Costantini, Alessandro Provetti:
Normal forms for answer sets programming. Theory Pract. Log. Program. 5(6): 747-760 (2005) - [c35]Stefania Costantini, Arianna Tocchio:
About Declarative Semantics of Logic-Based Agent Languages. DALT 2005: 106-123 - [c34]Stefania Costantini, Arianna Tocchio:
Learning by Knowledge Exchange in Logical Agents. WOA 2005: 1-8 - 2004
- [c33]Stefania Costantini, Arianna Tocchio:
Planning Experiments in the DALI Logic Programming Language. CLIMA 2004: 89-107 - [c32]Stefania Costantini, Arianna Tocchio:
The DALI Logic Programming Agent-Oriented Language. JELIA 2004: 685-688 - [c31]Stefania Costantini:
Component-Based Answer Set Programming. LA-NMR 2004 - [c30]Arianna Tocchio, Stefania Costantini, Alessia Verticchio:
A Game-Theoretic Operational Semantics. WOA 2004: 13-21 - [i2]Stefania Costantini:
On the existence of stable models of non-stratified logic programs. CoRR abs/cs/0412105 (2004) - [i1]Stefania Costantini, Alessandro Provetti:
Normal forms for Answer Sets Programming. CoRR cs.AI/0410014 (2004) - 2003
- [c29]Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo:
Mappings Between Domain Models in Answer Set Programming. APPIA-GULP-PRODE 2003: 147-158 - [c28]Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo:
Mappings Between Domain Models in Answer Set Programming. Answer Set Programming 2003 - [c27]Stefania Costantini, Arianna Tocchio:
Context-Based Commonsense Reasoning in the DALI Logic Programming Language. CONTEXT 2003: 443-450 - [c26]Marco Castaldi, Stefania Costantini, Stefano Gentile, Arianna Tocchio:
A Logic-Based Infrastructure for Reconfiguring Applications. DALT 2003: 17-36 - [c25]Stefania Costantini, Arianna Tocchio:
Strips-like Planning in the DALI Logic Programmming Language. WOA 2003: 115-120 - [p1]Pasquale Caianiello, Stefania Costantini, Eugenio G. Omodeo:
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 2003: 87-106 - 2002
- [j8]Stefania Costantini, Ottavio M. D'Antona, Alessandro Provetti:
On the equivalence and range of applicability of graph-based representations of logic programs. Inf. Process. Lett. 84(5): 241-249 (2002) - [c24]Pasquale Caianiello, Stefania Costantini, Eugenio G. Omodeo:
An Environment for Stepwise Map Specification and Reasoning in Prolog I: Three Language Extension Mechanisms. APPIA-GULP-PRODE 2002: 87- - [c23]Stefania Costantini:
Meta-reasoning: A Survey. Computational Logic: Logic Programming and Beyond 2002: 253-288 - [c22]Stefania Costantini, Ramón P. Otero, Alessandro Provetti, Tran Cao Son:
Disjunctive Logic Programs with Inheritance Revisited. ISMIS 2002: 294-302 - [c21]Stefania Costantini, Arianna Tocchio:
A Logic Programming Language for Multi-agent Systems. JELIA 2002: 1-13 - 2001
- [c20]Stefania Costantini:
Comparing different graph representations of logic programs under the Answer Set semantics. Answer Set Programming 2001 - 2000
- [j7]Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone:
Reflection principles in computational logic. J. Log. Comput. 10(6): 743-786 (2000)
1990 – 1999
- 1999
- [c19]Stefania Costantini, T. Morbidoni:
Computational Complexity of a Knowledge Compilation. Approach to the Static Semantics for Disjunctive Logic Programs. APPIA-GULP-PRODE 1999: 575-588 - 1996
- [c18]Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone:
Multiple Metareasoning Agents for Flexible Query-Answering Systems. FQAS 1996: 155-166 - [c17]Stefania Costantini, Gaetano Aurelio Lanzarone, Giuseppe Magliocco:
Asserting Lemmas in the Stable Model Semantics. JICSLP 1996: 438-452 - 1995
- [j6]Stefania Costantini, Gaetano Aurelio Lanzarone:
Explanation-Based Interpretation of Open-Textured Concepts in Logical Models of Legislation. Artif. Intell. Law 3(3): 191-208 (1995) - [j5]Stefania Costantini, Gaetano Aurelio Lanzarone, L. Sbarbaro:
A formal definition and a sound implementation of analogical reasoning in logic programming. Ann. Math. Artif. Intell. 14(1): 17-36 (1995) - [j4]Stefania Costantini:
Contributions to the Stable Model Semantics of Logic Programs with Negation. Theor. Comput. Sci. 149(2): 231-255 (1995) - [c16]Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone:
Semantical Properties of SLD-Resolution with Reflection. ICLP 1995: 830 - [c15]Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone:
Semantical Properties of Encodings in Logic Programming. ILPS 1995: 288-302 - 1994
- [j3]Stefania Costantini, Gaetano Aurelio Lanzarone:
A metalogic programming approach: language, semantics and applications. J. Exp. Theor. Artif. Intell. 6(3): 239-287 (1994) - [j2]Stefania Costantini, Gaetano Aurelio Lanzarone:
Metalevel Negation and Non-Monotonic Reasoning. Methods Log. Comput. Sci. 1(1): 111- (1994) - [c14]S. Bertarello, Stefania Costantini, Gaetano Aurelio Lanzarone:
Extending Explanation-Based Generalization with Metalogic Programming. GULP-PRODE (2) 1994: 16-31 - [c13]Jonas Barklund, Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone:
Integrating Reflection into SLD-Resolution. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming 1994 - [c12]Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone:
Reflection through Constraint Satisfaction. ICLP 1994: 742 - [c11]S. Bertarello, Stefania Costantini, Gaetano Aurelio Lanzarone:
Explanation-Based Learning of Open Textured Predicates in Logic Programming Models of Law. ICLP Workshop: Legal Application of Logic Programming 1994 - [c10]Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone:
Extending Horn Clause Theories by Reflection Principles. JELIA 1994: 400-413 - [c9]Stefania Costantini, Gaetano Aurelio Lanzarone:
Static Semantics as Program Transformation and Well-founded Computation. NMELP 1994: 156-180 - [c8]Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone:
SLD - Resolution with Reflection. ILPS 1994: 554-568 - 1993
- [c7]D. Concari, Stefania Costantini, Gaetano Aurelio Lanzarone:
Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective Prolog. GULP 1993: 285-300 - [c6]Stefania Costantini:
Contributions to the Stable Model Semantics of Logic Programs with Negation. LPNMR 1993: 190-205 - 1992
- [c5]Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone:
Reflective Agents in Metalogic Programming. META 1992: 135-147 - 1991
- [c4]Stefania Costantini, Gaetano Aurelio Lanzarone:
Metalevel Represantation of Analogical Inference. AI*IA 1991: 460-464 - [c3]Stefania Costantini, Gaetano Aurelio Lanzarone:
On Procedural Semantics of Metalevel Negation. RCLP 1991: 140-151 - 1990
- [j1]Stefania Costantini:
Semantics of a Metalogic Programming Language. Int. J. Found. Comput. Sci. 1(3): 233-248 (1990) - [c2]Stefania Costantini, Gaetano Aurelio Lanzarone:
Metalevel Negation in Non-Monotonic Reasoning. LPNMR 1990: 19-26
1980 – 1989
- 1989
- [c1]Stefania Costantini, Gaetano Aurelio Lanzarone:
A Metalogic Programming Language. ICLP 1989: 218-233
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-11 17:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
