10 citations · 17 across the 4 of their papers we have counts for
7 papers
Causality, Responsibility and Blame in Team Plans
Natasha Alechina, Joseph Y. Halpern, Brian Logan
Many objectives can be achieved (or may be achieved more effectively) only by a group of agents executing a team plan. If a team plan fails, it is often of interest to determine wh…
Coalition and Group Announcement Logic
Rustam Galimullin, Natasha Alechina
Dynamic epistemic logics which model abilities of agents to make various announcements and influence each other's knowledge have been studied extensively in recent years. Two notab…
Resource Logics with a Diminishing Resource
Natasha Alechina, Brian Logan
Model-checking resource logics with production and consumption of resources is a computationally hard and often undecidable problem. We introduce a simple and realistic assumption…
Coalition and Group Announcement Logic
Rustam Galimullin, Natasha Alechina
Dynamic epistemic logics which model abilities of agents to make various announcements and influence each other's knowledge have been studied extensively in recent years. Two notab…
Decentralised Norm Monitoring in Open Multi-Agent Systems
Natasha Alechina, Joseph Y. Halpern, Ian A. Kash +1
We consider the problem of detecting norm violations in open multi-agent systems (MAS). We show how, using ideas from scrip systems, we can design mechanisms where the agents compr…
Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources
Natasha Alechina, Brian Logan, Hoang Nga Nguyen +1
Several logics for expressing coalitional ability under resource bounds have been proposed and studied in the literature. Previous work has shown that if only consumption of resour…