Causality, responsibility and blame in team plans

N Alechina, JY Halpern, B Logan - arXiv preprint arXiv:2005.10297, 2020 - arxiv.org
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 what …

[PDF][PDF] Norm specification and verification in multi-agent systems

N Alechina, M Dastani, B Logan - Journal of Applied Logics, 2018 - academia.edu
This article presents a high-level overview of the literature on norms and their uses in multi-
agent systems. We distinguish the main types of norms used in multi-agent systems, and the …

Group norms for multi-agent organisations

H Aldewereld, V Dignum… - ACM Transactions on …, 2016 - dl.acm.org
Normative multi-agent systems offer the ability to integrate social and individual factors to
provide increased levels of fidelity with respect to modelling social phenomena, such as …

Modelling institutions using dynamic deontics

C Frantz, MK Purvis, M Nowostawski… - … , Institutions, and Norms …, 2014 - Springer
We have developed a refined institutional scheme derived from Crawford and Ostrom's
Grammar of Institutions (also referred to as ADICO) that has been adapted for the detailed …

Logics for modelling collective attitudes

D Porello - Fundamenta Informaticae, 2018 - content.iospress.com
We introduce a number of logics to reason about collective propositional attitudes that are
defined by means of the majority rule. It is well known that majoritarian aggregation is …

Investigating factors influencing QoS of Internet phone

D Su, J Srivastava, JH Yao - Proceedings IEEE International …, 1999 - ieeexplore.ieee.org
An increasing number of applications are using the Internet for voice transmission, and
hence there is a growing demand for the Internet phone. However, the Internet was not …

An analysis of norm processes in normative multi-agent systems

A Oliveira, R Girardi - 2016 IEEE/WIC/ACM International …, 2016 - ieeexplore.ieee.org
The multi-agent system paradigm has proved to be very promising for solving complex
problems because agents are able to behave autonomously and cooperate to achieve …

Group Conflict as Social Contradiction

D Porello, E Bottazzi, R Ferrario - Conflict and Multimodal Communication …, 2015 - Springer
This paper is a contribution to the development of an ontology of conflict. In particular, we
single out and study a peculiar notion of group conflict, that we suggestively label “social …

A logic for reasoning about group norms

D Porello - 2018 - philpapers.org
We present a number of modal logics to reason about group norms. As a preliminary step,
we discuss the ontological status of the group to which the norms are applied, by adapting …

Fair allocation of group tasks according to social norms

N Alechina, W van der Hoek, B Logan - … Logic in Multi-Agent Systems: 15th …, 2014 - Springer
We consider the problem of decomposing a group norm into a set of individual obligations
for the agents comprising the group, such that if the individual obligations are fulfilled, the …