Normative reasoning and consequence

J Broersen, S Cranefield, Y Elrakaiby… - Dagstuhl Follow …, 2013 - drops.dagstuhl.de
In this chapter, we first provide a general introduction to the research area methodology and
relevance, then we discuss normative reasoning for multiagent systems, and finally we …

Agents and expectations

S Cranefield - Coordination, Organizations, Institutions, and Norms in …, 2014 - Springer
This paper discusses the role that expectations have in agent reasoning, and focuses on the
author's previous work on modelling and monitoring expectations with a complex temporal …

Modelling and monitoring interdependent expectations

S Cranefield, M Winikoff, W Vasconcelos - International Workshop on …, 2011 - Springer
Previous research on modelling and monitoring norms, contracts and commitments has
studied the semantics of concepts such as obligation, permission, prohibition and …

On requirements representation and reasoning using answer set programming

J Padget, EE Elakehal, K Satoh… - 2014 IEEE 1st …, 2014 - ieeexplore.ieee.org
We describe an approach to the representation of requirements using answer set
programming and how this leads to a vision for the role of artificial intelligence techniques in …

Còir: Verifying normative specifications of complex systems

L Gasparini, TJ Norman, MJ Kollingbaum… - … , Institutions, and Norms …, 2016 - Springer
Existing approaches for the verification of normative systems consider limited
representations of norms, often neglecting collective imperatives, deadlines and contrary-to …

Operationalization of the sanctioning process in utilitarian artificial societies

T Balke, D Villatoro - … , Organizations, Institutions, and Norms in Agent …, 2011 - Springer
With the advent of highly distributed and populated artificial societies where centralized
coordination is unfeasible, normative multiagent systems have moved into the focus of …

Towards the Governance of Open Distributed Grids-A Case Study in Wireless Mobile Grids

T Balke - 2011 - epub.uni-bayreuth.de
New networking technologies such as wireless mobile grids and peer-to-peer middleware
are examples of a growing class of open distributed systems whose strength is the absence …

Blame the Management!

WO To - Coordination, Organizations, Institutions, and Norms in …, 2013 - Springer
Norms are used to represent desirable behaviours that software agents should exhibit in
sophisticated multi-agent solutions. Although we now enjoy a body of research on norms …

Situating COIN in the Cloud

J Padget - … on Coordination, Organizations, Institutions, and Norms …, 2012 - Springer
We start from the view that the central theme of the research at the core of coordination,
organization, institutions and norms, is whether the social structures and mechanisms, that …