Kumulative Habilitationsschrift von Prof. Dr. Frieder Stolzenburg - Wissenschaftliche Abhandlungen nebst "Introduction and Summary"

[0] Frieder Stolzenburg. Multiagent systems and RoboCup: Specification, analysis, and theoretical results. Habilitation, Universität Koblenz-Landau, Koblenz, 2005. Introduction and Summary. [ .pdf ]
[1] Ulrich Furbach, Oliver Obst, and Frieder Stolzenburg. Intelligente Agenten und KI. LOG IN - Informatische Bildung und Computer in der Schule, 20(3/4):17-21, 2000. [ .pdf ]
[2] Frank Dylla, Alexander Ferrein, Gerhard Lakemeyer, Jan Murray, Oliver Obst, Thomas Röfer, Frieder Stolzenburg, Ubbo Visser, and Thomas Wagner. Towards a league-independent qualitative soccer theory for RoboCup. In Hans Utz, Freek Stulp, and Bernhard Nebel, editors, Proceedings of Workshop 9 Methods and Technology for Empirical Evaluation of Multi-Agent Systems and Multi-Robot Teams in Conjunction with KI 2004, pages 43-57, Ulm, 2004. Shorter version in Daniele Nardi, Martin Riedmiller, Claude Sammut, and José Santos-Victor, editors, RoboCup 2004: Proceedings of the International RoboCup Symposium, LNAI 3276, pages 611-618. Springer, Berlin, Heidelberg, New York, 2005. [ .pdf ]
[3] Frieder Stolzenburg, Oliver Obst, and Jan Murray. Qualitative velocity and ball interception. In Matthias Jarke, Jana Köhler, and Gerhard Lakemeyer, editors, KI-2002: Advances in Artificial Intelligence - Proceedings of 25th Annual German Conference on Artificial Intelligence, LNAI 2479, pages 283-298, Aachen, 2002. Springer, Berlin, Heidelberg, New York. [ .pdf ]
[4] Frieder Stolzenburg, Jan Murray, and Karsten Sturm. Multiagent matching algorithms with and without coach. Journal of Decision Systems, 15(2-3):215-240, 2006. Special issue on Decision Support Systems. Guest editors: Fatima C. C. Dargam and Pascale Zarate. [ .pdf ]
[5] Frieder Stolzenburg, Oliver Obst, Jan Murray, and Björn Bremer. Spatial agents implemented in a logical expressible language. In Manuela Veloso, Enrico Pagello, and Hiroaki Kitano, editors, RoboCup-99: Robot Soccer WorldCup III, LNAI 1856, pages 481-494. Springer, Berlin, Heidelberg, New York, 2000. [ .pdf ]
[6] Jan Murray, Oliver Obst, and Frieder Stolzenburg. Towards a logical approach for soccer agents engineering. In Peter Stone, Tucker Balch, and Gerhard Kraetzschmar, editors, RoboCup 2000: Robot Soccer World Cup IV, LNAI 2019, pages 199-208. Springer, Berlin, Heidelberg, New York, 2001. [ .pdf ]
[7] Frieder Stolzenburg and Toshiaki Arai. From the specification of multiagent systems by statecharts to their formal analysis by model checking: Towards safety-critical applications. In Michael Schillo, Matthias Klusch, Jörg Müller, and Huaglory Tianfield, editors, Proceedings of 1st German Conference on Multiagent System Technologies, LNAI 2831, pages 131-143, Erfurt, 2003. Springer, Berlin, Heidelberg, New York. [ .pdf ]
[8] Carlos I. Chesñevar, Jürgen Dix, Frieder Stolzenburg, and Guillermo R. Simari. Relating defeasible and normal logic programming through transformation properties. Theoretical Computer Science, 290(1):499-529, 2003. [ .pdf ]
[9] Frieder Stolzenburg, Alejandro J. García, Carlos I. Chesñevar, and Guillermo R. Simari. Computing generalized specificity. Journal of Applied Non-Classical Logics, 13(1):87-113, 2003. [ .pdf ]
[10] Frieder Stolzenburg. Loop-detection in hyper-tableaux by powerful model generation. Journal of Universal Computer Science, 5(3):135-155, 1999. Special issue on Integration of Deduction Systems. Guest editors: Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, and Wolfgang Reif. Springer, Berlin, Heidelberg, New York. [ .pdf ]