5 Search Results for "Meyer, John-Jules Ch."


Document
A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects

Authors: Bas R. Steunebrink, John-Jules Ch. Meyer, and Mehdi Dastani

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
When constructing a formal model of emotions for intelligent agents, two types of aspects have to be taken into account. First, qualitative aspects pertain to the conditions that elicit emotions. Second, quantitative aspects pertain to the actual experience and intensity of elicited emotions. In this presentation, we show how the qualitative aspects of a well-known psychological model of human emotions can be formalized in an agent specification language and how its quantitative aspects can be integrated into this model. Furthermore, we discuss several unspecified details and implicit assumptions in the psychological model that are explicated by this effort.

Cite as

Bas R. Steunebrink, John-Jules Ch. Meyer, and Mehdi Dastani. A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{steunebrink_et_al:DagSemProc.08361.3,
  author =	{Steunebrink, Bas R. and Meyer, John-Jules Ch. and Dastani, Mehdi},
  title =	{{A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--5},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.3},
  URN =		{urn:nbn:de:0030-drops-16447},
  doi =		{10.4230/DagSemProc.08361.3},
  annote =	{Keywords: Emotions, Intelligent Agents}
}
Document
Normative Multi-Agent Programs and Their Logics

Authors: Mehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, and Nick Tinnemeier

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by an organization artefact. This paper presents a simplified version of a programming language that is designed to implement norm-based artefacts. Such artefacts are specified in terms of norms being enforced by monitoring, regimenting and sanctioning mechanisms. The syntax and operational semantics of the programming language are introduced and discussed. A logic is presented that can be used to specify and verify properties of programs developed in this language.

Cite as

Mehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, and Nick Tinnemeier. Normative Multi-Agent Programs and Their Logics. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{dastani_et_al:DagSemProc.08361.9,
  author =	{Dastani, Mehdi and Grossi, Davide and Meyer, John-Jules Ch. and Tinnemeier, Nick},
  title =	{{Normative Multi-Agent Programs and Their Logics}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--16},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.9},
  URN =		{urn:nbn:de:0030-drops-16374},
  doi =		{10.4230/DagSemProc.08361.9},
  annote =	{Keywords: Multi-agent systems, norms, agent-oriented programming}
}
Document
06261 Abstracts Collection – Foundations and Practice of Programming Multi-Agent Systems

Authors: Mehdi Dastani, John-Jules Ch. Meyer, and Rafael H. Bordini

Published in: Dagstuhl Seminar Proceedings, Volume 6261, Foundations and Practice of Programming Multi-Agent Systems (2007)


Abstract
From 25.06.06 to 30.06.06, the Dagstuhl Seminar 06261 ``Foundations and Practice of Programming Multi-Agent Systems'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Mehdi Dastani, John-Jules Ch. Meyer, and Rafael H. Bordini. 06261 Abstracts Collection – Foundations and Practice of Programming Multi-Agent Systems. In Foundations and Practice of Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 6261, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{dastani_et_al:DagSemProc.06261.1,
  author =	{Dastani, Mehdi and Meyer, John-Jules Ch. and Bordini, Rafael H.},
  title =	{{06261 Abstracts Collection – Foundations and Practice of Programming Multi-Agent Systems}},
  booktitle =	{Foundations and Practice of Programming Multi-Agent Systems},
  pages =	{1--16},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{6261},
  editor =	{Rafael H. Bordini and Mehdi Dastani and John-Jules Ch. Meyer},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06261.1},
  URN =		{urn:nbn:de:0030-drops-8477},
  doi =		{10.4230/DagSemProc.06261.1},
  annote =	{Keywords: Agent-oriented programming, Agent-oriented software engineering, Multi-agent implementation languages, Agent development tools and platforms, Semantics of agent-oriented languages, Specification and verification of multi-agent systems, Theories of multi-agent programming}
}
Document
06261 Executive Summary – Foundations and Practice of Programming Multi-Agent Systems

Authors: Mehdi Dastani, John-Jules Ch. Meyer, and Rafael H. Bordini

Published in: Dagstuhl Seminar Proceedings, Volume 6261, Foundations and Practice of Programming Multi-Agent Systems (2007)


Abstract
The "Foundations and Practice of Programming Multi-Agent Systems" Dagstuhl Seminar aimed at bringing together researchers interested in programming languages for multi-agent systems, agent-oriented software engineering, and various related aspects such as verification, and formal semantics. We were delighted with the result of this seminar, which gave participants a clear view of the most advanced techniques being currently investigated in research on those topics throughout the world, and also a clear understanding of all the most important open problems that need to be addressed by this research community. The seminar was particularly successful in elucidating the relationship between work being done by the "programming languages for multi-agent systems" (ProMAS) research community and the "agent-oriented software engineering" (AOSE) research community. Even though the initiative for this seminar arose from the ProMAS community, we were delighted to attract many prominent researches from the AOSE community, which allowed us to achieve the positive result on the connection of ProMAS and AOSE research.

Cite as

Mehdi Dastani, John-Jules Ch. Meyer, and Rafael H. Bordini. 06261 Executive Summary – Foundations and Practice of Programming Multi-Agent Systems. In Foundations and Practice of Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 6261, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{dastani_et_al:DagSemProc.06261.2,
  author =	{Dastani, Mehdi and Meyer, John-Jules Ch. and Bordini, Rafael H.},
  title =	{{06261 Executive Summary – Foundations and Practice of Programming Multi-Agent Systems}},
  booktitle =	{Foundations and Practice of Programming Multi-Agent Systems},
  pages =	{1--3},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{6261},
  editor =	{Rafael H. Bordini and Mehdi Dastani and John-Jules Ch. Meyer},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06261.2},
  URN =		{urn:nbn:de:0030-drops-8461},
  doi =		{10.4230/DagSemProc.06261.2},
  annote =	{Keywords: Agent-oriented programming, Agent-oriented software engineering, Multi-agent implementation languages, Agent development tools and platforms, Semantics of agent-oriented languages, Specification and verification of multi-agent systems, Theories of multi-agent programming}
}
Document
Objects, Agents and Features (Dagstuhl Seminar 03081)

Authors: Hans-Dieter Ehrich, John-Jules Ch. Meyer, and Mark D. Ryan

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Hans-Dieter Ehrich, John-Jules Ch. Meyer, and Mark D. Ryan. Objects, Agents and Features (Dagstuhl Seminar 03081). Dagstuhl Seminar Report 367, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2003)


Copy BibTex To Clipboard

@TechReport{ehrich_et_al:DagSemRep.367,
  author =	{Ehrich, Hans-Dieter and Meyer, John-Jules Ch. and Ryan, Mark D.},
  title =	{{Objects, Agents and Features (Dagstuhl Seminar 03081)}},
  pages =	{1--6},
  ISSN =	{1619-0203},
  year =	{2003},
  type = 	{Dagstuhl Seminar Report},
  number =	{367},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.367},
  URN =		{urn:nbn:de:0030-drops-152472},
  doi =		{10.4230/DagSemRep.367},
}
  • Refine by Author
  • 5 Meyer, John-Jules Ch.
  • 4 Dastani, Mehdi
  • 2 Bordini, Rafael H.
  • 1 Ehrich, Hans-Dieter
  • 1 Grossi, Davide
  • Show More...

  • Refine by Classification

  • Refine by Keyword
  • 2 Agent development tools and platforms
  • 2 Agent-oriented programming
  • 2 Agent-oriented software engineering
  • 2 Multi-agent implementation languages
  • 2 Semantics of agent-oriented languages
  • Show More...

  • Refine by Type
  • 5 document

  • Refine by Publication Year
  • 2 2007
  • 2 2008
  • 1 2003

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