Publications

T. Behrens, J. Dix, M. Köster, J. Hübner
The Multi-Agent Programming Contest: Environment Interface and Contestants in 2010
In: Annals of Mathematics and Artificial Intelligence, Vol. 61, No. 4, Springer, 2011, Netherlands.
The original publication is available at www.springerlink.com

T. Behrens, M. Dastani, J. Dix, M. Köster, P. Novak
The Multi-Agent Programming Contest: History and Contestants in 2009
In: Annals of Mathematics and Artificial Intelligence, Vol. 59, No. 3, Springer, 2010, Netherlands.
The original publication is available at www.springerlink.com

M. Köster, F. Schlesinger, J. Dix
The Multi-agent Programming Contest 2012
M. Dastani, B. Logan, J. Hübner (Eds.)
In: Programming Multi-Agent Systems, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, to appear.
Keywords: Computer Science.
The original publication is available at www.springerlink.com

N. Bulling, M. Köster, M. Popovici
A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks
M. Fisher, L. van der Torre, M. Dastani, G. Governatori (Eds.)
In: Computational Logic in Multi-Agent Systems, Lecture Notes in Computer Science, Vol. 7486, pg. 128-145, Springer Berlin / Heidelberg, 2012.
ISBN: 978-3-642-32896-1.
Keywords: Computer Science.
The original publication is available at www.springerlink.com

T. Behrens, M. Dastani, J. Dix, J. Hübner, M. Köster, P. Novák, F. Schlesinger
The Multi-Agent Programming Contest
In: AI Magazine, Vol. 33, No. 4, pg. 111, 2012.

T. Behrens, M. Köster, F. Schlesinger, J. Dix, J. Hübner
The Multi-agent Programming Contest 2011: A Résumé
L. Dennis, O. Boissier, R. Bordini (Eds.)
In: Programming Multi-Agent Systems, Lecture Notes in Computer Science, Vol. 7217, pg. 155-172, Springer Berlin / Heidelberg, 2012.
ISBN: 978-3-642-31914-3.
Keywords: Computer Science.
The original publication is available at www.springerlink.com

M. Köster, P. Lohmann
Abstraction for Model Checking Modular Interpreted Systems over ATL
L. Dennis, O. Boissier, R. Bordini (Eds.)
In: Programming Multi-Agent Systems, Lecture Notes in Computer Science, Vol. 7217, pg. 95-113, Springer Berlin / Heidelberg, 2012.
ISBN: 978-3-642-31914-3.
Keywords: Computer Science.
The original publication is available at www.springerlink.com

T. Behrens, J. Dix, J. Hübner, M. Köster
Editorial
In: Annals of Mathematics and Artificial Intelligence, Vol. 61, Issue 4, pg. 257-260, Springer Netherlands, 2011.
ISSN: 1012-2443.
Keywords: Informatik.
The original publication is available at www.springerlink.com

T. Behrens, M. Dastani, J. Dix, M. Köster, P. Novák
The multi-agent programming contest from 2005-2010
In: Annals of Mathematics and Artificial Intelligence, Vol. 59, Issue 3, pg. 277-311, Springer Netherlands, 2010.
ISSN: 1012-2443.
Keywords: Informatik.
The original publication is available at www.springerlink.com

M. Köster, T. Behrens, J. Dix, J. Hübner, M. Dastani, P. Novák
Editorial
In: Annals of Mathematics and Artificial Intelligence, Vol. 59, Issue 3, pg. 275-275, Springer Netherlands, 2010.
ISSN: 1012-2443.
Keywords: Informatik.
The original publication is available at www.springerlink.com

J. Dix, T. Behrens, M. Köster, P. Novák
Agenten als Goldgräber und Cowboys
In: KI, Vol. 23, No. 2, pg. 50-53, 2009.

M. Köster, P. Novák, D. Mainzer, B. Fuhrmann
Two Case Studies for Jazzyk BSM
F. Dignum, J. Bradshaw, B. Silverman, W. van Doesburg (Eds.)
In: Agents for Games and Simulations, Lecture Notes in Computer Science, Vol. 5920, pg. 33-47, Springer Berlin / Heidelberg, 2009.
ISBN: 978-3-642-11197-6.
Keywords: Computer Science.
The original publication is available at www.springerlink.com

M. Köster, P. Lohmann
Abstraction for model checking modular interpreted systems over ATL
In: The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3, AAMAS ’11, pg. 1129–1130, International Foundation for Autonomous Agents and Multiagent Systems, 2011, Richland, SC.
ISBN: 0-9826571-7-X, 978-0-9826571-7-1.
Keywords: abstraction, model checking, modular interpreted systems, temporal and strategic logics.

P. Novák, M. Köster
Designing Goal-Oriented Reactive Behaviours
Y. Lespérance, G. Lakemeyer, J. Peters, F. Pirri (Eds.)
In: Proceedings of the 6th International Cognitive Robotics Workshop, CogRob 2008, ECAI 2008 collocated workshop, The 18th European Conference on Artificial Intelligence, pg. 24-31, Jul. 2008, Patras, Greece.
ISBN: 978-960-6843-09-9.

T. Behrens, J. Dix, J. Hübner, M. Köster, F. Schlesinger
Multi-Agent Programming Contest 2011 Edition Documentation
No. IfI-12-01, Clausthal University of Technology, Apr. 2012.
ISSN: 1860-8477.

N. Bulling, M. Köster, M. Popovici
A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks
No. IfI-12-03, Clausthal University of Technology, 2012.

T. Behrens, J. Dix, J. Hübner, M. Köster, F. Schlesinger
Multi-Agent Programming Contest 2011 Edition Evaluation and Team Descriptions
No. IfI-12-02, Clausthal University of Technology, Apr. 2012.
ISSN: 1860-8477.

C. Deiters, M. Köster, S. Lange, S. Lützel, B. Mokbel, C. Mumme, D. Niebuhr
DemSy - A Scenario for an Integrated Demonstrator in a SmartCity
No. 2010/01, NTH Focused Research School for IT Ecosystems, Clausthal University of Technology, May. 2010.

T. Behrens, M. Dastani, J. Dix, M. Köster, P. Novák
The Multi-Agent Programming Contest from 2005–2010: From Gold Collecting to Herding Cows
No. IfI-10-14, Clausthal University of Technology, Dec. 2010.
ISSN: 1860-8477.

M. Köster, P. Lohmann
Abstraction for Model Checking Modular Interpreted Systems over ATL
No. IfI-10-13, Clausthal University of Technology, 2010.

T. Behrens, J. Dix, M. Dastani, M. Köster, P. Novák
Technical Foundations of the Agent Contest 2008
No. IfI-08-05, Clausthal University of Technology, 2008.

M. Köster
Implementierung eines autonomen Agenten in einer simulierten 3D-Umgebung - Wissensrepräsentation
TU Clausthal, Apr. 2008, Clausthal-Zellerfeld, Germany.