25 Search Results for "Dix, J�rgen"


Document
Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112)

Authors: Jürgen Dix, Brian Logan, and Michael Winikoff

Published in: Dagstuhl Reports, Volume 9, Issue 3 (2019)


Abstract
This report documents the program and outcomes of Dagstuhl Seminar 19112 "Engineering Reliable Multiagent Systems". The aim of this seminar was to bring together researchers from various scientific disciplines, such as software engineering of autonomous systems, software verification, and relevant subareas of AI, such as ethics and machine learning, to discuss the emerging topic of the reliability of (multi-)agent systems and autonomous systems in particular. The ultimate aim of the seminar was to establish a new research agenda for engineering reliable autonomous systems.

Cite as

Jürgen Dix, Brian Logan, and Michael Winikoff. Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112). In Dagstuhl Reports, Volume 9, Issue 3, pp. 52-63, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

@Article{dix_et_al:DagRep.9.3.52,
  author =	{Dix, J\"{u}rgen and Logan, Brian and Winikoff, Michael},
  title =	{{Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112)}},
  pages =	{52--63},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{9},
  number =	{3},
  editor =	{Dix, J\"{u}rgen and Logan, Brian and Winikoff, Michael},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.9.3.52},
  URN =		{urn:nbn:de:0030-drops-112912},
  doi =		{10.4230/DagRep.9.3.52},
  annote =	{Keywords: agent-oriented programming, multi agent systems, reliability, software and verification methodologies}
}
Document
Normative Multi-Agent Systems (Dagstuhl Seminar 18171)

Authors: Mehdi Dastani, Jürgen Dix, Harkp Verhagen, and Serena Villata

Published in: Dagstuhl Reports, Volume 8, Issue 4 (2018)


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 18171 "Normative Multi-Agent Systems". Normative multi-agent systems combine models for multi-agent systems with normative concepts, like obligations, permissions, and prohibitions. As such, they promise to be a suitable model, for example for (regulated) multiagent societies, organizations, electronic institutions, autonomous agent cooperation (with humans-in-the-loop) and much more. The aim of this seminar was to bring together researchers from various scientific disciplines, such as computer science, artificial intelligence, philosophy, law, cognitive science and social sciences to discuss the emerging topic concerning the responsibility of autonomous systems. Autonomous software systems and multi-agent systems in open environments require methodologies, models and tools to analyse and develop flexible control and coordination mechanisms. Without them, it is not possible to steer the behaviour and interaction of such systems and to ensure important overall properties. Normative multi-agent systems is an established area focussing on how norms can be used to control and coordinate autonomous systems and multi-agents systems without restricting the autonomy of the involved systems. Such control and coordination systems allow autonomous systems to violate norms, but respond to norm violations by means of various sanctioning mechanisms. Therefore it is crucial to determine which agents or agent groups are accountable for norm violations. The focus of this seminar laid on how the responsibility of autonomous systems can be defined, modelled, analysed and computed.

Cite as

Mehdi Dastani, Jürgen Dix, Harkp Verhagen, and Serena Villata. Normative Multi-Agent Systems (Dagstuhl Seminar 18171). In Dagstuhl Reports, Volume 8, Issue 4, pp. 72-103, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{dastani_et_al:DagRep.8.4.72,
  author =	{Dastani, Mehdi and Dix, J\"{u}rgen and Verhagen, Harkp and Villata, Serena},
  title =	{{Normative Multi-Agent Systems (Dagstuhl Seminar 18171)}},
  pages =	{72--103},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{4},
  editor =	{Dastani, Mehdi and Dix, J\"{u}rgen and Verhagen, Harkp and Villata, Serena},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.8.4.72},
  URN =		{urn:nbn:de:0030-drops-97612},
  doi =		{10.4230/DagRep.8.4.72},
  annote =	{Keywords: autonomous systems, control and coordination, norm-based systems, responsibility}
}
Document
Belief Change and Argumentation in Multi-Agent Scenarios (Dagstuhl Seminar 13231)

Authors: Jürgen Dix, Sven Ove Hansson, Gabriela Kern-Isberner, and Guillermo S. Simari

Published in: Dagstuhl Reports, Volume 3, Issue 6 (2013)


Abstract
This report documents the programme and outcomes of Dagstuhl Seminar 13231 "Belief Change and Argumentation in Multi-Agent Scenarios". The seminar brought together researchers from the fields of argumentation theory and belief revision, both from philosophy and computer science, to present recent research results and exchange ideas for combining argumentation and belief revision. A key objective of the seminar, moreover, has been to shed light on the applicability of these two fields in the area of multi-agent systems: Can both argumentation and belief revision be combined and used in a rational agent? Before revising its beliefs, how should an agent decide what, or what part of the new information should be believed? Can this deliberation before the proper revision process be performed by argumentation? The unique atmosphere of Dagstuhl provided again a perfect environment for leading researchers from a wide variety of backgrounds to discuss future directions of argumentation, belief revision and their applications in multi-agent systems.

Cite as

Jürgen Dix, Sven Ove Hansson, Gabriela Kern-Isberner, and Guillermo S. Simari. Belief Change and Argumentation in Multi-Agent Scenarios (Dagstuhl Seminar 13231). In Dagstuhl Reports, Volume 3, Issue 6, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@Article{dix_et_al:DagRep.3.6.1,
  author =	{Dix, J\"{u}rgen and Hansson, Sven Ove and Kern-Isberner, Gabriela and Simari, Guillermo S.},
  title =	{{Belief Change and Argumentation in Multi-Agent Scenarios (Dagstuhl Seminar 13231)}},
  pages =	{1--21},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{6},
  editor =	{Dix, J\"{u}rgen and Hansson, Sven Ove and Kern-Isberner, Gabriela and Simari, Guillermo S.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.3.6.1},
  URN =		{urn:nbn:de:0030-drops-41810},
  doi =		{10.4230/DagRep.3.6.1},
  annote =	{Keywords: Belief revision, argumentation, multi-agent systems}
}
Document
Engineering Multi-Agent Systems (Dagstuhl Seminar 12342)

Authors: Jürgen Dix, Koen V. Hindriks, Brian Logan, and Wayne Wobcke

Published in: Dagstuhl Reports, Volume 2, Issue 8 (2013)


Abstract
This report documents the programme and outcomes of Dagstuhl Seminar 12342 ``Engineering multiagent Systems''. The seminar brought together researchers from both academia and industry to identify the potential for and facilitate convergence towards standards for agent technology. As such it was particularly relevant to industrial research. A key objective of the seminar, moreover, has been to establish a road map for engineering multiagent systems. Various research areas have been identified as important topics for a research agenda with a focus on the development of multiagent systems. Among others, these include the integration of agent technology and legacy systems, component-based agent design, standards for tooling, establishing benchmarks for agent technology, and the development of frameworks for coordination and organisation of multiagent systems. This report presents a more detailed discussion of these and other research challenges that were identified. The unique atmosphere of Dagstuhl provided the perfect environment for leading researchers from a wide variety of backgrounds to discuss future directions in programming languages, tools and platforms for multiagent systems, and the road map produced by the seminar will have a timely and decisive impact on the future of this whole area of research.

Cite as

Jürgen Dix, Koen V. Hindriks, Brian Logan, and Wayne Wobcke. Engineering Multi-Agent Systems (Dagstuhl Seminar 12342). In Dagstuhl Reports, Volume 2, Issue 8, pp. 74-98, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@Article{dix_et_al:DagRep.2.8.74,
  author =	{Dix, J\"{u}rgen and Hindriks, Koen V. and Logan, Brian and Wobcke, Wayne},
  title =	{{Engineering Multi-Agent Systems (Dagstuhl Seminar 12342)}},
  pages =	{74--98},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{8},
  editor =	{Dix, J\"{u}rgen and Hindriks, Koen V. and Logan, Brian and Wobcke, Wayne},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.2.8.74},
  URN =		{urn:nbn:de:0030-drops-37846},
  doi =		{10.4230/DagRep.2.8.74},
  annote =	{Keywords: Agent-oriented programming, multiagent systems, Software methodologies for distributed systems, Programming distributed systems, Empirical evaluation}
}
Document
Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101)

Authors: Jürgen Dix, Wojtek Jamroga, and Dov Samet

Published in: Dagstuhl Reports, Volume 1, Issue 3 (2011)


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 11101 ``Reasoning about Interaction: From Game Theory to Logic and Back''. The notion of interaction is crucial in several disciplines, including social science, operational research, and economics. Two frameworks are most prominent in the formal treatment of interaction: game theory and mathematical logic. Quantitative analysis is usually conducted using models and tools of game theory. At the same time, logic provides vocabulary and methods to study interaction in a qualitative way. The aim of the seminar was to bring together researchers who approach interaction-related phenomena from different perspectives (and with different conceptual tools). We hoped that, by synergy and exchange of expertise, a more integrative view of interaction could be obtained. In particular, we focussed on how interaction between individual entities (be it humans, robots and/or virtual creatures) can lead to emergence of social structures, collective behavior, and teamwork - and, ultimately, help all involved parties benefit from cooperation.

Cite as

Jürgen Dix, Wojtek Jamroga, and Dov Samet. Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101). In Dagstuhl Reports, Volume 1, Issue 3, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


Copy BibTex To Clipboard

@Article{dix_et_al:DagRep.1.3.1,
  author =	{Dix, J\"{u}rgen and Jamroga, Wojtek and Samet, Dov},
  title =	{{Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101)}},
  pages =	{1--18},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2011},
  volume =	{1},
  number =	{3},
  editor =	{Dix, J\"{u}rgen and Jamroga, Wojtek and Samet, Dov},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.1.3.1},
  URN =		{urn:nbn:de:0030-drops-31915},
  doi =		{10.4230/DagRep.1.3.1},
  annote =	{Keywords: Game Theory, Logic, Mechanism Design, Security, Cooperation, Model Checking, Rationality, Knowledge}
}
Document
08461 Abstracts Collection – Planning in Multiagent Systems

Authors: Jürgen Dix, Edmund H. Durfee, and Cees Witteveen

Published in: Dagstuhl Seminar Proceedings, Volume 8461, Planning in Multiagent Systems (2009)


Abstract
From the 9th of November to the 14th of November 2008 the Dagstuhl Seminar 08461 '`Planning in Multiagent Systems'' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. 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

Jürgen Dix, Edmund H. Durfee, and Cees Witteveen. 08461 Abstracts Collection – Planning in Multiagent Systems. In Planning in Multiagent Systems. Dagstuhl Seminar Proceedings, Volume 8461, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{dix_et_al:DagSemProc.08461.1,
  author =	{Dix, J\"{u}rgen and Durfee, Edmund H. and Witteveen, Cees},
  title =	{{08461 Abstracts Collection – Planning in Multiagent Systems}},
  booktitle =	{Planning in Multiagent Systems},
  pages =	{1--9},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{8461},
  editor =	{J\"{u}rgen Dix and Edmund H. Durfee and Cees Witteveen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08461.1},
  URN =		{urn:nbn:de:0030-drops-18740},
  doi =		{10.4230/DagSemProc.08461.1},
  annote =	{Keywords: Multi-agent systems, AI-planning, coordination, robustness, temporal planning}
}
Document
08461 Executive Summary – Planning in Multi-Agent Systems

Authors: Jürgen Dix, Edmund H. Durfee, and Cees Witteveen

Published in: Dagstuhl Seminar Proceedings, Volume 8461, Planning in Multiagent Systems (2009)


Abstract
Planning in Multiagent Systems, or Multiagent Planning (MAP for short), considers the planning problem in the context of multiagent systems. It extends traditional AI planning to domains where multiple agents are involved in a plan and need to act together. Research in multiagent planning is promising for real-world problems: on one hand, AI planning techniques provide powerful tools for solving problems in single agent settings; on the other hand, multiagent systems, which have made significant progress over the past few years, are recognized as a key technology for tackling complex problems in realistic application domains. The motivation for this seminar is thus to bring together researchers working on these different fields in AI planning and multiagent systems to discuss the central topics mentioned above, to identify potential opportunities for coordination, and to develop benchmarks for future research in multiagent planning.

Cite as

Jürgen Dix, Edmund H. Durfee, and Cees Witteveen. 08461 Executive Summary – Planning in Multi-Agent Systems. In Planning in Multiagent Systems. Dagstuhl Seminar Proceedings, Volume 8461, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{dix_et_al:DagSemProc.08461.2,
  author =	{Dix, J\"{u}rgen and Durfee, Edmund H. and Witteveen, Cees},
  title =	{{08461 Executive Summary – Planning in Multi-Agent Systems }},
  booktitle =	{Planning in Multiagent Systems},
  pages =	{1--3},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{8461},
  editor =	{J\"{u}rgen Dix and Edmund H. Durfee and Cees Witteveen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08461.2},
  URN =		{urn:nbn:de:0030-drops-18739},
  doi =		{10.4230/DagSemProc.08461.2},
  annote =	{Keywords: Multi-agent systems, AI-planning, coordination, robustness, temporal planning}
}
Document
ASODPOP: Making Open DPOP Asynchronous

Authors: Brammert Ottens

Published in: Dagstuhl Seminar Proceedings, Volume 8461, Planning in Multiagent Systems (2009)


Abstract
In this paper we show how ODPOP can be adapted to an asynchronous environment where agents might have to decide their values before the algorithm has ended, giving us Asynchronous ODPOP (ASODPOP). We have compared the algorithm with both ADOPT and distributed local search (DSA). Compared to ADOPT we show that our approach sends fewer messages, converges to a reasonable solution faster, and uses an equal amount of NCCCs. We also show that this convergence is much faster than local search, whilst the solution that local search converges to is far from optimal.

Cite as

Brammert Ottens. ASODPOP: Making Open DPOP Asynchronous. In Planning in Multiagent Systems. Dagstuhl Seminar Proceedings, Volume 8461, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{ottens:DagSemProc.08461.3,
  author =	{Ottens, Brammert},
  title =	{{ASODPOP: Making Open DPOP Asynchronous}},
  booktitle =	{Planning in Multiagent Systems},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{8461},
  editor =	{J\"{u}rgen Dix and Edmund H. Durfee and Cees Witteveen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08461.3},
  URN =		{urn:nbn:de:0030-drops-18714},
  doi =		{10.4230/DagSemProc.08461.3},
  annote =	{Keywords: DCOP, Logistics, Planning, Coordination}
}
Document
Creating incentives to prevent execution failures: an extension of VCG mechanism

Authors: Yingqian Zhang and Mathijs de Weerdt

Published in: Dagstuhl Seminar Proceedings, Volume 8461, Planning in Multiagent Systems (2009)


Abstract
When information or control in a multiagent planning system is private to the agents, they may misreport this information or refuse to execute an agreed outcome, in order to change the resulting end state of such a system to their benefit. In some domains this may result in an execution failure. We show that in such settings VCG mechanisms lose truthfulness, and that the utility of truthful agents can become negative when using VCG payments (i.e., VCG is not strongly individually rational). To deal with this problem, we introduce an extended payment structure which takes into account the actual execution of the promised outcome. We show that this extended mechanism can guarantee a nonnegative utility and is (i) incentive compatible in a Nash equilibrium, and (ii) incentive compatible in dominant strategies if and only if all agents can be verified during execution.

Cite as

Yingqian Zhang and Mathijs de Weerdt. Creating incentives to prevent execution failures: an extension of VCG mechanism. In Planning in Multiagent Systems. Dagstuhl Seminar Proceedings, Volume 8461, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{zhang_et_al:DagSemProc.08461.4,
  author =	{Zhang, Yingqian and de Weerdt, Mathijs},
  title =	{{Creating incentives to prevent execution failures: an extension of VCG mechanism}},
  booktitle =	{Planning in Multiagent Systems},
  pages =	{1--18},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{8461},
  editor =	{J\"{u}rgen Dix and Edmund H. Durfee and Cees Witteveen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08461.4},
  URN =		{urn:nbn:de:0030-drops-18705},
  doi =		{10.4230/DagSemProc.08461.4},
  annote =	{Keywords: Mechanism design, multiagent planning}
}
Document
Using Options with Set Exercise Prices to Reduce Bidder Exposure in Sequential Auctions

Authors: Lonneke Mous, Valentin Robu, and Han La Poutre

Published in: Dagstuhl Seminar Proceedings, Volume 8461, Planning in Multiagent Systems (2009)


Abstract
The exposure problem appears whenever an agent with complementary valuations bids to acquire a bundle of items sold sequentially, in separate auctions. In this talk, we review a possible solution that can help solve this problem, which involves selling options for the items, instead of the items themselves. We provide a brief overview of the state of the art in this field and discuss, based on our recent results, under which conditions using option mechanisms would be desirable for both buyers and sellers, by comparison to direct auctioning of items. We conclude with a brief discussion of further research directions in this field, as well as the relation to other techniques proposed to address the problem, such as leveled commitment mechanisms.

Cite as

Lonneke Mous, Valentin Robu, and Han La Poutre. Using Options with Set Exercise Prices to Reduce Bidder Exposure in Sequential Auctions. In Planning in Multiagent Systems. Dagstuhl Seminar Proceedings, Volume 8461, pp. 1-35, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{mous_et_al:DagSemProc.08461.5,
  author =	{Mous, Lonneke and Robu, Valentin and La Poutre, Han},
  title =	{{Using Options with Set Exercise Prices to Reduce Bidder Exposure in Sequential Auctions}},
  booktitle =	{Planning in Multiagent Systems},
  pages =	{1--35},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{8461},
  editor =	{J\"{u}rgen Dix and Edmund H. Durfee and Cees Witteveen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08461.5},
  URN =		{urn:nbn:de:0030-drops-18724},
  doi =		{10.4230/DagSemProc.08461.5},
  annote =	{Keywords: Options, sequential auctions, multi-agent systems, exposure problem, bidding strategies, mechanism design, leveled commitment}
}
Document
08361 Abstracts Collection – Programming Multi-Agent Systems

Authors: Rafael Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni

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


Abstract
From 31th August to 5th September, the Dagstuhl Seminar 08361 ``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

Rafael Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni. 08361 Abstracts Collection – Programming Multi-Agent Systems. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{bordini_et_al:DagSemProc.08361.1,
  author =	{Bordini, Rafael and Dastani, Mehdi and Dix, J\"{u}rgen and El Fallah-Seghrouchni, Amal},
  title =	{{08361 Abstracts Collection – Programming Multi-Agent Systems}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--20},
  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.1},
  URN =		{urn:nbn:de:0030-drops-16470},
  doi =		{10.4230/DagSemProc.08361.1},
  annote =	{Keywords: Agency, agent-oriented programming, programming multi-agent systems}
}
Document
08361 Executive Summary – Programming Multi-Agent Systems

Authors: Rafael Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni

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


Abstract
Intelligent agents and multi-agent systems (MAS) play an important role in today’s software development. In fact, they constitute a new and interesting paradigm to implement complex systems, by offering relevant abstractions for the engineering of such intricate type of software. Several application domains, some at industrial level, take benefit from MAS technology. For almost two decades, the MAS community has developed and offers a large and rich set of concepts, architectures, interaction techniques, and general approaches to the analysis and the specification of MAS.

Cite as

Rafael Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni. 08361 Executive Summary – Programming Multi-Agent Systems. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{bordini_et_al:DagSemProc.08361.2,
  author =	{Bordini, Rafael and Dastani, Mehdi and Dix, J\"{u}rgen and El Fallah-Seghrouchni, Amal},
  title =	{{08361 Executive Summary – Programming Multi-Agent Systems}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--4},
  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.2},
  URN =		{urn:nbn:de:0030-drops-16463},
  doi =		{10.4230/DagSemProc.08361.2},
  annote =	{Keywords: Multi-agent systems programming}
}
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
Adding Organizations and Roles as Primitives to the JADE Framework

Authors: Roberto Grenna, Matteo Baldoni, Guido Boella, Leendert van der Torre, Mauro Dorni, Andrea Mugnaini, and Valerio Genovese

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


Abstract
The organization metaphor is often used in the design and implementation of multiagent systems. However, few agent programming languages provide facilities to define them. Several frameworks are proposed to coordinate MAS with organizations, but they are not programmable with general purpose languages. In this paper we extend the JADE framework with primitives to program in Java organizations structured in roles and to enable agents to play roles in organizations. Roles facilitate the coordination of agents inside an organization and give new abilities in the context of organizations, called powers, to the agents which satisfy the requirements necessary to play the roles. As primitives to program organizations and roles we provide classes and protocols which enable an agent to enact a new role in an organization and to interact with the role by invoking the execution of powers, and to receive new goals to be fulfilled. Roles have state and behaviour, thus, they are instances of classes and are strictly connected with the organization offering them. Since roles and organizations can be on a different platform with respect to the role player, the communication with them happens via protocols. Moreover, since, besides using protocols, roles and organizations can have complex behaviours, they are implemented by extending the JADE agent class.

Cite as

Roberto Grenna, Matteo Baldoni, Guido Boella, Leendert van der Torre, Mauro Dorni, Andrea Mugnaini, and Valerio Genovese. Adding Organizations and Roles as Primitives to the JADE Framework. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{grenna_et_al:DagSemProc.08361.4,
  author =	{Grenna, Roberto and Baldoni, Matteo and Boella, Guido and van der Torre, Leendert and Dorni, Mauro and Mugnaini, Andrea and Genovese, Valerio},
  title =	{{Adding Organizations and Roles as Primitives to the JADE Framework}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--17},
  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.4},
  URN =		{urn:nbn:de:0030-drops-16396},
  doi =		{10.4230/DagSemProc.08361.4},
  annote =	{Keywords: Roles, Organizations, JADE}
}
Document
Belief Update in AgentSpeak-DL

Authors: Álvaro F. Moreira and Renata Vieira

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


Abstract
In previous work (Moreira et al, DALT 2005) we proposed an extension for the belief base of AgentSpeak agents based on Description Logic (DL), aiming at enabling agent oriented programming to cope with recently proposed technologies for the Semantic Web. In such an extension an agent belief base contains the definition of complex concepts, besides specific factual knowledge. The foreseen advantages are: (i) more expressive queries to the belief base; (ii) a refined notion of belief update, which considers consistency of a belief addition; (iii) flexibility in plan searching allowed by subsumption relation between concepts; and (iv) knowledge sharing in a semantic web context (based on OWL). Following this proposal an extension of the well know Agent Speak interpreter, Jason, was presented by K lapiscak and Bordini in DALT 2008. Among the interesting open issues is how to deal with the addition of beliefs which violates ontology consistency. In this work discuss this problem related to ABox updating in the context of AgentSpeak-DL.

Cite as

Álvaro F. Moreira and Renata Vieira. Belief Update in AgentSpeak-DL. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{moreira_et_al:DagSemProc.08361.5,
  author =	{Moreira, \'{A}lvaro F. and Vieira, Renata},
  title =	{{Belief Update in AgentSpeak-DL}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--6},
  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.5},
  URN =		{urn:nbn:de:0030-drops-16418},
  doi =		{10.4230/DagSemProc.08361.5},
  annote =	{Keywords: Belief Update, Ontology, Agent Oriented Programming Languages}
}
  • Refine by Author
  • 13 Dix, Jürgen
  • 5 Dastani, Mehdi
  • 2 Boella, Guido
  • 2 Bordini, Rafael
  • 2 Durfee, Edmund H.
  • Show More...

  • Refine by Classification

  • Refine by Keyword
  • 3 Multi-agent systems
  • 3 agent-oriented programming
  • 2 AI-planning
  • 2 coordination
  • 2 multi-agent systems
  • Show More...

  • Refine by Type
  • 25 document

  • Refine by Publication Year
  • 12 2008
  • 5 2009
  • 1 1996
  • 1 2002
  • 1 2006
  • Show More...

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