Formal argumentation is used to enrich and analyse normative multi-agent systems in
various ways. In this chapter, we discuss three examples from the literature of handling …

In this chapter we give an overview of multi-agent abstract argumentation and dialogue, and
its application to formalise legal reasoning. The basis of multi-agent abstract argumentation …

An agent's behaviour is governed by multiple factors, including its beliefs/desires/intentions,
its reasoning processes and societal influences acting upon it, such as norms. In this paper …

These are the proceedings of the 14th International Workshop on Computational Logic in
Multi-Agent Systems (CLIMA XIV), held during September 15–18, 2013, in Corunna, Spain …

In multi-agent systems, norms provide a means for regulating agent behaviour at a system or
society level rather than by constraining agent behaviour directly. In order to cope effectively …

In the last years, argumentation theory has been exploited to reason about norms, argue
about enforced obligations and permissions, and establish the validity of norms seen as …

This paper describes a framework for practical reasoning in the presence of norms. We
describe a formal normative model constructed using Action-based Alternating Transition …

Norms represent what ought to be done, and their fulfillment can be seen as benefiting the
overall system, society or organisation. However, individual agent goals (desire) may conflict …

To resolve conflicts amongst norms, various non-monotonic formalisms can be used to
perform prioritized normative reasoning. Meanwhile, formal argumentation provides a way to …

Argumentation has received steadily increasing attention in the multi-agent systems
community over the past decade, with particular interest in the use of argument models from …