Publications
Books and Collections (2)
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
Journal Articles (5)
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
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
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
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. 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
Conference Papers (2)
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.
Technical Reports (3)
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.
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.
Diploma Thesis (1)
M. Köster
Implementierung eines autonomen Agenten in einer simulierten 3D-Umgebung - Wissensrepräsentation
TU Clausthal, Apr. 2008, Clausthal-Zellerfeld, Germany.