12 Search Results for "van der Torre, Leendert W. N."

Volume

Dagstuhl Follow-Ups, Volume 4

Normative Multi-Agent Systems

Editors: Giulia Andrighetto, Guido Governatori, Pablo Noriega, and Leendert W. N. van der Torre

Document
DOI: 10.4230/LIPIcs.CSL.2026.18
A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light

Authors: Antonella Bilotta, Marco Maggesi, and Cosimo Perini Brogi

Published in: LIPIcs, Volume 363, 34th EACSL Annual Conference on Computer Science Logic (CSL 2026)

Abstract
We extend the existing HOL Light Library for Modal Systems (HOLMS) to support a modular implementation of modal reasoning within the HOL Light proof assistant. We deeply embed axiomatic calculi and relational semantics for seven normal modal logics (K, T, B, K4, S4, S5, GL) and formalise modal adequacy theorems for these systems. We then leverage those formalisations to implement a mechanism for automated reasoning via proof-search in the associated labelled sequent calculi, which we shallowly embed in HOL Light’s goal-stack mechanism. This way, we equip the general-purpose proof assistant with (semi)decision procedures for these logics that, in case of failure to construct a proof for the input formula, return a certified countermodel within the appropriate class for the logic under consideration. On the methodological side, we propose a precise measure of the modularity of our approach by systematically adopting Christopher Strachey’s distinction between ad hoc and parametric polymorphism throughout the library.
Cite as

Antonella Bilotta, Marco Maggesi, and Cosimo Perini Brogi. A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light. In 34th EACSL Annual Conference on Computer Science Logic (CSL 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 363, pp. 18:1-18:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@InProceedings{bilotta_et_al:LIPIcs.CSL.2026.18,
  author =	{Bilotta, Antonella and Maggesi, Marco and Perini Brogi, Cosimo},
  title =	{{A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light}},
  booktitle =	{34th EACSL Annual Conference on Computer Science Logic (CSL 2026)},
  pages =	{18:1--18:29},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-411-6},
  ISSN =	{1868-8969},
  year =	{2026},
  volume =	{363},
  editor =	{Guerrini, Stefano and K\"{o}nig, Barbara},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2026.18},
  URN =		{urn:nbn:de:0030-drops-254427},
  doi =		{10.4230/LIPIcs.CSL.2026.18},
  annote =	{Keywords: Modal logic, HOL Light, Labelled sequent calculi, Logical verification, Interactive theorem proving, Automated proof-search}
}
Document
DOI: 10.4230/OASIcs.Gabbrielli.9
A Concurrent Language for Argumentation: Preliminary Notes

Authors: Stefano Bistarelli and Carlo Taticchi

Published in: OASIcs, Volume 86, Recent Developments in the Design and Implementation of Programming Languages (2020)

Abstract
While agent-based modelling languages naturally implement concurrency, the currently available languages for argumentation do not allow to explicitly model this type of interaction. In this paper we introduce a concurrent language for handling process arguing and communicating using a shared argumentation framework (reminding shared constraint store as in concurrent constraint). We introduce also basic expansions, contraction and revision procedures as main bricks for enforcement, debate, negotiation and persuasion.
Cite as

Stefano Bistarelli and Carlo Taticchi. A Concurrent Language for Argumentation: Preliminary Notes. In Recent Developments in the Design and Implementation of Programming Languages. Open Access Series in Informatics (OASIcs), Volume 86, pp. 9:1-9:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)

Copy BibTex To Clipboard

@InProceedings{bistarelli_et_al:OASIcs.Gabbrielli.9,
  author =	{Bistarelli, Stefano and Taticchi, Carlo},
  title =	{{A Concurrent Language for Argumentation: Preliminary Notes}},
  booktitle =	{Recent Developments in the Design and Implementation of Programming Languages},
  pages =	{9:1--9:22},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-171-9},
  ISSN =	{2190-6807},
  year =	{2020},
  volume =	{86},
  editor =	{de Boer, Frank S. and Mauro, Jacopo},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli.9},
  URN =		{urn:nbn:de:0030-drops-132311},
  doi =		{10.4230/OASIcs.Gabbrielli.9},
  annote =	{Keywords: Argumentation, Concurrent Language, Debating, Negotiation, Belief Revision}
}
Document
Complete Volume
DOI: 10.4230/DFU.Vol4.12111
DFU, Volume 4, Normative Multi-Agent Systems

Authors: Giulia Andrighetto, Guido Governatori, Pablo Noriega, and Leendert W. N. van der Torre

Published in: Dagstuhl Follow-Ups, Volume 4, Normative Multi-Agent Systems (2013)

Abstract
DFU, Volume 4, Normative Multi-Agent Systems
Cite as

Normative Multi-Agent Systems. Dagstuhl Follow-Ups, Volume 4, pp. 1-241, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@Collection{DFU.Vol4.12111,
  title =	{{DFU, Volume 4, Normative Multi-Agent Systems}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{1--241},
  series =	{Dagstuhl Follow-Ups},
  ISBN =	{978-3-939897-51-4},
  ISSN =	{1868-8977},
  year =	{2013},
  volume =	{4},
  editor =	{Andrighetto, Giulia and Governatori, Guido and Noriega, Pablo and van der Torre, Leendert W. N.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111},
  URN =		{urn:nbn:de:0030-drops-39972},
  doi =		{10.4230/DFU.Vol4.12111},
  annote =	{Keywords: DFU, Volume 4, Normative Multi-Agent Systems}
}
Document
DOI: 10.4230/DFU.Vol4.12111.i
Frontmatter, Table of Contents, Preface, List of Authors

Authors: Giulia Andrighetto, Guido Governatori, Pablo Noriega, and Leendert W. N. van der Torre

Published in: Dagstuhl Follow-Ups, Volume 4, Normative Multi-Agent Systems (2013)

Abstract
Frontmatter, Table of Contents, Preface, List of Authors
Cite as

Normative Multi-Agent Systems. Dagstuhl Follow-Ups, Volume 4, pp. 0:i-0:xi, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@InCollection{andrighetto_et_al:DFU.Vol4.12111.i,
  author =	{Andrighetto, Giulia and Governatori, Guido and Noriega, Pablo and van der Torre, Leendert W. N.},
  title =	{{Frontmatter, Table of Contents, Preface, List of Authors}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{0:i--0:xi},
  series =	{Dagstuhl Follow-Ups},
  ISBN =	{978-3-939897-51-4},
  ISSN =	{1868-8977},
  year =	{2013},
  volume =	{4},
  editor =	{Andrighetto, Giulia and Governatori, Guido and Noriega, Pablo and van der Torre, Leendert W. N.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111.i},
  URN =		{urn:nbn:de:0030-drops-40058},
  doi =		{10.4230/DFU.Vol4.12111.i},
  annote =	{Keywords: Frontmatter, Table of Contents, Preface, List of Authors}
}
Document
DOI: 10.4230/DFU.Vol4.12111.1
Norms in MAS: Definitions and Related Concepts

Authors: Tina Balke, Célia da Costa Pereira, Frank Dignum, Emiliano Lorini, Antonino Rotolo, Wamberto Vasconcelos, and Serena Villata

Published in: Dagstuhl Follow-Ups, Volume 4, Normative Multi-Agent Systems (2013)

Abstract
In this chapter we provide an introductory presentation of normative multi-agent systems (nMAS). The key idea of the chapter is that any definition of nMAS should preliminarily clarify meaning, scope, and function of the concept of norm. On account of this idea, we focus on three definitions and some related requirements for nMAS. For each of such definitions we propose some guidelines for developing nMAS. Second, we suggest how to relate the concept of nMAS to different conceptions of norms and how norms can be used within the systems. Finally, we identify some specific issues that open research questions or that exhibit interesting overlaps with other disciplines.
Cite as

Tina Balke, Célia da Costa Pereira, Frank Dignum, Emiliano Lorini, Antonino Rotolo, Wamberto Vasconcelos, and Serena Villata. Norms in MAS: Definitions and Related Concepts. In Normative Multi-Agent Systems. Dagstuhl Follow-Ups, Volume 4, pp. 1-31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@InCollection{balke_et_al:DFU.Vol4.12111.1,
  author =	{Balke, Tina and da Costa Pereira, C\'{e}lia and Dignum, Frank and Lorini, Emiliano and Rotolo, Antonino and Vasconcelos, Wamberto and Villata, Serena},
  title =	{{Norms in MAS: Definitions and Related Concepts}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{1--31},
  series =	{Dagstuhl Follow-Ups},
  ISBN =	{978-3-939897-51-4},
  ISSN =	{1868-8977},
  year =	{2013},
  volume =	{4},
  editor =	{Andrighetto, Giulia and Governatori, Guido and Noriega, Pablo and van der Torre, Leendert W. N.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111.1},
  URN =		{urn:nbn:de:0030-drops-39983},
  doi =		{10.4230/DFU.Vol4.12111.1},
  annote =	{Keywords: Norms, MAS}
}
Document
DOI: 10.4230/DFU.Vol4.12111.33
Normative Reasoning and Consequence

Authors: Jan Broersen, Stephen Cranefield, Yehia Elrakaiby, Dov Gabbay, Davide Grossi, Emiliano Lorini, Xavier Parent, Leendert W. N. van der Torre, Luca Tummolini, Paolo Turrini, and François Schwarzentruber

Published in: Dagstuhl Follow-Ups, Volume 4, Normative Multi-Agent Systems (2013)

Abstract
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 discuss current research challenges. We cover the main issues in modern deontic logic, which is much broader than the traditional modal logic framework of deontic logic, with an emphasis to our in- tended audience. To emphasize this broadness, we typically refer to "deontic logic and normative systems" rather than deontic logic only.
Cite as

Jan Broersen, Stephen Cranefield, Yehia Elrakaiby, Dov Gabbay, Davide Grossi, Emiliano Lorini, Xavier Parent, Leendert W. N. van der Torre, Luca Tummolini, Paolo Turrini, and François Schwarzentruber. Normative Reasoning and Consequence. In Normative Multi-Agent Systems. Dagstuhl Follow-Ups, Volume 4, pp. 33-70, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@InCollection{broersen_et_al:DFU.Vol4.12111.33,
  author =	{Broersen, Jan and Cranefield, Stephen and Elrakaiby, Yehia and Gabbay, Dov and Grossi, Davide and Lorini, Emiliano and Parent, Xavier and van der Torre, Leendert W. N. and Tummolini, Luca and Turrini, Paolo and Schwarzentruber, Fran\c{c}ois},
  title =	{{Normative Reasoning and Consequence}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{33--70},
  series =	{Dagstuhl Follow-Ups},
  ISBN =	{978-3-939897-51-4},
  ISSN =	{1868-8977},
  year =	{2013},
  volume =	{4},
  editor =	{Andrighetto, Giulia and Governatori, Guido and Noriega, Pablo and van der Torre, Leendert W. N.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111.33},
  URN =		{urn:nbn:de:0030-drops-39994},
  doi =		{10.4230/DFU.Vol4.12111.33},
  annote =	{Keywords: Norms, MAS}
}
Document
DOI: 10.4230/DFU.Vol4.12111.71
Computational Models for Normative Multi-Agent Systems

Authors: Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, and Fernando Schapachnik

Published in: Dagstuhl Follow-Ups, Volume 4, Normative Multi-Agent Systems (2013)

Abstract
This chapter takes a closer look at computational logic approaches for the design, verification and the implementation of normative multi-agent systems. After a short overview of existing formalisms, architectures and implementation languages, an overview of current research challenges is provided.
Cite as

Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, and Fernando Schapachnik. Computational Models for Normative Multi-Agent Systems. In Normative Multi-Agent Systems. Dagstuhl Follow-Ups, Volume 4, pp. 71-92, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@InCollection{alechina_et_al:DFU.Vol4.12111.71,
  author =	{Alechina, Natasha and Bassiliades, Nick and Dastani, Mehdi and De Vos, Marina and Logan, Brian and Mera, Sergio and Morris-Martin, Andreasa and Schapachnik, Fernando},
  title =	{{Computational Models for Normative Multi-Agent Systems}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{71--92},
  series =	{Dagstuhl Follow-Ups},
  ISBN =	{978-3-939897-51-4},
  ISSN =	{1868-8977},
  year =	{2013},
  volume =	{4},
  editor =	{Andrighetto, Giulia and Governatori, Guido and Noriega, Pablo and van der Torre, Leendert W. N.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111.71},
  URN =		{urn:nbn:de:0030-drops-40001},
  doi =		{10.4230/DFU.Vol4.12111.71},
  annote =	{Keywords: Norm verification, Computational Architectures for Normative MAS, Programming Normative Systems}
}
Document
DOI: 10.4230/DFU.Vol4.12111.93
Regulated MAS: Social Perspective

Authors: Pablo Noriega, Amit K. Chopra, Nicoletta Fornara, Henrique Lopes Cardoso, and Munindar P. Singh

Published in: Dagstuhl Follow-Ups, Volume 4, Normative Multi-Agent Systems (2013)

Abstract
This chapter addresses the problem of building normative multiagent systems in terms of regulatory mechanisms. It describes a static conceptual model through which one can specify normative multiagent systems along with a dynamic model to capture their operation and evolution. The chapter proposes a typology of applications and presents some open problems. In the last section, the authors express their individual views on these matters.
Cite as

Pablo Noriega, Amit K. Chopra, Nicoletta Fornara, Henrique Lopes Cardoso, and Munindar P. Singh. Regulated MAS: Social Perspective. In Normative Multi-Agent Systems. Dagstuhl Follow-Ups, Volume 4, pp. 93-133, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@InCollection{noriega_et_al:DFU.Vol4.12111.93,
  author =	{Noriega, Pablo and Chopra, Amit K. and Fornara, Nicoletta and Lopes Cardoso, Henrique and Singh, Munindar P.},
  title =	{{Regulated MAS: Social Perspective}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{93--133},
  series =	{Dagstuhl Follow-Ups},
  ISBN =	{978-3-939897-51-4},
  ISSN =	{1868-8977},
  year =	{2013},
  volume =	{4},
  editor =	{Andrighetto, Giulia and Governatori, Guido and Noriega, Pablo and van der Torre, Leendert W. N.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111.93},
  URN =		{urn:nbn:de:0030-drops-40017},
  doi =		{10.4230/DFU.Vol4.12111.93},
  annote =	{Keywords: NormMAS, Norms, Open Interaction}
}
Document
DOI: 10.4230/DFU.Vol4.12111.135
(Social) Norm Dynamics

Authors: Giulia Andrighetto, Cristiano Castelfranchi, Eunate Mayor, John McBreen, Maite Lopez-Sanchez, and Simon Parsons

Published in: Dagstuhl Follow-Ups, Volume 4, Normative Multi-Agent Systems (2013)

Abstract
This chapter is concerned with the dynamics of social norms, that is the way that such norms change. In particular this chapter concentrates on the lifecycle that social norms go through, focusing on the generation of norms, the way that norms spread and stabilize, and the way that norms evolve. We also discuss the cognitive mechanisms behind norm compliance, the role of culture in norm dynamics, and the way that trust affects norm dynamics.
Cite as

Giulia Andrighetto, Cristiano Castelfranchi, Eunate Mayor, John McBreen, Maite Lopez-Sanchez, and Simon Parsons. (Social) Norm Dynamics. In Normative Multi-Agent Systems. Dagstuhl Follow-Ups, Volume 4, pp. 135-170, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@InCollection{andrighetto_et_al:DFU.Vol4.12111.135,
  author =	{Andrighetto, Giulia and Castelfranchi, Cristiano and Mayor, Eunate and McBreen, John and Lopez-Sanchez, Maite and Parsons, Simon},
  title =	{{(Social) Norm Dynamics}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{135--170},
  series =	{Dagstuhl Follow-Ups},
  ISBN =	{978-3-939897-51-4},
  ISSN =	{1868-8977},
  year =	{2013},
  volume =	{4},
  editor =	{Andrighetto, Giulia and Governatori, Guido and Noriega, Pablo and van der Torre, Leendert W. N.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111.135},
  URN =		{urn:nbn:de:0030-drops-40023},
  doi =		{10.4230/DFU.Vol4.12111.135},
  annote =	{Keywords: Social norms, Norm generation, Norm spreading, Norm evolution, Trust, Culture}
}
Document
DOI: 10.4230/DFU.Vol4.12111.171
Simulation and NorMAS

Authors: Tina Balke, Stephen Cranefield, Gennaro Di Tosto, Samhar Mahmoud, Mario Paolucci, Bastin Tony Roy Savarimuthu, and Harko Verhagen

Published in: Dagstuhl Follow-Ups, Volume 4, Normative Multi-Agent Systems (2013)

Abstract
In this chapter, we discuss state of the art and future perspective of the study of norms with simulative methodologies, in particular employing agent-based simulation. After presenting the state of the art and framing the simulative research on norms in a norm life-cycle schema, we list those research challenges that we feel more apt to be tackled by the simulative approach. We conclude the chapter with the indications for the realization of a NorMAS simulation platform, illustrated by selected scenarios.
Cite as

Tina Balke, Stephen Cranefield, Gennaro Di Tosto, Samhar Mahmoud, Mario Paolucci, Bastin Tony Roy Savarimuthu, and Harko Verhagen. Simulation and NorMAS. In Normative Multi-Agent Systems. Dagstuhl Follow-Ups, Volume 4, pp. 171-189, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@InCollection{balke_et_al:DFU.Vol4.12111.171,
  author =	{Balke, Tina and Cranefield, Stephen and Di Tosto, Gennaro and Mahmoud, Samhar and Paolucci, Mario and Savarimuthu, Bastin Tony Roy and Verhagen, Harko},
  title =	{{Simulation and NorMAS}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{171--189},
  series =	{Dagstuhl Follow-Ups},
  ISBN =	{978-3-939897-51-4},
  ISSN =	{1868-8977},
  year =	{2013},
  volume =	{4},
  editor =	{Andrighetto, Giulia and Governatori, Guido and Noriega, Pablo and van der Torre, Leendert W. N.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111.171},
  URN =		{urn:nbn:de:0030-drops-40030},
  doi =		{10.4230/DFU.Vol4.12111.171},
  annote =	{Keywords: Simulation, Norms, MAS}
}
Document
DOI: 10.4230/DFU.Vol4.12111.191
The Uses of Norms

Authors: Munindar P. Singh, Matthew Arrott, Tina Balke, Amit K. Chopra, Rob Christiaanse, Stephen Cranefield, Frank Dignum, Davide Eynard, Emilia Farcas, Nicoletta Fornara, Fabien Gandon, Guido Governatori, Hoa Khanh Dam, Joris Hulstijn, Ingolf Krueger, Ho-Pun Lam, Michael Meisinger, Pablo Noriega, Bastin Tony Roy Savarimuthu, Kartik Tadanki, Harko Verhagen, and Serena Villata

Published in: Dagstuhl Follow-Ups, Volume 4, Normative Multi-Agent Systems (2013)

Abstract
This chapter presents a variety of applications of norms. These applications include governance in sociotechnical systems, data licensing and data collection, understanding software development teams, requirements engineering, assurance, natural resource allocation, wireless grids, autonomous vehicles, serious games, and virtual worlds.
Cite as

Munindar P. Singh, Matthew Arrott, Tina Balke, Amit K. Chopra, Rob Christiaanse, Stephen Cranefield, Frank Dignum, Davide Eynard, Emilia Farcas, Nicoletta Fornara, Fabien Gandon, Guido Governatori, Hoa Khanh Dam, Joris Hulstijn, Ingolf Krueger, Ho-Pun Lam, Michael Meisinger, Pablo Noriega, Bastin Tony Roy Savarimuthu, Kartik Tadanki, Harko Verhagen, and Serena Villata. The Uses of Norms. In Normative Multi-Agent Systems. Dagstuhl Follow-Ups, Volume 4, pp. 191-229, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@InCollection{singh_et_al:DFU.Vol4.12111.191,
  author =	{Singh, Munindar P. and Arrott, Matthew and Balke, Tina and Chopra, Amit K. and Christiaanse, Rob and Cranefield, Stephen and Dignum, Frank and Eynard, Davide and Farcas, Emilia and Fornara, Nicoletta and Gandon, Fabien and Governatori, Guido and Khanh Dam, Hoa and Hulstijn, Joris and Krueger, Ingolf and Lam, Ho-Pun and Meisinger, Michael and Noriega, Pablo and Savarimuthu, Bastin Tony Roy and Tadanki, Kartik and Verhagen, Harko and Villata, Serena},
  title =	{{The Uses of Norms}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{191--229},
  series =	{Dagstuhl Follow-Ups},
  ISBN =	{978-3-939897-51-4},
  ISSN =	{1868-8977},
  year =	{2013},
  volume =	{4},
  editor =	{Andrighetto, Giulia and Governatori, Guido and Noriega, Pablo and van der Torre, Leendert W. N.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111.191},
  URN =		{urn:nbn:de:0030-drops-40047},
  doi =		{10.4230/DFU.Vol4.12111.191},
  annote =	{Keywords: Norms, MAS, Governance, Requirements engineering}
}
  • Refine by Type
  • 11 Document/PDF
  • 1 Document/HTML
  • 1 Volume

  • Refine by Publication Year
  • 1 2026
  • 1 2020
  • 10 2013

  • Refine by Author
  • 4 Noriega, Pablo
  • 3 Andrighetto, Giulia
  • 3 Balke, Tina
  • 3 Cranefield, Stephen
  • 3 Governatori, Guido
  • Show More...

  • Refine by Series/Journal
  • 1 LIPIcs
  • 1 OASIcs
  • 9 DFU

  • Refine by Classification
  • 1 Computing methodologies → Concurrent programming languages
  • 1 Computing methodologies → Knowledge representation and reasoning
  • 1 Theory of computation → Automated reasoning
  • 1 Theory of computation → Concurrency
  • 1 Theory of computation → Higher order logic
  • Show More...

  • Refine by Keyword
  • 5 Norms
  • 4 MAS
  • 1 Argumentation
  • 1 Automated proof-search
  • 1 Belief Revision
  • Show More...

Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact