Stefania Costantini
Orcid: 0000-0002-5686-6124Affiliations:
- University of L'Aquila, Italy
According to our database1,
Stefania Costantini
authored at least 200 papers
between 1989 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
On csauthors.net:
Bibliography
2024
Theory Pract. Log. Program., March, 2024
Proceedings of the 25th Workshop "From Objects to Agents", 2024
Proceedings of the 25th Workshop "From Objects to Agents", 2024
Proceedings of the 18th IEEE International Conference on Semantic Computing, 2024
Proceedings of the International Workshop on Artificial Intelligence for Climate Change, 2024
Proceedings of the 3rd AIxIA Workshop on Artificial Intelligence For Healthcare (HC@AIxIA 2024) co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024), 2024
Proceedings of the 39th Italian Conference on Computational Logic, 2024
Proceedings of the 39th Italian Conference on Computational Logic, 2024
2023
Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking.
J. Log. Comput., December, 2023
Introduction to the 39<sup>th</sup> International Conference on Logic Programming Special Issue.
Theory Pract. Log. Program., July, 2023
How to leverage intelligent agents and complex event processing to improve patient monitoring.
J. Log. Comput., June, 2023
PredictMed-epilepsy: A multi-agent based system for epilepsy detection and prediction in neuropediatrics.
Comput. Methods Programs Biomed., June, 2023
Intelligenza Artificiale, 2023
Intelligenza Artificiale, 2023
Proceedings of the 24th Workshop "From Objects to Agents", 2023
Proceedings of the Italia Intelligenza Artificiale, 2023
Proceedings of the 38th Italian Conference on Computational Logic, 2023
Proceedings of the 38th Italian Conference on Computational Logic, 2023
Proceedings of the CENTERIS 2023 - International Conference on ENTERprise Information Systems / ProjMAN - International Conference on Project MANagement / HCist, 2023
Proceedings of the the Italian Workshop on Planning and Scheduling, 2023
The PredictMed-POMAS Architecture for Intelligent Patient Monitoring within a Complex Healthcare Ecosystem.
Proceedings of the 2nd AIxIA Workshop on Artificial Intelligence For Healthcare (HC@AIxIA 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023
RBF Based NN Architecture for Structural Health Analysis of Railway Steel Bridges (Short paper).
Proceedings of the AIxIA Doctoral Consortium 2023 co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023
2022
Digit. Soc., December, 2022
IEEE Trans. Netw. Sci. Eng., 2022
J. Log. Comput., 2022
Proceedings of the 23rd Workshop "From Objects to Agents", 2022
Proceedings of the 23rd Workshop "From Objects to Agents", 2022
Proceedings of the Rules and Reasoning, 2022
Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 2022
Care Robots Learning Rules of Ethical Behavior Under the Supervision of an Ethical Teacher (Short paper).
Proceedings of the Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), 2022
A Smart Ecosystem to improve Patient Monitoring using Wearables, Intelligent Agents, Complex Event Processing and Image Processing.
Proceedings of the IEEE Symposium on Computers and Communications, 2022
Proceedings of the Workshop on Cognitive Aspects of Knowledge Representation co-located with the 31st international join conference on artificial intelligence (IJCAI-ECAI 2022), 2022
Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022
Proceedings of the IEEE International Conference on Consumer Electronics, 2022
Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022
An Intelligent Ecosystem to improve Patient Monitoring using Wearables and Artificial Intelligence.
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022
Constraint-Procedural Logic Generated Environments for Deep Q-learning Agent training and benchmarking.
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022
Proceedings of the Discussion Papers - 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022 DP), Udine, Italy, November 28, 2022
2021
An Application of Declarative Languages in Distributed Architectures: ASP and DALI Microservices.
Int. J. Interact. Multim. Artif. Intell., 2021
Fundam. Informaticae, 2021
Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 2021
Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments").
CoRR, 2021
Proceedings of the Third International Conference on Transdisciplinary AI, 2021
Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021
Proceedings of the 6th International Conference on Internet of Things, 2021
Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021
Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021
Proceedings of the 36th Italian Conference on Computational Logic, 2021
Proceedings of the 36th Italian Conference on Computational Logic, 2021
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021
2020
Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020
An application of Answer Set Programming in Distributed Architectures: ASP Microservices.
Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020
Proceedings of the Workshop on 21st Workshop "From Objects to Agents", 2020
Proceedings of the WebSci '20: 12th ACM Conference on Web Science, 2020
Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection, 2020
Proceedings of the 3rd EXplainable AI in Law Workshop (XAILA 2020) co-located with 33rd International Conference on Legal Knowledge and Information Systems (JURIX 2020), 2020
Proceedings of the First International AAI4H, 2020
Proceedings of the 35th Italian Conference on Computational Logic, 2020
Proceedings of the 35th Italian Conference on Computational Logic, 2020
Proceedings of the Italian Workshop on Explainable Artificial Intelligence co-located with 19th International Conference of the Italian Association for Artificial Intelligence, 2020
2019
Theory Pract. Log. Program., 2019
Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019
Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019
Ann. Math. Artif. Intell., 2019
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019
Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019
Proceedings of the Inductive Logic Programming - 29th International Conference, 2019
An Ontology to Improve the First Aid Service Quality.
Proceedings of the 34th Italian Conference on Computational Logic, 2019
Proceedings of the 34th Italian Conference on Computational Logic, 2019
Proceedings of the 34th Italian Conference on Computational Logic, 2019
Proceedings of the 34th Italian Conference on Computational Logic, 2019
Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features.
Proceedings of the 34th Italian Conference on Computational Logic, 2019
Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2019
Proceedings of the 6th Italian Workshop on Artificial Intelligence and Robotics co-located with the XVIII International Conference of the Italian Association for Artificial Intelligence (AI*IA 2019), 2019
Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019
Knowledge Representation and Reasoning meets Digital Forensics: The COST Action DigForASP (short paper).
Proceedings of the Joint Proceedings of the RCRA International Workshop and of the RCRA Incontri e Confronti Workshop co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AIIA 2019), 2019
Augmenting Datalog<sup>±</sup> with Customizable Metalogic Features for Powerful Ontological Reasoning.
Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019
2018
Augmenting agent computational environments with quantitative reasoning modules and customisable bridge rules.
Int. J. Agent Oriented Softw. Eng., 2018
Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoningco-located with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), 2018
Proceedings of the 33rd Italian Conference on Computational Logic, 2018
Towards Humanized Ethical Intelligent Agents: the role of Reflection and Introspection.
Proceedings of the 33rd Italian Conference on Computational Logic, 2018
Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018
Trustworthiness and Safety for Intelligent Ethical Logical Agents via Interval Temporal Logic and Runtime Self-Checking.
Proceedings of the 2018 AAAI Spring Symposia, 2018
Proceedings of the 2018 AAAI Spring Symposia, 2018
2017
Proceedings of the Practical Aspects of Declarative Languages, 2017
Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, 2017
DALI: A Multi Agent System Framework for the Web, Cognitive Robotic and Complex Event Processing.
Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017
2016
Theory Pract. Log. Program., 2016
Proceedings of the Rule Technologies. Research, Tools, and Applications, 2016
FRIENDLY & KIND with your Health: Human-Friendly Knowledge-INtensive Dynamic Systems for the e-Health Domain.
Proceedings of the Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection, 2016
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
Augmenting Agent Computational Environments with Quantitative Reasoning Modules and Customizable Bridge Rules.
Proceedings of the Autonomous Agents and Multiagent Systems - AAMAS 2016 Workshops, - Visionary Papers, 2016
Budget-Constrained Reasoning in Agent Computational Environments: (Extended Abstract).
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016
2015
Fundam. Informaticae, 2015
Proceedings of the RuleML 2015 Challenge, 2015
Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous Environments.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
Proceedings of the Distributed Computing and Artificial Intelligence, 2015
Proceedings of the 30th Italian Conference on Computational Logic, 2015
Proceedings of the Engineering Multi-Agent Systems - Third International Workshop, 2015
Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015
2014
Characterizing and computing stable models of logic programs: The non-stratified case.
CoRR, 2014
Proceedings of the 29th Italian Conference on Computational Logic, 2014
Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent Systems.
Proceedings of the 29th Italian Conference on Computational Logic, 2014
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
2013
Int. J. Interact. Multim. Artif. Intell., 2013
Proceedings of the Distributed Computing and Artificial Intelligence, 2013
Proceedings of the 28th Italian Conference on Computational Logic, 2013
2012
Proceedings of the Rules on the Web: Research and Applications, 2012
Proceedings of the Advances on Practical Applications of Agents and Multi-Agent Systems, 2012
Proceedings of the Advances on Practical Applications of Agents and Multi-Agent Systems, 2012
Proceedings of the Eighth Latin American Workshop on Logic / Languages, 2012
Proceedings of the 9th Italian Convention on Computational Logic, 2012
Proceedings of the 9th Italian Convention on Computational Logic, 2012
Proceedings of the Popularize Artificial Intelligence, 2012
2011
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, 2011
A Framework for Structured Knowledge Extraction and Representation from Natural Language through Deep Sentence Analysis.
Proceedings of the KDIR 2011, 2011
Conflict, Consistency and Truth-Dependencies in Graph Representations of Answer Set Logic Programs.
Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2011
A framework for structured knowledge extraction and representation from natural language via deep sentence analysis.
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011
2010
Proceedings of the Datalog Reloaded - First International Workshop, 2010
Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2010
A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages.
Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010
Proceedings of the 25th Italian Conference on Computational Logic, 2010
2009
Modeling preferences and conditional preferences on resource consumption and production in ASP.
J. Algorithms, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
2008
IEEE Intell. Syst., 2008
Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computación de la Benemérita Universidad Autónoma de Puebla, 2008
Proceedings of the Computational Logic in Multi-Agent Systems, 9th International Workshop, 2008
Proceedings of the Architectures for Intelligent Theory-Based Agents, 2008
2007
Proceedings of the WOA 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 2007
DALICA: Intelligent Agents for User Profile Deduction.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007
Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007
Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007
2006
Theory Pract. Log. Program., 2006
2005
Communication and trust in the DALI logic programming agent-oriented language.
Intelligenza Artificiale, 2005
Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005
Proceedings of the Declarative Agent Languages and Technologies III, 2005
2004
A Game-Theoretic Operational Semantics.
Proceedings of the WOA 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop "From Objects to Agents": Complex Systems and Rational Agents, 30 November, 2004
Proceedings of the Latin-American Workshop on Non-Monotonic Reasoning, 2004
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
Proceedings of the Computational Logic in Multi-Agent Systems, 4th International Workshop, 2004
2003
Strips-like Planning in the DALI Logic Programmming Language.
Proceedings of the WOA 2003: Dagli Oggetti agli Agenti. 4th AI*IA/TABOO Joint Workshop "From Objects to Agents": Intelligent Systems and Pervasive Computing, 2003
Proceedings of the Declarative Agent Languages and Technologies, 2003
Proceedings of the Modeling and Using Context, 2003
Mappings Between Domain Models in Answer Set Programming.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003
An Environment for Specifying Properties of Dyadic Relations and Reasoning about Them: I: Language Extension Mechanisms.
Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments, 2003
2002
On the equivalence and range of applicability of graph-based representations of logic programs.
Inf. Process. Lett., 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002
An Environment for Stepwise Map Specification and Reasoning in Prolog I: Three Language Extension Mechanisms.
Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002
2001
Comparing different graph representations of logic programs under the Answer Set semantics.
Proceedings of the Answer Set Programming, 2001
2000
1999
Computational Complexity of a Knowledge Compilation. Approach to the Static Semantics for Disjunctive Logic Programs.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999
1996
Proceedings of the Logic Programming, 1996
Multiple Metareasoning Agents for Flexible Query-Answering Systems.
Proceedings of the Flexible Query-Answering Systems, 1996
1995
Theor. Comput. Sci., 1995
A formal definition and a sound implementation of analogical reasoning in logic programming.
Ann. Math. Artif. Intell., 1995
Explanation-Based Interpretation of Open-Textured Concepts in Logical Models of Legislation.
Artif. Intell. Law, 1995
Proceedings of the Logic Programming, 1995
Semantical Properties of SLD-Resolution with Reflection.
Proceedings of the Logic Programming, 1995
1994
Metalevel Negation and Non-Monotonic Reasoning.
Methods Log. Comput. Sci., 1994
J. Exp. Theor. Artif. Intell., 1994
SLD - Resolution with Reflection.
Proceedings of the Logic Programming, 1994
Proceedings of the Non-Monotonic Extensions of Logic Programming (NMELP'94), 1994
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994
Explanation-Based Learning of Open Textured Predicates in Logic Programming Models of Law.
Proceedings of the ICLP 1994 Workshop W12: Legal Application of Logic Programming, 1994
Reflection through Constraint Satisfaction.
Proceedings of the Logic Programming, 1994
Integrating Reflection into SLD-Resolution.
Proceedings of the ICLP 1994, 1994
Extending Explanation-Based Generalization with Metalogic Programming.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994
1993
Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective Prolog.
Proceedings of the 8th Italian Conference on Logic Programming, 1993
1992
Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992
1991
Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991
Proceedings of the Trends in Artificial Intelligence, 1991
1990
Metalevel Negation in Non-Monotonic Reasoning.
Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, 1990
1989
A Metalogic Programming Language.
Proceedings of the Logic Programming, 1989