1 citations · 1 across the 6 of their papers we have counts for
7 papers
From Actions to Obligations: A Deontic Action Model Logic
Giorgio Cignarale
We introduce the Deontic Action Model Logic (DAML), a dynamic modal framework for reasoning about obligations over actions in multi-agent systems. DAML extends the epistemic Action…
Self-Correcting Gossip Protocols
Giorgio Cignarale, Hans van Ditmarsch, Stephan Felber +3
We investigate self-correcting gossip protocols with errors. In distributed computing, protocols with errors have been widely investigated in temporal epistemic logics. Instead, we…
A Dynamic Deontic Simplicial Logic for Joint Commitments
Giorgio Cignarale, Hugo Rincon Galeana
We introduce the Deontic Simplicial Logic (DSL), a deontic logic for group obligations grounded in simplicial complexes: vertices encode individual commitments, and higher-dimensio…
Knowledge in multi-robot systems: an interplay of dynamics, computation and communication
Giorgio Cignarale, Stephan Felber, Eric Goubault +2
In this paper, we provide a framework integrating distributed multi-robot systems and temporal epistemic logic. We show that continuous-discrete hybrid systems are compatible with…
Consistent Update Synthesis via Privatized Beliefs
Thomas Schlögl, Roman Kuznets, Giorgio Cignarale
Kripke models are an effective and widely used tool for representing epistemic attitudes of agents in multi-agent systems, including distributed systems. Dynamic Epistemic Logic (D…
A Sufficient Epistemic Condition for Solving Stabilizing Agreement
Giorgio Cignarale, Stephan Felber, Hugo Rincon Galeana
In this paper we provide a first-ever epistemic formulation of stabilizing agreement, defined as the non-terminating variant of the well established consensus problem. In stabilizi…
A priori Belief Updates as a Method for Agent Self-Recovery
Giorgio Cignarale, Roman Kuznets
Standard epistemic logic is concerned with describing agents' epistemic attitudes given the current set of alternatives the agents consider possible. While distributed systems can…