Ensuring trustworthy performance of autonomous agents and Multiagent Systems (MAS) requires computational methods and formal tools to support reasoning about different forms of responsibility. In particular, such tools are needed to support identifying agents or agent groups that are responsible, blameworthy, accountable, or sanctionable for outcomes of collective decisions, for fulfilling tasks, or for adhering to norms and social values. As a step towards developing computational frameworks to represent, reason about, and distinguish these forms of responsibility in MAS, for the first time, we present sociotechnical characteristics of these notions of responsibility, identify their requirements, and discuss their applicability for coordin...
This report documents the program and the outcomes of Dagstuhl Seminar 18171 "Normative Multi-Agent ...
This report documents the program and the outcomes of Dagstuhl Seminar 18171 "Normative Multi-Agent ...
This report documents the program and the outcomes of Dagstuhl Seminar 18171 "Normative Multi-Agent ...
Ensuring trustworthy performance of autonomous agents and multiagent systems (MAS) requires computat...
To develop and effectively deploy Trustworthy Autonomous Systems (TAS), we face various social, tech...
Safe and reliable deployment of collaborative AI-human multiagent systems requires formal semantics ...
To develop and effectively deploy Trustworthy Autonomous Systems (TAS), we face various social, tech...
Ensuring the trustworthiness of autonomous systems and artificial intelligenceis an important interd...
Ensuring the trustworthiness of autonomous systems and artificial intelligence is an important inter...
A central issue in the specification and verification of autonomous agents and multiagent systems is...
A central issue in the specification and verification of autonomous agents and multiagent systems is...
A central issue in the specification and verification of autonomous agents and multiagent systems is...
A central issue in the specification and verification of autonomous agents and multiagent systems is...
A central issue in the specification and verification of autonomous agents and multiagent systems is...
A central issue in the specification and verification of autonomous agents and multiagent systems is...
This report documents the program and the outcomes of Dagstuhl Seminar 18171 "Normative Multi-Agent ...
This report documents the program and the outcomes of Dagstuhl Seminar 18171 "Normative Multi-Agent ...
This report documents the program and the outcomes of Dagstuhl Seminar 18171 "Normative Multi-Agent ...
Ensuring trustworthy performance of autonomous agents and multiagent systems (MAS) requires computat...
To develop and effectively deploy Trustworthy Autonomous Systems (TAS), we face various social, tech...
Safe and reliable deployment of collaborative AI-human multiagent systems requires formal semantics ...
To develop and effectively deploy Trustworthy Autonomous Systems (TAS), we face various social, tech...
Ensuring the trustworthiness of autonomous systems and artificial intelligenceis an important interd...
Ensuring the trustworthiness of autonomous systems and artificial intelligence is an important inter...
A central issue in the specification and verification of autonomous agents and multiagent systems is...
A central issue in the specification and verification of autonomous agents and multiagent systems is...
A central issue in the specification and verification of autonomous agents and multiagent systems is...
A central issue in the specification and verification of autonomous agents and multiagent systems is...
A central issue in the specification and verification of autonomous agents and multiagent systems is...
A central issue in the specification and verification of autonomous agents and multiagent systems is...
This report documents the program and the outcomes of Dagstuhl Seminar 18171 "Normative Multi-Agent ...
This report documents the program and the outcomes of Dagstuhl Seminar 18171 "Normative Multi-Agent ...
This report documents the program and the outcomes of Dagstuhl Seminar 18171 "Normative Multi-Agent ...