5 citations · 13 across the 5 of their papers we have counts for
6 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…
Situation Calculus for Synthesis of Manufacturing Controllers
Giuseppe De Giacomo, Brian Logan, Paolo Felli +2
Manufacturing is transitioning from a mass production model to a manufacturing as a service model in which manufacturing facilities 'bid' to produce products. To decide whether to…
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…
Expressibility of norms in temporal logic
Natasha Alechina, Mehdi Dastani, Brian Logan
In this short note we address the issue of expressing norms (such as obligations and prohibitions) in temporal logic. In particular, we address the argument from [Governatori 2015]…
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…