Dagstuhl Seminar Proceedings, Volume 7122,
-
Guido Boella, Harko Verhagen, and Leendert van der Torre
07122 Abstracts Collection – Normative Multi-agent Systems
10.4230/DagSemProc.07122.1
-
Guido Boella, Leendert van der Torre, and Harko Verhagen
Introduction to Normative Multiagent Systems
10.4230/DagSemProc.07122.2
-
Guido Boella and Leendert van der Torre
A Game-Theoretic Approach to Normative Multi-Agent Systems
10.4230/DagSemProc.07122.3
-
Fabiola Lopez y Lopez, Michael Luck, and Mark d'Inverno
A Normative Framework for Agent-Based Systems
10.4230/DagSemProc.07122.4
-
Patrice Caire
A Normative Multi-Agent Systems Approach to the Use of Conviviality for Digital Cities
10.4230/DagSemProc.07122.5
-
Jan Odelstad
Agents, Norms and Forest Cleaning
10.4230/DagSemProc.07122.6
-
Paul Davidson and Andreas Jacobsson
Aligning Models of Normative Systems and Artificial Societies: Towards norm-governed behavior in virtual enterprises
10.4230/DagSemProc.07122.7
-
Guido Governatori and Antonino Rotolo
BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic
10.4230/DagSemProc.07122.8
-
Guido Boella, Célia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi, and Leendert van der Torre
Choosing Your Beliefs
10.4230/DagSemProc.07122.9
-
Vera Kartseva, Joris Hulstijn, Jaap Gordijn, and Yao-Hua Tan
Control Patterns in a Health Care Network
10.4230/DagSemProc.07122.10
-
Christophe Garion and Laurence Cholvy
Deriving individual obligations from collective obligations
10.4230/DagSemProc.07122.11
-
Emanuele Bottazzi, Roberta Ferrario, Claudio Masolo, and Robert Trypuz
Designing Organizations: Towards a Model
10.4230/DagSemProc.07122.12
-
Giulia Andrighetto, Rosaria Conte, Paolo Turrini, and Mario Paolucci
Emergence In the Loop: Simulating the two way dynamics of norm innovation
10.4230/DagSemProc.07122.13
-
Emil Weydert
Epistemic Norms in a Nutshell
10.4230/DagSemProc.07122.14
-
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, and Paolo Torroni
Expressing and Verifying Business Contracts with Abductive
10.4230/DagSemProc.07122.15
-
Viviane Torres da Silva
Implementing Norms that Govern Non-Dialogical Actions
10.4230/DagSemProc.07122.16
-
Regis Riveret, Antonino Rotolo, and Guido Governatori
Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic
10.4230/DagSemProc.07122.17
-
Olivier Boissier and Benjamin Gâteau
Normative Multi-Agent Organizations: Modeling, Support and Control, Draft Version
10.4230/DagSemProc.07122.18
-
Rodger Kibble
Norms and accountability in multi-agent societies
10.4230/DagSemProc.07122.19
-
Aldo Gangemi, Jos Lehmann, and Carola Catenacci
Norms and plans as unification criteria for social collectives
10.4230/DagSemProc.07122.20
-
Rodrigo Agerri
Norms of Conversation in a Framework for Agent Communication Languages
10.4230/DagSemProc.07122.21
-
Harko Verhagen
Normtypologies
10.4230/DagSemProc.07122.22
-
Davide Grossi, John-Jules Meyer, and Frank Dignum
On the Logic of Constitutive Rules
10.4230/DagSemProc.07122.23
-
Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodriguez-Aguilar, Carles Sierra, and Michael Wooldridge
On the Logic of Normative Systems
10.4230/DagSemProc.07122.24
-
Jörg Hansen
Prioritized Conditional Imperatives:Problems and a New Proposal
10.4230/DagSemProc.07122.25
-
Fabio Okuyama, Rafael Bordini, and Antônio Carlos Rocha Costa
Spatially Distributed Normative Objects
10.4230/DagSemProc.07122.26
-
Nicoletta Fornara and Marco Colombetti
Specifying and Enforcing Norms in Artificial Institutions
10.4230/DagSemProc.07122.27
-
Jörg Hansen, Gabriella Pigozzi, and Leendert van der Torre
Ten Philosophical Problems in Deontic Logic
10.4230/DagSemProc.07122.28
-
Valerio Genovese
Towards a General Framework for Modelling Roles
10.4230/DagSemProc.07122.29
-
Matthias Nickles
Towards a Logic of Graded Normativity and Norm Adherence
10.4230/DagSemProc.07122.30
-
Jan M. Broersen and Leendert van der Torre
What an Agent Ought To Do
10.4230/DagSemProc.07122.31
-
David Makinson and Leendert van der Torre
What is Input/Output Logic? Input/Output Logic, Constraints, Permissions
10.4230/DagSemProc.07122.32