@InProceedings{boella_et_al:DagSemProc.07122.1,
  author =	{Boella, Guido and Verhagen, Harko and van der Torre, Leendert},
  title =	{{ 07122 Abstracts Collection – Normative Multi-agent Systems}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--15},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.1},
  URN =		{urn:nbn:de:0030-drops-9433},
  doi =		{10.4230/DagSemProc.07122.1},
  annote =	{Keywords: Normative systems, multi-agent systems}
}
@InProceedings{boella_et_al:DagSemProc.07122.2,
  author =	{Boella, Guido and van der Torre, Leendert and Verhagen, Harko},
  title =	{{ Introduction to Normative Multiagent Systems}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--7},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.2},
  URN =		{urn:nbn:de:0030-drops-9187},
  doi =		{10.4230/DagSemProc.07122.2},
  annote =	{Keywords: Norms, Multiagent systems, Normative multiagent systems}
}
@InProceedings{boella_et_al:DagSemProc.07122.3,
  author =	{Boella, Guido and van der Torre, Leendert},
  title =	{{A Game-Theoretic Approach to Normative Multi-Agent Systems}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--35},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.3},
  URN =		{urn:nbn:de:0030-drops-9373},
  doi =		{10.4230/DagSemProc.07122.3},
  annote =	{Keywords: Normative multiagent systems, deontic logic, input/output logic}
}
@InProceedings{lopezylopez_et_al:DagSemProc.07122.4,
  author =	{Lopez y Lopez, Fabiola and Luck, Michael and d'Inverno, Mark},
  title =	{{A Normative Framework for Agent-Based Systems}},
  booktitle =	{Normative Multi-agent Systems},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.4},
  URN =		{urn:nbn:de:0030-drops-9332},
  doi =		{10.4230/DagSemProc.07122.4},
  annote =	{Keywords: Normative agents, normative multi-agent systems}
}
@InProceedings{caire:DagSemProc.07122.5,
  author =	{Caire, Patrice},
  title =	{{A Normative Multi-Agent Systems Approach to the Use of Conviviality for Digital Cities}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--21},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.5},
  URN =		{urn:nbn:de:0030-drops-9064},
  doi =		{10.4230/DagSemProc.07122.5},
  annote =	{Keywords: Conviviality, multi-agent systems, normative systems, social computing, digital cities.}
}
@InProceedings{odelstad:DagSemProc.07122.6,
  author =	{Odelstad, Jan},
  title =	{{Agents, Norms and Forest Cleaning}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--15},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.6},
  URN =		{urn:nbn:de:0030-drops-9172},
  doi =		{10.4230/DagSemProc.07122.6},
  annote =	{Keywords: Norm, normative system, norm-regulated agent, forest cleaning}
}
@InProceedings{davidson_et_al:DagSemProc.07122.7,
  author =	{Davidson, Paul and Jacobsson, Andreas},
  title =	{{Aligning Models of Normative Systems and Artificial Societies: Towards norm-governed behavior in virtual enterprises}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--12},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.7},
  URN =		{urn:nbn:de:0030-drops-9082},
  doi =		{10.4230/DagSemProc.07122.7},
  annote =	{Keywords: Agents, norms, virtual enterprises}
}
@InProceedings{governatori_et_al:DagSemProc.07122.8,
  author =	{Governatori, Guido and Rotolo, Antonino},
  title =	{{BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--34},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.8},
  URN =		{urn:nbn:de:0030-drops-9123},
  doi =		{10.4230/DagSemProc.07122.8},
  annote =	{Keywords: Social Agents, Defeasible Logic, Complexity of Agents}
}
@InProceedings{boella_et_al:DagSemProc.07122.9,
  author =	{Boella, Guido and da Costa Pereira, C\'{e}lia and Pigozzi, Gabriella and Tettamanzi, Andrea and van der Torre, Leendert},
  title =	{{Choosing Your Beliefs}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--18},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.9},
  URN =		{urn:nbn:de:0030-drops-9386},
  doi =		{10.4230/DagSemProc.07122.9},
  annote =	{Keywords: Rational agents, indeterministic belief revision, qualitative decision theory}
}
@InProceedings{kartseva_et_al:DagSemProc.07122.10,
  author =	{Kartseva, Vera and Hulstijn, Joris and Gordijn, Jaap and Tan, Yao-Hua},
  title =	{{Control Patterns in a Health Care Network}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--33},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.10},
  URN =		{urn:nbn:de:0030-drops-9158},
  doi =		{10.4230/DagSemProc.07122.10},
  annote =	{Keywords: Governance and control, network organizations, value modeling}
}
@InProceedings{garion_et_al:DagSemProc.07122.11,
  author =	{Garion, Christophe and Cholvy, Laurence},
  title =	{{Deriving individual obligations from collective obligations}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--16},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.11},
  URN =		{urn:nbn:de:0030-drops-9118},
  doi =		{10.4230/DagSemProc.07122.11},
  annote =	{Keywords: Deontic logic, action, representation of preferences}
}
@InProceedings{bottazzi_et_al:DagSemProc.07122.12,
  author =	{Bottazzi, Emanuele and Ferrario, Roberta and Masolo, Claudio and Trypuz, Robert},
  title =	{{Designing Organizations: Towards a Model}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--9},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.12},
  URN =		{urn:nbn:de:0030-drops-9049},
  doi =		{10.4230/DagSemProc.07122.12},
  annote =	{Keywords: Ontology, organizations, structure, design, norms}
}
@InProceedings{andrighetto_et_al:DagSemProc.07122.13,
  author =	{Andrighetto, Giulia and Conte, Rosaria and Turrini, Paolo and Paolucci, Mario},
  title =	{{Emergence In the Loop: Simulating the two way dynamics of norm innovation}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--30},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.13},
  URN =		{urn:nbn:de:0030-drops-9077},
  doi =		{10.4230/DagSemProc.07122.13},
  annote =	{Keywords: Norm innovation, emergence, immergence, simulation, social complexity.}
}
@InProceedings{weydert:DagSemProc.07122.14,
  author =	{Weydert, Emil},
  title =	{{Epistemic Norms in a Nutshell}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--1},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.14},
  URN =		{urn:nbn:de:0030-drops-9246},
  doi =		{10.4230/DagSemProc.07122.14},
  annote =	{Keywords: Epistemic norms, Trust, Meta-Science}
}
@InProceedings{alberti_et_al:DagSemProc.07122.15,
  author =	{Alberti, Marco and Chesani, Federico and Gavanelli, Marco and Lamma, Evelina and Mello, Paola and Montali, Marco and Torroni, Paolo},
  title =	{{Expressing and Verifying Business Contracts with Abductive}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--29},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.15},
  URN =		{urn:nbn:de:0030-drops-9017},
  doi =		{10.4230/DagSemProc.07122.15},
  annote =	{Keywords: Contracts, Verification, Abduction}
}
@InProceedings{torresdasilva:DagSemProc.07122.16,
  author =	{Torres da Silva, Viviane},
  title =	{{Implementing Norms that Govern Non-Dialogical Actions}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--13},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.16},
  URN =		{urn:nbn:de:0030-drops-9278},
  doi =		{10.4230/DagSemProc.07122.16},
  annote =	{Keywords: Norm, governance of multi-agent system, non-dialogical action}
}
@InProceedings{riveret_et_al:DagSemProc.07122.17,
  author =	{Riveret, Regis and Rotolo, Antonino and Governatori, Guido},
  title =	{{Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--17},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.17},
  URN =		{urn:nbn:de:0030-drops-9232},
  doi =		{10.4230/DagSemProc.07122.17},
  annote =	{Keywords: Time, Norm, Temporal Modal Defeasible Logic}
}
@InProceedings{boissier_et_al:DagSemProc.07122.18,
  author =	{Boissier, Olivier and G\^{a}teau, Benjamin},
  title =	{{Normative Multi-Agent Organizations: Modeling, Support and Control, Draft Version}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--17},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.18},
  URN =		{urn:nbn:de:0030-drops-9029},
  doi =		{10.4230/DagSemProc.07122.18},
  annote =	{Keywords: Organization, multi-agent}
}
@InProceedings{kibble:DagSemProc.07122.19,
  author =	{Kibble, Rodger},
  title =	{{Norms and accountability in multi-agent societies}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--10},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.19},
  URN =		{urn:nbn:de:0030-drops-9161},
  doi =		{10.4230/DagSemProc.07122.19},
  annote =	{Keywords: Norms, agents, social commitments, reasoning}
}
@InProceedings{gangemi_et_al:DagSemProc.07122.20,
  author =	{Gangemi, Aldo and Lehmann, Jos and Catenacci, Carola},
  title =	{{Norms and plans as unification criteria for social collectives}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--40},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.20},
  URN =		{urn:nbn:de:0030-drops-9103},
  doi =		{10.4230/DagSemProc.07122.20},
  annote =	{Keywords: Formal Ontology, Constructivism, Social Entities, Semantic Web}
}
@InProceedings{agerri:DagSemProc.07122.21,
  author =	{Agerri, Rodrigo},
  title =	{{Norms of Conversation in a Framework for Agent Communication Languages}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--43},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.21},
  URN =		{urn:nbn:de:0030-drops-9206},
  doi =		{10.4230/DagSemProc.07122.21},
  annote =	{Keywords: Agent Communication Languages, Norms, Multi-Agent Systems}
}
@InProceedings{verhagen:DagSemProc.07122.22,
  author =	{Verhagen, Harko},
  title =	{{Normtypologies}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.22},
  URN =		{urn:nbn:de:0030-drops-9309},
  doi =		{10.4230/DagSemProc.07122.22},
  annote =	{Keywords: Norms, Multiagent systems, Normative multiagent systems}
}
@InProceedings{grossi_et_al:DagSemProc.07122.23,
  author =	{Grossi, Davide and Meyer, John-Jules and Dignum, Frank},
  title =	{{On the Logic of Constitutive Rules}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--33},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.23},
  URN =		{urn:nbn:de:0030-drops-9131},
  doi =		{10.4230/DagSemProc.07122.23},
  annote =	{Keywords: Constitutive rules, counts-as, modal logic.}
}
@InProceedings{agotnes_et_al:DagSemProc.07122.24,
  author =	{\r{A}gotnes, Thomas and van der Hoek, Wiebe and Rodriguez-Aguilar, Juan A. and Sierra, Carles and Wooldridge, Michael},
  title =	{{On the Logic of Normative Systems}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--13},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.24},
  URN =		{urn:nbn:de:0030-drops-9210},
  doi =		{10.4230/DagSemProc.07122.24},
  annote =	{Keywords: Normative systems, normative temporal logic, deontic logic}
}
@InProceedings{hansen:DagSemProc.07122.25,
  author =	{Hansen, J\"{o}rg},
  title =	{{Prioritized Conditional Imperatives:Problems and a New Proposal}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--30},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.25},
  URN =		{urn:nbn:de:0030-drops-9147},
  doi =		{10.4230/DagSemProc.07122.25},
  annote =	{Keywords: Deontic logic, default logic, priorities, logic of imperatives}
}
@InProceedings{okuyama_et_al:DagSemProc.07122.26,
  author =	{Okuyama, Fabio and Bordini, Rafael and Rocha Costa, Ant\^{o}nio Carlos},
  title =	{{Spatially Distributed Normative Objects}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--14},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.26},
  URN =		{urn:nbn:de:0030-drops-9030},
  doi =		{10.4230/DagSemProc.07122.26},
  annote =	{Keywords: Multi-Agent Systems, Environment Modelling, Normative Infrastructure}
}
@InProceedings{fornara_et_al:DagSemProc.07122.27,
  author =	{Fornara, Nicoletta and Colombetti, Marco},
  title =	{{Specifying and Enforcing Norms in Artificial Institutions}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--16},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.27},
  URN =		{urn:nbn:de:0030-drops-9097},
  doi =		{10.4230/DagSemProc.07122.27},
  annote =	{Keywords: Norms, Sanctions, Commitments, Artificial Institutions,}
}
@InProceedings{hansen_et_al:DagSemProc.07122.28,
  author =	{Hansen, J\"{o}rg and Pigozzi, Gabriella and van der Torre, Leendert},
  title =	{{Ten Philosophical Problems in Deontic Logic}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--26},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.28},
  URN =		{urn:nbn:de:0030-drops-9413},
  doi =		{10.4230/DagSemProc.07122.28},
  annote =	{Keywords: Deontic logic, normative systems, input/output logic}
}
@InProceedings{genovese:DagSemProc.07122.29,
  author =	{Genovese, Valerio},
  title =	{{Towards a General Framework for Modelling Roles}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--21},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.29},
  URN =		{urn:nbn:de:0030-drops-9256},
  doi =		{10.4230/DagSemProc.07122.29},
  annote =	{Keywords: Roles, Organizations, Object OrientedModelling, Multi-Agent Systems, Security.}
}
@InProceedings{nickles:DagSemProc.07122.30,
  author =	{Nickles, Matthias},
  title =	{{Towards a Logic of Graded Normativity and Norm Adherence}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--15},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.30},
  URN =		{urn:nbn:de:0030-drops-9267},
  doi =		{10.4230/DagSemProc.07122.30},
  annote =	{Keywords: Computational Norms, Dynamic Logic, Computational Expectations, Social AI}
}
@InProceedings{broersen_et_al:DagSemProc.07122.31,
  author =	{Broersen, Jan M. and van der Torre, Leendert},
  title =	{{What an Agent Ought To Do}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--17},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.31},
  URN =		{urn:nbn:de:0030-drops-9051},
  doi =		{10.4230/DagSemProc.07122.31},
  annote =	{Keywords: Deontic logic, STIT, agency, action}
}
@InProceedings{makinson_et_al:DagSemProc.07122.32,
  author =	{Makinson, David and van der Torre, Leendert},
  title =	{{What is Input/Output Logic? Input/Output Logic, Constraints, Permissions}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--12},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.32},
  URN =		{urn:nbn:de:0030-drops-9282},
  doi =		{10.4230/DagSemProc.07122.32},
  annote =	{Keywords: Deontic logic, input/output logic, constraints, permissions}
}