Seit fünf Jahren veranstaltet die Computational Intelligence Group an der TU Clausthal (zusammen mit Mehdi Dastani von der Intelligent Systems Group der Universität Utrecht) den Multi-Agent Contest, einen internationalen Wettbewerb zum Testen von Multiagentensystemen. Die teilnehmenden Teams müssen eine bestimmte Aufgabe auf einem schachbrettartig gemusterten Spielfeld lösen. Es spielen jeweils...

The AGR family (Ferber & Gutknecht, 1998; Ferber et al. 2004) has been one of the first to give a simple and detailed account of what an OCMAS should be, and has been the conceptual basis for the MadKit platform (MadKit 2004). The Moise+ has also shown its importance in the field by providing a general framework for groups, roles, goal-driven agents and norms (Hübner, Sichman & Boissier, 2002)....

We advocate the use of the Maude term rewriting language and its supporting tools for prototyping, model-checking, and testing agent programming languages and agent programs. One of the main advantages of Maude is that it provides a single framework in which the use of a wide range of formal methods is facilitated. We use the agent programming language BUpL (Belief Update programming Language) ...

Am 13. und 14. Dezember 2007 fand in Hammamet in Tunesien der fünfte „European Workshop on Multi-Agent Systems“ (EUMAS 2007) statt. Die Organisatoren (M. Dastani, Universität Utrecht und R. Bordini, Universität Durham) konnten im Hotel ElMouradi rund 90 Teilnehmer begrüßen, von denen viele eine durchaus längere Reise in Kauf nahmen. So kamen Forscher sowohl aus dem europäischen Raum, als auch a...

Analogy making is a highly sophisticated cognitive process in which two stimuli are compared and analyzed for common patterns. Analogical reasoning is the adaptation of knowledge about one stimulus such that it can be applied to the second stimulus and new analogous inferences can be drawn. Analogy making requires intelligence, since such analogous patterns and transfers often are not obvious a...

Acknowledgements I would like to thank my supervising committee and fellow students, both at the artificial intelligence-thesis group at the Open Universiteit, and my collegue-thesis students in 'room 142' in Utrecht, for their support, thoughtful critique and interest. I owe especially much to Schil de Vos and Mehdi Dastani. Schil, having supervised tens of students at the Open Universiteit, k...

ion-Based Verification of Infinite-State Reactive Modules 725 Francesco Belardinelli and Alessio Lomuscio Translation-Based Revision and Merging for Minimal Horn Reasoning 734 Gerhard Brewka, Jean-Guy Mailly and Stefan Woltran Parallel Filter-Based Feature Selection Based on Balanced Incomplete Block Designs 743 Antonio Salmerón, Anders L. Madsen, Frank Jensen, Helge Langseth, Thomas D. Nielsen...