6 citations · 15 across the 4 of their papers we have counts for
10 papers
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…
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…