16 citations · 52 across the 15 of their papers we have counts for
3 papers · 1 filter
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".…