Search Results

Documents authored by Governatori, Guido


Document
Complete Volume
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
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
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}
}
Document
Normative Multi-Agent Systems (Dagstuhl Seminar 12111)

Authors: Giulia Andrighetto, Guido Governatori, Pablo Noriega, and Leon van der Torre

Published in: Dagstuhl Reports, Volume 2, Issue 3 (2012)


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 12111 ``Normative Multi-Agent Systems''. Normative systems are systems in the behavior of which norms play a role and which need normative concepts in order to be described or specified. A normative multi-agent system combines models for normative systems (dealing for example with obligations, permissions and prohibitions) with models for multi-agent systems. Norms have been proposed in multi-agent systems and computer science to deal with issues of coordination, security, electronic commerce and institutions, agent organization. However, due to the lack of a unified theory, many multi-agent system researchers are presently developing their own ad hoc concepts and applications. The aim of this Dagstuhl Seminar was to formulate a collective appraisal of the current perspectives in the field and the most promising venues for future activity. In particular, the seminar has been conceived for the writing of a volume titled "A Prospective view of Normative Multi Agent Systems" aimed to become a standard reference in the field and to provide guidelines for future research in normative multi-agent systems.

Cite as

Giulia Andrighetto, Guido Governatori, Pablo Noriega, and Leon van der Torre. Normative Multi-Agent Systems (Dagstuhl Seminar 12111). In Dagstuhl Reports, Volume 2, Issue 3, pp. 23-49, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@Article{andrighetto_et_al:DagRep.2.3.23,
  author =	{Andrighetto, Giulia and Governatori, Guido and Noriega, Pablo and van der Torre, Leon},
  title =	{{Normative Multi-Agent Systems (Dagstuhl Seminar 12111)}},
  pages =	{23--49},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{3},
  editor =	{Andrighetto, Giulia and Governatori, Guido and Noriega, Pablo and van der Torre, Leon},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.3.23},
  URN =		{urn:nbn:de:0030-drops-35358},
  doi =		{10.4230/DagRep.2.3.23},
  annote =	{Keywords: Normative Multiagent systems, Autonomous agents and Multiagent systems, Agreement Technologies, Norms}
}
Document
How Do Agents Comply with Norms?

Authors: Guido Governatori and Antonino Rotolo

Published in: Dagstuhl Seminar Proceedings, Volume 9121, Normative Multi-Agent Systems (2009)


Abstract
The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents' behaviour and normative systems. This paper discusses how to check whether agents' behaviour is compliant with the rules regulating them. The key point of our approach is that compliance is a relationship between two sets of specifications: the specifications for executing a process and the specifications regulating it. We propose a logic-based formalism for describing both the semantics of normative specifications and the semantics of compliance checking procedures.

Cite as

Guido Governatori and Antonino Rotolo. How Do Agents Comply with Norms?. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{governatori_et_al:DagSemProc.09121.17,
  author =	{Governatori, Guido and Rotolo, Antonino},
  title =	{{How Do Agents Comply with Norms?}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{1--19},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9121},
  editor =	{Guido Boella and Pablo Noriega and Gabriella Pigozzi 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.09121.17},
  URN =		{urn:nbn:de:0030-drops-19090},
  doi =		{10.4230/DagSemProc.09121.17},
  annote =	{Keywords: Compliance, agents, violations, norms}
}
Document
BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic

Authors: Guido Governatori and Antonino Rotolo

Published in: Dagstuhl Seminar Proceedings, Volume 7122, Normative Multi-agent Systems (2007)


Abstract
In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible Logic. We argue, in particular, that the introduction of obligations can provide a new reading of the concepts of intention and intentionality. Then we examine the notion of social agent (i.e., an agent where obligations prevail over intentions) and discuss some computational and philosophical issues related to it. We show that the notion of social agent either requires more complex computations or has some philosophical drawbacks.

Cite as

Guido Governatori and Antonino Rotolo. BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic. In Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, Volume 7122, pp. 1-34, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@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}
}
Document
Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic

Authors: Regis Riveret, Antonino Rotolo, and Guido Governatori

Published in: Dagstuhl Seminar Proceedings, Volume 7122, Normative Multi-agent Systems (2007)


Abstract
While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. We propose in this paper a variant of Temporal Modal Defeasible Logic to deal in particular with temporal intervals.

Cite as

Regis Riveret, Antonino Rotolo, and Guido Governatori. Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic. In Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, Volume 7122, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@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}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail