@INCOLLECTION{Dylla2005,
  author = {Dylla, Frank and Ferrein, Alexander and Lakemeyer, Gerhard and Murray,
	Jan and Obst, Oliver and R{\"o}fer, Thomas and Stolzenburg, Frieder
	and Visser, Ubbo and Wagner, Thomas},
  title = {Towards a League-Independent Qualitative Soccer Theory for RoboCup},
  booktitle = {RoboCup 2004: Robot Soccer World Cup VIII},
  publisher = {Springer},
  year = {2005},
  editor = {Nardi, Daniele and Riedmiller, Martin and Sammut, Claude and Santos-Victor,
	Jos{\'e}},
  series = {Lecture Notes in Computer Science},
  pages = {611--618},
  address = {Lissabon, Portugal},
  abstract = {The paper discusses a top-down approach to model soccer knowledge,
	as it can be found in soccer theory books. The goal is to model soccer
	strategies and tactics in a way that they are usable for multiple
	RoboCup soccer leagues, i.e. for different hardware platforms. We
	investigate if and how soccer theory can be formalized such that
	specification and execution is possible. The advantage is clear:
	theory abstracts from hardware and from specific situations in leagues.
	We introduce basic primitives compliant with the terminology known
	in soccer theory, discuss an example on an abstract level and formalize
	it. We then consider aspects of different RoboCup leagues in a case
	study and examine how examples can be instantiated in three different
	leagues.},
  doi = {10.1007/b106671},
  isbn = {978-3-540-25046-3},
  keywords = {RoboCup},
  owner = {pmania},
  timestamp = {2012.11.06}
}