16 citations · 52 across the 15 of their papers we have counts for
18 papers
Ensuring trustworthy and ethical behaviour in intelligent logical agents
Stefania Costantini
Autonomous Intelligent Agents are employed in many applications upon which the life and welfare of living beings and vital social functions may depend. Therefore, agents should be…
Proceedings 39th International Conference on Logic Programming
Enrico Pontelli, Stefania Costantini, Carmine Dodaro +7
This volume contains the Technical Communications presented at the 39th International Conference on Logic Programming (ICLP 2023), held at Imperial College London, UK from July 9 t…
Self-checking Logical Agents
Stefania Costantini
This paper presents a comprehensive framework for run-time self-checking of logical agents, by means of temporal axioms to be dynamically checked. These axioms are specified by usi…
A Logic-based Multi-agent System for Ethical Monitoring and Evaluation of Dialogues
Abeer Dyoub, Stefania Costantini, Ivan Letteri +1
Dialogue Systems are tools designed for various practical purposes concerning human-machine interaction. These systems should be built on ethical foundations because their behavior…
Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments")
Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis +1
Multi-Context Systems (MCS) model in Computational Logic distributed systems composed of heterogeneous sources, or "contexts", interacting via special rules called "bridge rules".…
Logic Programming and Machine Ethics
Abeer Dyoub, Stefania Costantini, Francesca A. Lisi
Transparency is a key requirement for ethical machines. Verified ethical behavior is not enough to establish justified trust in autonomous intelligent agents: it needs to be suppor…
An application of Answer Set Programming in Distributed Architectures: ASP Microservices
Stefania Costantini, Lorenzo De Lauretis
We propose an approach to the definition of microservices with an Answer Set Programming (ASP) `core', where microservices are a successful abstraction for designing distributed ap…
Network connectivity under a probabilistic node failure model
Lucia Cavallaro, Stefania Costantini, Pasquale De Meo +2
Centrality metrics have been widely applied to identify the nodes in a graph whose removal is effective in decomposing the graph into smaller sub-components. The node--removal proc…
Exploring Low-degree Nodes First Accelerates Network Exploration
Stefania Costantini, Pasquale De Meo, Angelo Giorgianni +3
We consider information diffusion on Web-like networks and how random walks can simulate it. A well-studied problem in this domain is Partial Cover Time, i.e., the calculation of t…
Memory Management in Resource-Bounded Agents
Valentina Pitoni
In artificial intelligence, multi agent systems constitute an interesting typology of society modeling, and have in this regard vast fields of application, which extend to the huma…
A Temporal Module for Logical Frameworks
Valentina Pitoni, Stefania Costantini
In artificial intelligence, multi agent systems constitute an interesting typology of society modeling, and have in this regard vast fields of application, which extend to the huma…
Towards Ethical Machines Via Logic Programming
Abeer Dyoub, Stefania Costantini, Francesca A. Lisi
Autonomous intelligent agents are playing increasingly important roles in our lives. They contain information about us and start to perform tasks on our behalves. Chatbots are an e…
About epistemic negation and world views in Epistemic Logic Programs
Stefania Costantini
In this paper we consider Epistemic Logic Programs, which extend Answer Set Programming (ASP) with "epistemic operators" and "epistemic negation", and a recent approach to the sema…
Query Answering in Resource-Based Answer Set Semantics
Stefania Costantini, Andrea Formisano
In recent work we defined resource-based answer set semantics, which is an extension to answer set semantics stemming from the study of its relationship with linear logic. In fact,…
Committment-Based Data-Aware Multi-Agent-Contexts Systems
Stefania Costantini
Communication and interaction among agents have been the subject of extensive investigation since many years. Commitment-based communication, where communicating agents are seen as…
Towards Active Logic Programming
Stefania Costantini
In this paper we present the new logic programming language DALI, aimed at defining agents and agent systems. A main design objective for DALI has been that of introducing in a dec…
Characterizing and computing stable models of logic programs: The non-stratified case
Gianpaolo Brignoli, Stefania Costantini, Ottavio D'Antona +1
Stable Logic Programming (SLP) is an emergent, alternative style of logic programming: each solution to a problem is represented by a stable model of a deductive database/function-…
Normal forms for Answer Sets Programming
Stefania Costantini, Alessandro Provetti
Normal forms for logic programs under stable/answer set semantics are introduced. We argue that these forms can simplify the study of program properties, mainly consistency. The fi…