Search Results

Documents authored by Hindriks, Koen

Found 2 Possible Name Variants:

Hindriks, Koen V.

Document
DOI: 10.4230/DagRep.2.8.74
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.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}
}

Hindriks, Koen

Document
DOI: 10.4230/DagSemProc.08361.7
GOAL Agents Instantiate Intention Logic

Authors: Koen Hindriks and Wiebe van der Hoek

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

Abstract
It is commonly believed there is a big gap between agent logics and computational agent frameworks. In this paper, we show that this gap is not as big as believed by showing that GOAL agents instantiate Intention Logic of Cohen and Levesque. That is, we show that GOAL agent programs can be formally related to Intention Logic.We do so by proving that the GOAL Verification Logic can be embedded into Intention Logic. It follows that (a fragment of) Intention Logic can be used to prove properties of GOAL agents. The work reported is an important step towards the application of standard tools from modal logic for e.g. model checking agent programs. Our results also prove useful for extending the expressiveness of the GOAL agent language. This is illustrated by incorporating temporally extended goals into GOAL agents.
Cite as

Koen Hindriks and Wiebe van der Hoek. GOAL Agents Instantiate Intention Logic. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)

Copy BibTex To Clipboard

@InProceedings{hindriks_et_al:DagSemProc.08361.7,
  author =	{Hindriks, Koen and van der Hoek, Wiebe},
  title =	{{GOAL Agents Instantiate Intention Logic}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--13},
  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.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.7},
  URN =		{urn:nbn:de:0030-drops-16458},
  doi =		{10.4230/DagSemProc.08361.7},
  annote =	{Keywords: Agents, programs, constructs, logics, operational semantics, model-theoretic semantics}
}
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
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact