Stefania Costantini

Orcid: 0000-0002-5686-6124

Affiliations:
  • University of L'Aquila, Italy


According to our database1, Stefania Costantini authored at least 190 papers between 1989 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

Neural-logic multi-agent system for flood event detection.
Intelligenza Artificiale, 2023

Empathetic human-agent interaction via emotional behavior trees.
Intelligenza Artificiale, 2023

A Timed Epistemic Logic for Formalizing Cooperation among Groups of Agents.
Proceedings of the 24th Workshop "From Objects to Agents", 2023

Towards Empathetic Care Robots.
Proceedings of the Italia Intelligenza Artificiale, 2023

Preference Management in Epistemic Logic L-DINF.
Proceedings of the 38th Italian Conference on Computational Logic, 2023

Fast Prototyping of a Solver for Reduct-based ELP Semantics.
Proceedings of the 38th Italian Conference on Computational Logic, 2023

Experimenting an Approach to Neuro-Symbolic RL.
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

2022
Learning Domain Ethical Principles from Interactions with Users.
Digit. Soc., December, 2022

Network Connectivity Under a Probabilistic Node Failure Model.
IEEE Trans. Netw. Sci. Eng., 2022

Ensuring trustworthy and ethical behaviour in intelligent logical agents.
J. Log. Comput., 2022

A multi-agent-system framework for flooding events.
Proceedings of the 23rd Workshop "From Objects to Agents", 2022

Emotional behavior trees for empathetic human-automation interaction.
Proceedings of the 23rd Workshop "From Objects to Agents", 2022

Cooperation Among Groups of Agents in the Epistemic Logic L-DINF.
Proceedings of the Rules and Reasoning, 2022

Modelling Agents Roles in the Epistemic Logic L-DINF.
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

Epistemic Logic Programs: A Study of Some Properties.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 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

Cognitive Aspects in Epistemic Logic L-DINF.
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

Epistemic Logic Programs: a Novel Perspective and Some Extensions.
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

An Ontology of Medical Wearables.
Proceedings of the IEEE International Conference on Consumer Electronics, 2022

Intelligent Agents and Complex Event Processing to enhance Patient Monitoring.
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

Temporalizing Epistemic Logic L-DINF.
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

Epistemic Logic Programs: an approach to Semantic Comparison.
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

Position Paper: On the Role of Abductive Reasoning in Semantic Image Segmentation.
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

Adding Metalogic Features to Knowledge Representation Languages.
Fundam. Informaticae, 2021

A Logic-based Multi-agent System for Ethical Monitoring and Evaluation of Dialogues.
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

A Smart Framework for Automatically Analyzing Electrocardiograms.
Proceedings of the Third International Conference on Transdisciplinary AI, 2021

An Epistemic Logic for Multi-agent Systems with Budget and Costs.
Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

An Arduino-based Device to Detect Dangerous Audio Noises.
Proceedings of the 6th International Conference on Internet of Things, 2021

Top-down Splitting Property for Epistemic Logic Programs.
Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

An Epistemic Logic for Modular Development of Multi-Agent Systems.
Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

Ethical Monitoring and Evaluation of Dialogues with a MAS.
Proceedings of the 36th Italian Conference on Computational Logic, 2021

A Smart Health Assistant via DALI Logical Agents.
Proceedings of the 36th Italian Conference on Computational Logic, 2021

A Logic of Inferable in Multi-Agent Systems with Budget and Costs.
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020
Logic Programming and Machine Ethics.
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

Transcultural Health-Aware Guides for the Elderly.
Proceedings of the Workshop on 21st Workshop "From Objects to Agents", 2020

Exploring Low-degree nodes first accelerates Network Exploration.
Proceedings of the WebSci '20: 12th ACM Conference on Web Science, 2020

Demo Paper: Monitoring and Evaluation of Ethical Behavior in Dialog Systems.
Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection, 2020

Towards Explainable, Compliant and Adaptive Human-Automation Interaction.
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

EarSaver: A Device to Detect Dangerous Audio Noises.
Proceedings of the First International AAI4H, 2020

Logic-based Machine Learning for Transparent Ethical Agents.
Proceedings of the 35th Italian Conference on Computational Logic, 2020

Ensuring Trustworthy and Ethical Behavior in Intelligent Logical Agents.
Proceedings of the 35th Italian Conference on Computational Logic, 2020

Towards a Logic of "Inferable" for Self-Aware Transparent Logical Agents.
Proceedings of the Italian Workshop on Explainable Artificial Intelligence co-located with 19th International Conference of the Italian Association for Artificial Intelligence, 2020

2019
About Epistemic Negation and World Views in Epistemic Logic Programs.
Theory Pract. Log. Program., 2019

A Temporal Module for Logical Frameworks.
Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

Towards Ethical Machines Via Logic Programming.
Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

Digital forensics and investigations meet artificial intelligence.
Ann. Math. Artif. Intell., 2019

Multi-context systems in dynamic environments.
Ann. Math. Artif. Intell., 2019

An ontology to improve the first aid service quality.
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

K-ACE: A Flexible Environment for Knowledge-Aware Multi-Agent Systems.
Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

Towards an ILP Application in Machine Ethics.
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

Learning Answer Set Programming Rules For Ethical Machines.
Proceedings of the 34th Italian Conference on Computational Logic, 2019

Reasoning about Memory Management in Resource-Bounded Agents.
Proceedings of the 34th Italian Conference on Computational Logic, 2019

DigForASP: A European Cooperation Network for Logic-based AI in Digital Forensics.
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

Multi-agent System Engineering for Emphatic Human-Robot Interaction.
Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2019

An Approach Towards Ethical Chatbots in Customer Service.
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

Memory Management in Resource-Bounded Agents.
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
Answer set programming and agents.
Knowl. Eng. Rev., 2018

Augmenting agent computational environments with quantitative reasoning modules and customisable bridge rules.
Int. J. Agent Oriented Softw. Eng., 2018

Reflection and Introspection for Humanized Intelligent Agents.
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

Dynamic Goal Decomposition and Planning in MAS for Highly Changing Environments.
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

Timed Memory in Resource-Bounded Agents.
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

Flexible Goal-Directed Agents' Behavior via DALI MASs and ASP Modules.
Proceedings of the 2018 AAAI Spring Symposia, 2018

2017
DALI for Cognitive Robotics: Principles and Prototype Implementation.
Proceedings of the Practical Aspects of Declarative Languages, 2017

Multi-Context Systems: Dynamics and Evolution.
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
Query answering in resource-based answer set semantics.
Theory Pract. Log. Program., 2016

Bridge Rules for Reasoning in Component-Based Heterogeneous Environments.
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

Multi-Context Systems in Time.
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 Engineering Multi-Agent Systems - 4th International Workshop, 2016

Budget-Constrained Reasoning in Agent Computational Environments: (Extended Abstract).
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015
Elio Lanzarone: a life for science.
J. Log. Comput., 2015

Negation as a Resource: a Novel View on Answer Set Semantics.
Fundam. Informaticae, 2015

Exchanging Data and Ontological Definitions in Multi-Agent-Contexts Systems.
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

Exploration of Unknown Territory via DALI Agents and ASP Modules.
Proceedings of the Distributed Computing and Artificial Intelligence, 2015

How Answer Set Programming can help in digital forensic investigation.
Proceedings of the 30th Italian Conference on Computational Logic, 2015

ACE: A Flexible Environment for Complex Event Processing in Logical Agents.
Proceedings of the Engineering Multi-Agent Systems - Third International Workshop, 2015

Cooperating with Trusted Parties Would Make Life Easier.
Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

2014
Committment-Based Data-Aware Multi-Agent-Contexts Systems.
CoRR, 2014

Towards Active Logic Programming.
CoRR, 2014

Characterizing and computing stable models of logic programs: The non-stratified case.
CoRR, 2014

Complex Events and Actions in Logical Agents.
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

Event-action modules for complex reactivity in logical agents.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013
RASP and ASP as a fragment of linear logic.
J. Appl. Non Class. Logics, 2013

Application of Hybrid Agents to Smart Energy Management of a Prosumer Node.
Int. J. Interact. Multim. Artif. Intell., 2013

Nested Weight Constraints in ASP.
Fundam. Informaticae, 2013

Application of Hybrid Agents to Smart Energy Management of a Prosumer Node.
Proceedings of the Distributed Computing and Artificial Intelligence, 2013

An ASP-based System for Preference Handling and Planning.
Proceedings of the 28th Italian Conference on Computational Logic, 2013

2012
Complex Reactivity with Preferences in Rule-Based Agents.
Proceedings of the Rules on the Web: Research and Applications, 2012

Demonstrator of a Multi-Agent System for Industrial Fault Detection and Repair.
Proceedings of the Advances on Practical Applications of Agents and Multi-Agent Systems, 2012

A Multi-Agent System for Industrial Fault Detection and Repair.
Proceedings of the Advances on Practical Applications of Agents and Multi-Agent Systems, 2012

Self-checking Logical Agents.
Proceedings of the Eighth Latin American Workshop on Logic / Languages, 2012

Temporal Meta-Axioms in Logical Agents.
Proceedings of the 9th Italian Convention on Computational Logic, 2012

Preferences and Priorities in ASP.
Proceedings of the 9th Italian Convention on Computational Logic, 2012

Strong Equivalence of RASP Programs.
Proceedings of the Correct Reasoning, 2012

DALI Logical Agents into Play.
Proceedings of the Popularize Artificial Intelligence, 2012

2011
DALI, RASP, mnemosine: Computational Logic at work.
Intelligenza Artificiale, 2011

Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents.
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

Weight Constraints with Preferences in ASP.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Defining and Maintaining Agent's Experience in Logical Agents.
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

Michael Gelfond: Essay in Honour of His 65th Birthday.
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

Augmenting Weight Constraints with Complex Preferences.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010
Answer Set Programming with Resources.
J. Log. Comput., 2010

Extending and Implementing RASP.
Fundam. Informaticae, 2010

A Lower Bound for Answer Set Solver Computation.
Inteligencia Artif., 2010

Answer Set Modules for Logical Agents.
Proceedings of the Datalog Reloaded - First International Workshop, 2010

Ensuring Agent Properties under Arbitrary Sequences of Incoming Events.
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

Towards Translating Natural Language Sentences into ASP.
Proceedings of the 25th Italian Conference on Computational Logic, 2010

2009
Editorial.
J. Log. Comput., 2009

Modeling preferences and conditional preferences on resource consumption and production in ASP.
J. Algorithms, 2009

Integrating Answer Set Modules into Agent Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

2008
DALICA: Agent-Based Ambient Intelligence for Cultural-Heritage Scenarios.
IEEE Intell. Syst., 2008

Conditional preferences in P-RASP.
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

Contracts Violation: Justification via Argumentation.
Proceedings of the Computational Logic in Multi-Agent Systems, 9th International Workshop, 2008

DALI: An Architecture for Intelligent Logical Agents.
Proceedings of the Architectures for Intelligent Theory-Based Agents, 2008

2007
Agents and Security in a Cultural Assets Transport Scenario.
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

A Geo Time Authentication System.
Proceedings of the Trust Management, 2007

A Heuristic Approach to P2P Negotiation.
Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

A Multi-layered General Agent Model.
Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007

Expressing Preferences Declaratively in Logic-based Agent Languages.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

2006
On the existence of stable models of non-stratified logic programs.
Theory Pract. Log. Program., 2006

2005
Normal forms for answer sets programming.
Theory Pract. Log. Program., 2005

Communication and trust in the DALI logic programming agent-oriented language.
Intelligenza Artificiale, 2005

Learning by Knowledge Exchange in Logical Agents.
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

About Declarative Semantics of Logic-Based Agent Languages.
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

Component-Based Answer Set Programming.
Proceedings of the Latin-American Workshop on Non-Monotonic Reasoning, 2004

The DALI Logic Programming Agent-Oriented Language.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Planning Experiments in the DALI Logic Programming Language.
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

A Logic-Based Infrastructure for Reconfiguring Applications.
Proceedings of the Declarative Agent Languages and Technologies, 2003

Context-Based Commonsense Reasoning in the DALI Logic Programming Language.
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

A Logic Programming Language for Multi-agent Systems.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Disjunctive Logic Programs with Inheritance Revisited.
Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002

Meta-reasoning: A Survey.
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
Reflection principles in computational logic.
J. Log. Comput., 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
Asserting Lemmas in the Stable Model Semantics.
Proceedings of the Logic Programming, 1996

Multiple Metareasoning Agents for Flexible Query-Answering Systems.
Proceedings of the Flexible Query-Answering Systems, 1996

1995
Contributions to the Stable Model Semantics of Logic Programs with Negation.
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

Semantical Properties of Encodings in Logic Programming.
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

A metalogic programming approach: language, semantics and applications.
J. Exp. Theor. Artif. Intell., 1994

SLD - Resolution with Reflection.
Proceedings of the Logic Programming, 1994

Static Semantics as Program Transformation and Well-founded Computation.
Proceedings of the Non-Monotonic Extensions of Logic Programming (NMELP'94), 1994

Extending Horn Clause Theories by Reflection Principles.
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
Reflective Agents in Metalogic Programming.
Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992

1991
On Procedural Semantics of Metalevel Negation.
Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991

Metalevel Represantation of Analogical Inference.
Proceedings of the Trends in Artificial Intelligence, 1991

1990
Semantics of a Metalogic Programming Language.
Int. J. Found. Comput. Sci., 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


  Loading...