% complete list of BibTeX entries for Frieder Stolzenburg


% 2010

@InProceedings{	  Sto10c,
  author	= {Frieder Stolzenburg},
  title		= {A Periodicity-Based Approach on Harmony Perception Including
		  Non-Western Scales},
  booktitle	= {Proceedings of {11th International Conference on
 		  Music Perception and Cognition}},
  year		= 2010,
  note		= {To appear},
  place		= {}
}

@Article{	  Sto10b,
  author	= {Frieder Stolzenburg},
  title		= {{F}orschung an der {H}ochschule {H}arz ({FH})},
  journal	= {Die Neue Hochschule (DNH)},
  year		= 2010,
  volume	= 51,
  number	= {2-3/10},
  pages		= {56-57},
  issn		= {0340-448 x},
  place		= {}
}

@InCollection{	  MFS10,
  author	= {Ammar Mohammed and Ulrich Furbach and Frieder Stolzenburg},
  title		= {Multi-Robot Systems: Modeling, Specification, and Model Checking},
  year		= 2010,
  publisher	= {IN-TECH},
  booktitle	= {Robot Soccer},
  editor	= {Vladan Papic},
  isbn		= {978-953-307-036-0},
  pages		= {241-266},
  chapter	= 11,
  url		= {http://www.sciyo.com/articles/show/title/multi-robot-systems-modeling-specification-and-model-checking},
  place		= {REGAL}
}

@Article{	  Sto10a,
  author	= {Frieder Stolzenburg},
  title		= {Localization, Exploration, and Navigation Based on
		  Qualitative Angle Information},
  journal	= {Spatial Cognition and Computation: An Interdisciplinary
		  Journal},
  year		= 2010,
  volume	= 10,
  number	= 1,
  pages		= {28-52},
  url		= {http://www.informaworld.com/smpp/content~db=all~content=a919527238},
  place		= {REGAL}
}

@InProceedings{	  SR10,
  author	= {Frieder Stolzenburg and Florian Ruh},
  title		= {Neural Networks and Continuous Time},
  year		= 2010,
  booktitle	= {{C}og{S}ys 2010 -- 4th International Conference on Cognitive
		  Systems -- Collection of Posters},
  address	= {ETH Z{\"u}rich, Switzerland},
  pages		= 42,
  url		= {http://www.cogsys2010.ethz.ch/doc/cogsys2010_proceedings/cogsys2010_0022.pdf},
  place		= {REGAL}
}

@InProceedings{	  SMS10,
  author	= {Christian Schwarz and Ammar Mohammed and Frieder Stolzenburg},
  title		= {A Tool Environment for Specifying and Verifying Multi-Agent
		  Systems},
  booktitle	= {Proceedings of {2nd International Conference on Agents and
		  Artificial Intelligence}},
  address	= {Valencia, Spain},
  editor	= {Joaquim Filipe and Ana Fred and Bernadette Sharp},
  pages 	= {323-326},
  volume	= 2,
  year		= 2010,
  isbn		= {978-989-674-022-1},
  place		= {EXTERN}
}



% 2009

@InProceedings{	  Sto09,
  author	= {Frieder Stolzenburg},
  title		= {A Periodicity-Based Theory for Harmony Perception and
		  Scales},
  booktitle	= {Proceedings of {10th International Society for Music
		  Information Retrieval Conference}},
  editor	= {Keiji Hirata and George Tzanetakis and Kazuyoshi Yoshii},
  address	= {Kobe, Japan},
  year		= 2009,
  pages		= {87-92},
  isbn		= {978-0-9813537-0-8},
  url		= {http://ismir2009.ismir.net/proceedings/PS1-6.pdf},
  place		= {REGAL}
}

@InProceedings{	  SR09b,
  author	= {Frieder Stolzenburg and Florian Ruh},
  title		= {Neural Networks and Continuous Time},
  year		= 2009,
  booktitle	= {{KI} 2009 -- 32nd Annual German Conference on Artificial Intelligence},
  address	= {Paderborn},
  editor	= {Klaus-Dieter Althoff and Kerstin Bach and Meike Reichle},
  pages		= 19,
  series	= {Workshop Proceedings},
  url		= {http://www.iis.uni-hildesheim.de/files/staff/bach/KI-2009-WS-Web.pdf},
  place		= {REGAL}
}

@InProceedings{	  SR09a,
  author	= {Frieder Stolzenburg and Florian Ruh},
  title		= {Neural Networks and Continuous Time},
  year		= 2009,
  booktitle	= {Proceedings of {KI 2009 Workshop Complex Cognition}},
  address	= {Paderborn},
  editor	= {Ute Schmid and Marco Ragni and Markus Knauff},
  pages		= {25-36},
  publisher	= {Universit{\"a}t Bamberg},
  note		= {Bamberger Beitr{\"a}ge zur Wirtschaftsinformatik und Angewandten Informatik 82},
  issn		= {0937-3349},
  url		= {http://www.cogsys.wiai.uni-bamberg.de/KI09WSCoCo/KI09-WS-CoCo-ProceedingsBB.pdf},
  place		= {ORDNER 2009 B}
}

@TechReport{	  MS09,
  author	= {Ammar Mohammed and Frieder Stolzenburg},
  title		= {Using Constraint Logic Programming for Modeling and Verifying
		  Hierarchical Hybrid Automata},
  institution	= {Universit{\"a}t Koblenz-Landau},
  year		= 2009,
  type		= {Arbeitsberichte des Fachbereichs Informatik},
  number	= {6/2009},
  issn		= {1864-0346},
  url		= {http://www.uni-koblenz.de/~fb4reports/2009/2009_06_Arbeitsberichte.pdf},
  place		= {ORDNER 2009 A}
}


% 2008

@InProceedings{	  MS08,
  author	= {Ammar Mohammed and Frieder Stolzenburg},
  title		= {Implementing Hierarchical Hybrid Automata Using Constraint
		  Logic Programming},
  year		= 2008,
  booktitle	= {Proceedings of {22nd Workshop on (Constraint) Logic
		  Programming}},
  editor	= {Sibylle Schwarz},
  address	= {Dresden},
  pages		= {60-71},
  publisher	= {University Halle Wittenberg, Institute of Computer Science},
  note		= {Technical Report 2008/08},
  url		= {http://nirvana.informatik.uni-halle.de/~schwarz/wlp2008/wlp08proc.pdf},
  place		= {REGAL}
}

@InProceedings{	  RS08,
  author	= {Florian Ruh and Frieder Stolzenburg},
  title		= {Translating Cooperative Strategies for Robot Behavior},
  year		= 2008,
  booktitle	= {Proceedings of {4th Workshop on Knowledge Engineering and
		  Software Engineering} at {31st German Conference on
		  Artificial Intelligence}},
  editor	= {Grzegorz J. Nalepa and Joachim Baumeister},
  address	= {Kaiserslautern},
  pages		= {85-96},
  note		= {CEUR Workshop Proceedings 425},
  issn		= {1613-0073},
  url		= {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-425/paper9.pdf},
  place		= {REGAL}
}

@InProceedings{	  FM+08b,
  author	= {Ulrich Furbach and Jan Murray and Falk
		  Schmidsberger and Frieder Stolzenburg},
  title		= {Model Checking Hybrid Multiagent Systems for the {R}obo{C}up},
  editor	= {Ubbo Visser and Fernando Ribeiro and Takeshi Ohashi and Frank
		  Dellaert},
  booktitle	= {{R}obo{C}up 2007: Robot Soccer World Cup~{XI}},
  address	= {Atlanta, GA},
  year		= 2008,
  pages		= {262-269},
  publisher	= {Springer, Berlin, Heidelberg, New York},
  series	= {LNAI~5001},
  url		= {http://www.springerlink.com/content/38986157286g3568/},
  place		= {REGAL}
}

@InCollection{	  SS08,
  author	= {Frieder Stolzenburg and Falk Schmidsberger},
  title		= {{A}genten, {R}oboter und {K}{\"u}nstliche {I}ntelligenz},
  year		= 2008,
  publisher	= {Koch-Druck},
  address	= {Halberstadt},
  booktitle	= {Festschrift 15 Jahre Hochschule Harz},
  editor	= {Armin Willingmann},
  isbn		= {978-3-00-022117-0},
  pages		= {138-145},
  place		= {REGAL}
}

@InProceedings{	  RR+08,
  author	= {Christian Reinl and Florian Ruh and Frieder Stolzenburg and
		  Oskar von Stryk},
  title		= {Multi-Robot Systems Optimization and Analysis Using {MILP}
		  and {CLP}},
  year		= 2008,
  booktitle	= {Workshop~1: {Formal Models and Methods for Multi-Robot
		  Systems} at {7th International Joint Conference on
		  Autonomous Agents and Multi-Agent Systems}},
  editor	= {Pedro U. Lima and Nikos Vlassis and Matthijs Spaan and
		  Francisco S. Melo},
  pages		= {11-16},
  publisher	= {International Foundation for Autonomous Agents and
		  Multi-Agent Systems (IFAAMAS)},
  address	= {Estoril, Portugal},
  url		= {http://fstolzenburg.hs-harz.de/papers/RR+08.pdf},
  place		= {REGAL}
}

@InCollection{	  DF+08,
  author	= {Frank Dylla and Alexander Ferrein and Gerhard
		  Lakemeyer and Jan Murray and Oliver Obst and
		  Thomas R{\"o}fer and Stefan Schiffer and
		  Frieder Stolzenburg and Ubbo Visser and Thomas
		  Wagner},
  title		= {Approaching a formal soccer theory from
		  behaviour specifications in robotic soccer},
  year		= 2008,
  booktitle	= {Computers in Sport},
  editor	= {Peter Dabnichcki and Arnold Baca},
  pages		= {161-185},
  publisher	= {WIT Press},
  address	= {Southampton, Boston},
  place		= {REGAL}
}

@InProceedings{	  FM+08a,
  author	= {Ulrich Furbach and Jan Murray and Falk
		  Schmidsberger and Frieder Stolzenburg},
  title		= {Hybrid Multiagent Systems with Timed
		  Synchronization -- Specification and Model
		  Checking},
  year		= 2008,
  booktitle	= {Post-Proceedings of {5th International Workshop on
		  Programming Multi-Agent Systems} at {6th International Joint
		  Conference on Autonomous Agents and Multi-Agent Systems}},
  address	= {Honolulu},
  editor	= {Mehdi Dastani and Amal {El Fallah Seghrouchni} and Alessandro
		  Ricci and Michael Winikoff},
  publisher	= {Springer, Berlin, Heidelberg, New York},
  series	= {LNAI~4908},
  pages		= {205-220},
  url		= {http://www.springerlink.com/content/g3n330145lu53r41/?p=54d89f5771f24b6c814cadb015524d47&pi=12},
  place		= {REGAL}
}


% 2007

@InProceedings{	  FM+07b,
  author	= {Ulrich Furbach and Jan Murray and Falk
		  Schmidsberger and Frieder Stolzenburg},
  title		= {Hybrid Multiagent Systems with Timed
		  Synchronization -- Specification and Model
		  Checking},
  year		= 2007,
  booktitle	= {Proceedings of {5th International Workshop on Programming
		  Multi-Agent Systems} at {6th International Joint Conference on
		  Autonomous Agents and Multi-Agent Systems}},
  editor	= {Mehdi Dastani and Amal El Fallah Seghrouchni and Alessandro
		  Ricci and Michael Winikoff},
  address	= {Honolulu, Hawaii},
  pages		= {170-185},
  place		= {REGAL}
}

@InProceedings{	  CD+07,
  author	= {Carlos I. Ches{\~n}evar and J{\"u}rgen Dix and Guillermo R.
		  Simari and Ana G. Maguitman and Frieder Stolzenburg and Wojciech 
		  Jamroga and Sergio Alejandro G{\'o}mez and Nils Bulling},
  title		= {Modelado de {I}nferencia y {P}referencias en {S}istemas
		  {M}ultiagentes utilizando {A}rgumentaci{\'o}n},
  year		= 2007,
  booktitle	= {Proceedings of {IX Workshop of Researchers in Computer Science}},
  editor	= {Zulema Rosanigo},
  address	= {Trelew, Argentina},
  publisher	= {Universidad Nacional de la Patagonia San Juan Bosco},
  pages		= {134-137},
  place		= {EXTERN}
}

@InProceedings{	  Sto07,
  author	= {Frieder Stolzenburg},
  title		= {Localization, Exploration, and Navigation
		  Based on Qualitative Angle Information},
  booktitle	= {Proceedings of {AISB'07} Annual Convention -- Artificial and Ambient Intelligence},
  year		= 2007,
  editor	= {Patrick Olivier and Christian Kray},
  pages		= {479-484},
  publisher	= {Society for the Study of Artificial Intelligence and Simulation of Behaviour},
  address	= {Newcastle upon Tyne},
  series	= {Symposium {Spatial Reasoning and Communication}},
  url		= {http://www.aisb.org.uk/publications/proceedings/aisb07/aisb07-body.pdf},
  place		= {REGAL}
}

@TechReport{	  FM+07a,
  author	= {Ulrich Furbach and Jan Murray and Falk
		  Schmidsberger and Frieder Stolzenburg},
  title		= {Hybrid Multiagent Systems with Timed
		  Synchronization -- Specification and Model
		  Checking},
  institution	= {Universit{\"a}t Koblenz-Landau},
  year		= 2007,
  type		= {Arbeitsberichte des Fachbereichs Informatik},
  number	= {14/2007},
  issn		= {1864-0346},
  url		= {http://www.uni-koblenz.de/~fb4reports/2007/2007_14_Arbeitsberichte.pdf},
  place		= {ORDNER 2009 A}
}


% 2006

@InProceedings{	  Sto06c,
  author	= {Frieder Stolzenburg},
  title		= {Multi-Robot System Specification and Analysis
		  with Hybrid State Machines},
  booktitle	= {Multi-Robot Systems: Perception, Behaviors,
		  Learning, and Action},
  year		= 2006,
  editor	= {Hans-Dieter Burkhard and Martin Riedmiller and
		  Uwe Schwiegelshohn and Manuela Veloso},
  pages		= 7,
  series	= {Dagstuhl Seminar 06251 Abstracts Collections},
  url		= {http://drops.dagstuhl.de/portals/06251/},
  place		= {EXTERN}
}

@Article{	  SMS06,
  author	= {Frieder Stolzenburg and Jan Murray and Karsten Sturm},
  title		= {Multiagent Matching Algorithms With and Without Coach},
  journal	= {Journal of Decision Systems},
  year		= 2006,
  volume	= 15,
  number	= {2-3},
  pages		= {215-240},
  note		= {Special issue on \emph{Decision Support Systems}. Guest
		  editors: Fatima C. C. Dargam and Pascale Zarate},
  place		= {REGAL}
}

@Proceedings{	  Sto06b,
  editor	= {Frieder Stolzenburg},
  title		= {2. {W}erniger{\"o}der {A}utomatisierungs- und
		  {I}nformatiktage},
  year		= 2006,
  address	= {Hochschule Harz, Wernigerode},
  note		= {Tagungsband},
  series	= {Harzer Hochschultexte 8},
  publisher	= {Koch-Druck, Halberstadt},
  issn		= {1619-7232},
  place		= {REGAL}
}

@Article{	  MSA06,
  author	= {Jan Murray and Frieder Stolzenburg and Toshiaki Arai},
  title		= {Hybrid State Machines with Timed Synchronization for
		  Multi-Robot System Specification},
  journal	= {KI},
  year		= 2006,
  volume	= {3/06},
  pages		= {45-50},
  url		= {http://www.kuenstliche-intelligenz.de/index.php?id=7745&tx_ki_pi1[showUid]=1172&cHash=f3dc1b50be},
  place		= {REGAL}
}

@Proceedings{	  Sto06a,
  editor	= {Frieder Stolzenburg},
  title		= {7. {N}achwuchswissenschaftlerkonferenz mitteldeutscher
		  {F}achhochschulen},
  year		= 2006,
  address	= {Hochschule Harz, Wernigerode},
  note		= {Tagungsband},
  publisher	= {Koch-Druck, Halberstadt},
  isbn		= {3-00-018148-2},
  place		= {REGAL}
}


% 2005

@InProceedings{	  MS05,
  author	= {Jan Murray and Frieder Stolzenburg},
  title		= {Hybrid State Machines with Timed Synchronization for
		  Multi-Robot System Specification},
  pages		= {236-241},
  year		= 2005,
  booktitle	= {Proceedings of {12th Portuguese Conference on Artificial
		  Intelligence}},
  address	= {Covilh{\~a}, Portugal},
  editor	= {Carlos Bento and Am{\'\i}lcar Cardoso and Ga{\"e}l Dias},
  publisher	= {Institute of Electrical and Electronics Engineers (IEEE),
		  Inc.},
  isbn		= {0-7803-9365-1},
  place		= {REGAL}
}

@TechReport{	  Sto05b,
  author	= {Frieder Stolzenburg},
  title		= {Multiagent Systems and {R}obo{C}up: Specification,
		  Analysis, and Theoretical Results},
  institution	= {Universit{\"a}t Koblenz-Landau},
  address	= {Koblenz},
  year		= 2005,
  type		= {Habilitation},
  note		= {Reviewers: Armin~Cremers, Ulrich~Furbach, and
		  Klaus~Troitzsch},
  url		= {http://fstolzenburg.hs-harz.de/habil/},
  place		= {REGAL}
}

@TechReport{	  MSA05,
  author	= {Jan Murray and Frieder Stolzenburg and Toshiaki Arai},
  title		= {Hybrid State Machines with Timed Synchronization for
		  Multi-Robot System Specification},
  institution	= {Universit{\"a}t Koblenz-Landau},
  year		= 2005,
  type		= {Fachberichte Informatik},
  number	= {14/2005},
  url		= {http://www.uni-koblenz-landau.de/koblenz/fb4/publications/fachberichte/fb2005/rr-14-2005.pdf},
  place		= {ORDNER 2005 A}
}

@InProceedings{	  Sto05a,
  author	= {Frieder Stolzenburg},
  title		= {Multiagent Systems and Decision Making},
  year		= 2005,
  booktitle	= {Proceedings of {Joint Workshop on Decision Support
		  Systems, Experimental Economics and e-Participation}},
  address	= {Graz, Austria},
  pages		= 126,
  url		= {http://www.uni-graz.at/soowww/eCube/Forms/Joint-Workshop%20Proceedings.pdf},
  place		= {REGAL}
}

@InProceedings{	  DF+05,
  author	= {Frank Dylla and Alexander Ferrein and Gerhard Lakemeyer
		  and Jan Murray and Oliver Obst and Thomas R{\"o}fer and
		  Frieder Stolzenburg and Ubbo Visser and Thomas Wagner},
  title		= {Towards a League-Independent Qualitative Soccer Theory for
		  {R}obo{C}up},
  year		= 2005,
  booktitle	= {{R}obo{C}up 2004: Robot Soccer World Cup~{VIII}},
  editor	= {Daniele Nardi and Martin Riedmiller and Claude Sammut and
		  Jos{\'e} Santos-Victor},
  publisher	= {Springer, Berlin, Heidelberg, New York},
  series	= {LNAI~3276},
  pages		= {611-618},
  place		= {REGAL}
}


% 2004

@InProceedings{	  DF+04b,
  author	= {Frank Dylla and Alexander Ferrein and Gerhard Lakemeyer
		  and Jan Murray and Oliver Obst and Thomas R{\"o}fer and
		  Frieder Stolzenburg and Ubbo Visser and Thomas Wagner},
  title		= {Towards a League-Independent Qualitative Soccer Theory for
		  {R}obo{C}up},
  year		= 2004,
  booktitle	= {Proceedings of Workshop~9 {Methods and Technology for
		  Empirical Evaluation of Multi-Agent Systems and Multi-Robot
		  Teams} at {KI~2004}},
  address	= {Ulm},
  editor	= {Freek Stulp and Hans Utz and Bernhard Nebel},
  pages		= {43-57},
  place		= {REGAL}
}

@TechReport{	  DF+04a,
  author	= {Frank Dylla and Alexander Ferrein and Gerhard Lakemeyer
		  and Jan Murray and Oliver Obst and Thomas R{\"o}fer and
		  Frieder Stolzenburg and Ubbo Visser and Thomas Wagner},
  title		= {Towards a League-Independent Qualitative Soccer Theory for
		  {R}obo{C}up},
  institution	= {Universit{\"a}t Koblenz-Landau},
  year		= 2004,
  type		= {Fachberichte Informatik},
  number	= {6/2004},
  url		= {http://www.uni-koblenz-landau.de/koblenz/fb4/publications/fachberichte/fb2004/rr-6-2004.pdf},
  place		= {ORDNER 2004 A}
}

@InProceedings{	  Sto04,
  author	= {Frieder Stolzenburg},
  title		= {Specifying Agent Systems (With and Without Coach)},
  booktitle	= {Logic Based Information Agents},
  year		= 2004,
  editor	= {J{\"u}rgen Dix and Thomas Eiter and Enrico Franconi},
  pages		= 8,
  series	= {Dagstuhl Seminar 04171 Abstracts Collections},
  url		= {http://drops.dagstuhl.de/portals/index.php?semnr=04171},
  place		= {EXTERN}
}


% 2003

@TechReport{	  SMS03b,
  author	= {Frieder Stolzenburg and Jan Murray and Karsten Sturm},
  title		= {Multiagent Matching Algorithms With and Without Coach},
  institution	= {Universit{\"a}t Koblenz-Landau},
  year		= 2003,
  type		= {Fachberichte Informatik},
  number	= {17/2003},
  url		= {http://www.uni-koblenz-landau.de/koblenz/fb4/publications/fachberichte/fb2003/rr-17-2003.pdf},
  place		= {ORDNER 2003 C}
}

@InProceedings{	  SA03,
  author	= {Frieder Stolzenburg and Toshiaki Arai},
  title		= {From the Specification of Multiagent Systems by
		  Statecharts to their Formal Analysis by Model Checking:
		  Towards Safety-Critical Applications},
  pages		= {131-143},
  editor	= {Michael Schillo and Matthias Klusch and J{\"o}rg
		  M{\"u}ller and Huaglory Tianfield},
  booktitle	= {Proceedings of {1st German Conference on Multiagent System
		  Technologies}},
  address	= {Erfurt},
  year		= 2003,
  publisher	= {Springer, Berlin, Heidelberg, New York},
  series	= {LNAI~2831},
  url		= {http://springerlink.metapress.com/content/1b50genhtrhl0gkx/?p=c34a9b965c5f45dab68ecc43275fd8e7&pi=11},
  place		= {REGAL}
}

@InProceedings{	  SMS03a,
  author	= {Frieder Stolzenburg and Jan Murray and Karsten Sturm},
  title		= {Multiagent Matching Algorithms With and Without Coach},
  pages		= {192-204},
  editor	= {Michael Schillo and Matthias Klusch and J{\"o}rg
		  M{\"u}ller and Huaglory Tianfield},
  booktitle	= {Proceedings of {1st German Conference on Multiagent System
		  Technologies}},
  address	= {Erfurt},
  year		= 2003,
  publisher	= {Springer, Berlin, Heidelberg, New York},
  series	= {LNAI~2831},
  url		= {http://springerlink.metapress.com/content/w28fxnkt0vparp37/?p=c34a9b965c5f45dab68ecc43275fd8e7&pi=16},
  place		= {REGAL}
}

@Article{	  SG+03,
  author	= {Frieder Stolzenburg and Alejandro J. Garc\'{\i}a and
		  Carlos I. Ches{\~n}evar and Guillermo R. Simari},
  title		= {Computing Generalized Specificity},
  journal	= {Journal of Applied Non-Classical Logics},
  volume	= 13,
  number	= 1,
  pages		= {87-113},
  year		= 2003,
  url		= {http://jancl.e-revues.com/article.jsp?articleId=4595},
  place		= {REGAL}
}

@InProceedings{	  Sto03,
  author	= {Frieder Stolzenburg},
  title		= {Specification and Analysis of Multi-Agent Systems},
  booktitle	= {Logic-Based Programming of Multi-Agent Systems},
  year		= 2003,
  editor	= {J{\"u}rgen Dix and Michael Fisher and Yingqian Zhang},
  pages		= 15,
  series	= {Dagstuhl Seminar Report 361: Abstract of Talk},
  url		= {http://www.dagstuhl.de/Reports/02/02481.pdf},
  place		= {EXTERN}
}

@Article{	  CD+03,
  author	= {Carlos I. Ches{\~n}evar and J{\"u}rgen Dix and Frieder
		  Stolzenburg and Guillermo R. Simari},
  title		= {Relating Defeasible and Normal Logic Programming through
		  Transformation Properties},
  journal	= {Theoretical Computer Science},
  volume	= 290,
  number	= 1,
  pages		= {499-529},
  year		= 2003,
  place		= {ORDNER 2000 A}
}


% 2002

@InProceedings{	  SOM02b,
  author	= {Frieder Stolzenburg and Oliver Obst and Jan Murray},
  title		= {Qualitative Velocity and Ball Interception},
  booktitle	= {KI-2002: Advances in Artificial Intelligence --
		  Proceedings of 25th Annual German Conference on Artificial
		  Intelligence},
  address	= {Aachen},
  editor	= {Matthias Jarke and Jana K{\"o}hler and Gerhard Lakemeyer},
  year		= 2002,
  publisher	= {Springer, Berlin, Heidelberg, New York},
  series	= {LNAI~2479},
  pages		= {283-298},
  url		= {http://link.springer-ny.com/link/service/series/0558/bibs/2479/24790283.htm},
  place		= {REGAL}
}

@InProceedings{	  AS02,
  author	= {Toshiaki Arai and Frieder Stolzenburg},
  title		= {Multiagent Systems Specification by {UML} Statecharts
		  Aiming at Intelligent Manufacturing},
  booktitle	= {Proceedings of {1st International Joint Conference on
		  Autonomous Agents and Multi-Agent Systems}},
  year		= 2002,
  address	= {Bologna, Italy},
  editors	= {Cristiano Castelfranchi and W. Lewis Johnson},
  pages		= {11-18},
  publisher	= {ACM Press},
  volume	= 1,
  url		= {http://doi.acm.org/10.1145/544741.544745},
  place		= {REGAL}
}

@InProceedings{	  MOS02b,
  author	= {Jan Murray and Oliver Obst and Frieder Stolzenburg},
  title		= {{R}obo{L}og {K}oblenz 2002 -- Short Team Description},
  year		= 2002,
  editor	= {Gal A. Kaminka and Pedro U. Lima and Raul Rojas},
  booktitle	= {{R}obo{C}up 2002: Robot Soccer World Cup~{VI}},
  note		= {Pre-Proceedings},
  address	= {Fukuoka, Japan},
  pages		= 543,
  place		= {REGAL}
}

@InProceedings{	  SS02,
  author	= {Frieder Stolzenburg and Karsten Sturm},
  title		= {{R}obo{L}og {K}oblenz 2002 -- Coach Description},
  year		= 2002,
  editor	= {Gal A. Kaminka and Pedro U. Lima and Raul Rojas},
  booktitle	= {{R}obo{C}up 2002: Robot Soccer World Cup~{VI}},
  note		= {Pre-Proceedings},
  address	= {Fukuoka, Japan},
  pages		= 508,
  place		= {REGAL}
}

@InCollection{	  MOS02a,
  author	= {Jan Murray and Oliver Obst and Frieder Stolzenburg},
  title		= {{R}obo{L}og {K}oblenz 2001},
  year		= 2002,
  publisher	= {Springer},
  address	= {Berlin, Heidelberg, New York},
  note		= {Team description},
  editor	= {Andreas Birk and Silvia Coradeschi and Satoshi Tadokoro},
  booktitle	= {{R}obo{C}up 2001: Robot Soccer World Cup~{V}},
  series	= {LNAI~2377},
  pages		= {526-530},
  url		= {http://link.springer-ny.com/link/service/series/0558/bibs/2377/23770526.htm},
  place		= {REGAL}
}

@TechReport{	  SOM02a,
  author	= {Frieder Stolzenburg and Oliver Obst and Jan Murray},
  title		= {Qualitative Velocity and Ball Interception},
  institution	= {Universit{\"a}t Koblenz-Landau},
  year		= 2002,
  type		= {Fachberichte Informatik},
  number	= {4/2002},
  url		= {http://www.uni-koblenz-landau.de/koblenz/fb4/publications/fachberichte/fb2002/rr-4-2002.pdf},
  place		= {ORDNER 2001 B}
}


% 2001

@TechReport{	  AS01,
  author	= {Toshiaki Arai and Frieder Stolzenburg},
  title		= {Multiagent Systems Specification by {UML} Statecharts
		  Aiming at Intelligent Manufacturing},
  institution	= {Universit{\"a}t Koblenz-Landau},
  year		= 2001,
  type		= {Fachberichte Informatik},
  number	= {12/2001},
  url		= {http://www.uni-koblenz-landau.de/koblenz/fb4/publications/fachberichte/fb2001/rr-12-2001.pdf},
  place		= {ORDNER 2001 B}
}

@TechReport{	  Sto01b,
  author	= {Frieder Stolzenburg},
  title		= {From the Specification of Multiagent Systems by
		  Statecharts to their Formal Analysis by Model Checking},
  institution	= {Universit{\"a}t Koblenz-Landau},
  year		= 2001,
  type		= {Fachberichte Informatik},
  number	= {6/2001},
  url		= {http://www.uni-koblenz-landau.de/koblenz/fb4/publications/fachberichte/fb2001/rr-6-2001.pdf},
  place		= {ORDNER 2001 B}
}

@InCollection{	  MOS01b,
  author	= {Jan Murray and Oliver Obst and Frieder Stolzenburg},
  title		= {Towards a Logical Approach for Soccer Agents Engineering},
  pages		= {199-208},
  year		= 2001,
  series	= {LNAI~2019},
  publisher	= {Springer},
  address	= {Berlin, Heidelberg, New York},
  editor	= {Peter Stone and Tucker Balch and Gerhard Kraetzschmar},
  booktitle	= {{R}obo{C}up 2000: Robot Soccer World Cup~{IV}},
  url		= {http://link.springer-ny.com/link/service/series/0558/bibs/2019/20190199.htm},
  place		= {REGAL}
}

@InCollection{	  MOS01a,
  author	= {Jan Murray and Oliver Obst and Frieder Stolzenburg},
  title		= {{R}obo{L}og {K}oblenz 2000},
  pages		= {469-472},
  year		= 2001,
  series	= {LNAI~2019},
  publisher	= {Springer},
  address	= {Berlin, Heidelberg, New York},
  note		= {Team description},
  editor	= {Peter Stone and Tucker Balch and Gerhard Kraetzschmar},
  booktitle	= {{R}obo{C}up 2000: Robot Soccer World Cup~{IV}},
  url		= {http://link.springer-ny.com/link/service/series/0558/bibs/2019/20190469.htm},
  place		= {REGAL}
}

@InProceedings{	  Sto01a,
  author	= {Frieder Stolzenburg},
  title		= {Reasoning about Cognitive Robotics Systems},
  booktitle	= {Themenkolloquium {Kognitive Robotik und
		  Raumrepr{\"a}sentation} des DFG-Schwerpunktprogramms
		  {Raumkognition}},
  year		= 2001,
  editor	= {Reinhard Moratz and Bernhard Nebel},
  address	= {Hamburg},
  place		= {ORDNER 2001 B}
}

@TechReport{	  CD+01,
  author	= {Carlos I. Ches{\~n}evar and J{\"u}rgen Dix and Frieder
		  Stolzenburg and Guillermo R. Simari},
  title		= {Relating Defeasible and Normal Logic Programming through
		  Transformation Properties},
  institution	= {Universit{\"a}t Koblenz-Landau},
  year		= 2001,
  type		= {Fachberichte Informatik},
  number	= {3/2001},
  url		= {http://www.uni-koblenz-landau.de/koblenz/fb4/publications/fachberichte/fb2001/rr-3-2001.pdf},
  place		= {ORDNER 2000 A}
}


% 2000

@Article{	  FOS00,
  author	= {Ulrich Furbach and Oliver Obst and Frieder Stolzenburg},
  title		= {Intelligente {A}genten und {KI}},
  journal	= {LOG~IN -- Informatische Bildung und Computer in der
		  Schule},
  year		= 2000,
  volume	= 20,
  number	= {3/4},
  pages		= {17-21},
  place		= {REGAL}
}

@InProceedings{	  SG+00b,
  author	= {Frieder Stolzenburg and Alejandro J. Garc\'{\i}a and
		  Carlos I. Ches{\~n}evar and Guillermo R. Simari},
  title		= {Introducing Generalized Specificity in Logic Programming},
  booktitle	= {Proceedings of {6th Argentine Congress on Computer
		  Science}},
  publisher	= {JAIIO, Buenos Aires},
  year		= 2000,
  pages		= {359-370},
  address	= {Ushuaia, Argentina},
  editor	= {Guillermo E. Feierherd},
  isbn		= {950-763-033-3},
  place		= {REGAL}
}

@InProceedings{	  CD+00,
  author	= {Carlos I. Ches{\~n}evar and J{\"u}rgen Dix and Frieder
		  Stolzenburg and Guillermo R. Simari},
  title		= {Relating Defeasible and Normal Logic Programming through
		  Transformation Properties},
  booktitle	= {Proceedings of {6th Argentine Congress on Computer
		  Science}},
  publisher	= {JAIIO, Buenos Aires},
  year		= 2000,
  pages		= {371-382},
  address	= {Ushuaia, Argentina},
  editor	= {Guillermo E. Feierherd},
  isbn		= {950-763-033-3},
  place		= {REGAL}
}

@InProceedings{	  MOS00d,
  author	= {Jan Murray and Oliver Obst and Frieder Stolzenburg},
  title		= {Towards a Logical Approach for Soccer Agents Engineering},
  booktitle	= {Proceedings of {4th International Workshop on {R}obo{C}up}},
  year		= 2000,
  address	= {Melbourne},
  editor	= {Tucker Balch and Peter Stone and Gerhard Kraetzschmar},
  pages		= {90-99},
  place		= {REGAL}
}

@TechReport{	  MOS00c,
  author	= {Jan Murray and Oliver Obst and Frieder Stolzenburg},
  title		= {Towards a Logical Approach for Soccer Agents Engineering},
  institution	= {Universit{\"a}t Koblenz-Landau},
  year		= 2000,
  type		= {Fachberichte Informatik},
  number	= {6/2000},
  url		= {http://www.uni-koblenz-landau.de/koblenz/fb4/publications/fachberichte/fb2000/rr-6-2000.pdf},
  place		= {EXTERN}
}

@InCollection{	  SO+00,
  author	= {Frieder Stolzenburg and Oliver Obst and Jan Murray and
		  Bj{\"o}rn Bremer},
  title		= {Spatial Agents Implemented in a Logical Expressible
		  Language},
  year		= 2000,
  series	= {LNAI~1856},
  publisher	= {Springer},
  address	= {Berlin, Heidelberg, New York},
  editor	= {Manuela Veloso and Enrico Pagello and Hiroaki Kitano},
  booktitle	= {{R}obo{C}up-99: Robot Soccer World Cup~{III}},
  pages		= {481-494},
  place		= {REGAL}
}

@InCollection{	  MOS00b,
  author	= {Jan Murray and Oliver Obst and Frieder Stolzenburg},
  title		= {{R}obo{L}og {K}oblenz},
  year		= 2000,
  series	= {LNAI~1856},
  publisher	= {Springer},
  address	= {Berlin, Heidelberg, New York},
  note		= {Team description},
  editor	= {Manuela Veloso and Enrico Pagello and Hiroaki Kitano},
  booktitle	= {{R}obo{C}up-99: Robot Soccer World Cup~{III}},
  pages		= {628-631},
  place		= {REGAL}
}

@TechReport{	  SG+00a,
  author	= {Frieder Stolzenburg and Alejandro J. Garc\'{\i}a and
		  Carlos I. Ches{\~n}evar and Guillermo R. Simari},
  title		= {Introducing Generalized Specificity in Logic Programming},
  institution	= {Universit{\"a}t Koblenz-Landau},
  year		= 2000,
  type		= {Fachberichte Informatik},
  number	= {4/2000},
  url		= {http://www.uni-koblenz-landau.de/koblenz/fb4/publications/fachberichte/fb2000/rr-4-2000.pdf},
  place		= {ORDNER 2000 A}
}

@InProceedings{	  MOS00a,
  author	= {Jan Murray and Oliver Obst and Frieder Stolzenburg},
  title		= {{R}obo{L}og {K}oblenz 2000},
  booktitle	= {Proceedings of {Workshop for the Robocup European
		  Championship}},
  year		= 2000,
  editor	= {Wiebe van der Hoek},
  organization	= {Vrije Universiteit Amsterdam},
  note		= {Team description},
  place		= {REGAL}
}

@Article{	  Sto00,
  author	= {Frieder Stolzenburg},
  title		= {Clause and Effect -- {P}rolog Programming for the Working
		  Programmer},
  journal	= {KI},
  year		= 2000,
  volume	= {1/00},
  pages		= 65,
  note		= {Buchrezension},
  place		= {REGAL}
}


% 1999

@InProceedings{   MS+99,
  author        = {Jan Murray and Frieder Stolzenburg and Oliver Obst
		  and Bj{\"o}rn Bremer},
  title         = {{R}obo{L}og {K}oblenz: Complex Agent Scripts
		  Implemented in Logic},
  booktitle     = {Proceedings of {Workshop {R}obo{C}up} at {KI'99}},
  address	= {Bonn},
  editor	= {Stefan Sablatn{\"o}g and Stefan Enderle},
  year          = 1999,
  pages		= {12-25},
  note		= {SFB~527 Report 1999/12}, 
  publisher	= {Universit{\"a}t Ulm},
  place         = {EXTERN}
}

@Article{	  OS99,
  author	= {Oliver Obst and Frieder Stolzenburg},
  title		= {Der {R}obo{C}up w{\"a}hrend der {IJCAI}'99},
  journal	= {KI},
  year		= 1999,
  volume	= {4/99},
  pages		= {66-67},
  note		= {Tagungsbericht},
  place		= {REGAL}
}

@InProceedings{	  SO+99c,
  author	= {Frieder Stolzenburg and Oliver Obst and Jan Murray
		  and Bj{\"o}rn Bremer},
  title		= {{R}obo{L}og {K}oblenz: Spatial Agents Implemented in a
		  Logical Expressible Language},
  booktitle	= {Team Descriptions --- Simulation League},
  editor	= {Silvia Coradeschi and Tucker Balch and Gerhard
		  Kraetzschmar and Peter Stone},
  publisher	= {Link{\"o}ping University Electronic Press},
  pages		= {116-120},
  year		= 1999,
  url		= {http://www.ida.liu.se/ext/robocup/simul/RobologKoblenz99/teampage.html},
  place		= {ORDNER 1999 A}
}

@InProceedings{	  SO+99b,
  author	= {Frieder Stolzenburg and Oliver Obst and Jan Murray
		  and Bj{\"o}rn Bremer},
  title		= {Spatial Agents Implemented in a Logical Expressible Language},
  booktitle	= {Proceedings of {3rd International Workshop on
		  {R}obo{C}up} at {16th Joint International Conference on Artificial
		  Intelligence}},
  year		= 1999,
  address	= {Stockholm},
  editor	= {Manuela M. Veloso},
  pages		= {205-210},
  publisher	= {IJCAI press},
  place		= {REGAL}
}

@TechReport{	  SO+99a,
  author	= {Frieder Stolzenburg and Oliver Obst and Jan Murray
		  and Bj{\"o}rn Bremer},
  title		= {Spatial Agents Implemented in a Logical Expressible Language},
  institution	= {Universit{\"a}t Koblenz-Landau},
  year		= 1999,
  type		= {Fachberichte Informatik},
  number	= {4/99},
  url		= {http://www.uni-koblenz-landau.de/koblenz/fb4/publications/fachberichte/fb1999/RR-4-99.pdf},
  place		= {ORDNER 1999 A}
}

@InProceedings{	  DS+99,
  author	= {J{\"u}rgen Dix and Frieder Stolzenburg and
		  Guillermo R. Simari and Pablo R. Fillottrani},
  title		= {Automating Defeasible Reasoning with Logic
		  Programming ({DeReLoP})},
  booktitle	= {Proceedings of {2nd German-Argentinian
		  Workshop on Information Technology}},
  editor	= {Stefan J{\"a}hnichen and Irene Loiseau}, 
  address	= {K{\"o}nigswinter},
  year		= 1999,
  pages		= {39-46},
  url		= {http://fstolzenburg.hs-harz.de/argentina/agentlog.pdf},
  place		= {REGAL}
}

@Article{	  Sto99d,
  author	= {Frieder Stolzenburg},
  title		= {Loop-Detection in Hyper-Tableaux by Powerful Model
		  Generation},
  journal	= {Journal of Universal Computer Science},
  year		= 1999,
  volume	= 5,
  number	= 3,
  pages		= {135-155},
  note		= {Special issue on \emph{Integration of Deduction
		  Systems}. Guest editors: Reiner H{\"a}hnle, Wolfram
		  Menzel, Peter H. Schmitt, and Wolfgang Reif. Springer, 
		  Berlin, Heidelberg, New York},
  url		= {http://www.jucs.org/jucs_5_3/loop_detection_in_hyper},
  place		= {ORDNER 1998 C}
}

@TechReport{	  Sto99c,
  author	= {Frieder Stolzenburg},
  title		= {Loop-Detection in Hyper-Tableaux by Powerful Model
		  Generation},
  institution	= {Universit{\"a}t Koblenz-Landau},
  year		= 1999,
  type		= {Fachberichte Informatik},
  number	= {2/99},
  url		= {http://www.uni-koblenz-landau.de/koblenz/fb4/publications/fachberichte/fb1999/RR-2-99.pdf},
  place		= {ORDNER 1998 C}
}

@InProceedings{	  Sto99b,
  author	= {Frieder Stolzenburg},
  title		= {Declarativity and Constraints in a Multi-Agent
		  System Architecture for Spatial Reasoning},
  booktitle	= {Themenkolloquium {R{\"a}umliche Inferenz} des
		  DFG-Schwerpunktprogramms {Raumkognition}:
		  Beitr{\"a}ge zur Gestaltung der Schnittstelle zwischen
		  maschinellem und mentalem Probleml{\"o}sen},
  year		= 1999,
  editor	= {Christoph Schlieder},
  address	= {Freiburg},
  place		= {ORDNER 1999 A}
}

@Article{	  Sto99a,
  author	= {Frieder Stolzenburg},
  title		= {An Algorithm for General Set Unification and Its
		  Complexity},
  journal	= {Journal of Automated Reasoning},
  year		= 1999,
  volume	= 22,
  number	= 1,
  pages		= {45-63},
  url		= {http://www.springerlink.com/content/p7h666h37q7251l7/?p=22b3d9b3c573413aa348113387a23134&pi=1},
  place		= {REGAL}
}


% 1998

@Article{	  BD+98,
  author	= {Peter Baumgartner and Ingo Dahn and J{\"u}rgen Dix and
		  Ulrich Furbach and Micha K{\"u}hn and Frieder Stolzenburg
		  and Bernd Thomas},
  title		= {Automated Deduction: A Technological Point of View},
  journal	= {KI},
  year		= 1998,
  volume	= {4/98},
  pages		= {7-14},
  place		= {REGAL}
}

@Article{	  DS98,
  author	= {J{\"u}rgen Dix and Frieder Stolzenburg},
  title		= {A Framework to Incorporate Non-Monotonic Reasoning into
		  Constraint Logic Programming},
  journal	= {Journal of Logic Programming},
  year		= 1998,
  volume	= 37,
  number	= {1-3},
  pages		= {47-76},
  note		= {Special issue on \emph{Constraint Logic Programming}.
		  Guest editors: Kim Marriott and Peter J. Stuckey},
  place		= {REGAL}
}

@InProceedings{	  OM+98,
  author	= {Oliver Obst and Jan Murray and Frieder Stolzenburg and
		  Bj{\"o}rn Bremer},
  title		= {Towards Deduction in {R}obo{C}up},
  booktitle	= {Proceedings of {{R}obo{C}up Workshop} at {KI'98}},
  year		= 1998,
  address	= {Bremen},
  place		= {ORDNER 1999 A}
}

@Article{	  Sto98d,
  author	= {Frieder Stolzenburg},
  title		= {A Flexible System for Constraint Disjunctive Logic
		  Programming},
  journal	= {KI},
  year		= 1998,
  volume	= {2/98},
  pages		= {73-78},
  place		= {REGAL}
}

@InCollection{	  ST98,
  author	= {Frieder Stolzenburg and Bernd Thomas},
  title		= {Analyzing Rule Sets for the Calculation of Banking Fees by
		  a Theorem Prover with Constraints},
  booktitle	= {Automated Deduction -- A Basis for Applications.
		  Volume~III: Applications},
  publisher	= {Kluwer Academic},
  editor	= {Wolfgang Bibel and Peter H. Schmitt},
  pages		= {243-264},
  year		= 1998,
  address	= {Dordrecht, The Netherlands},
  series	= {Applied Logic Series 10},
  note		= {Final Report of DFG-Schwerpunktprogramm \emph{Deduktion}},
  place		= {REGAL [I-III]}
}

@InProceedings{	  Sto98c,
  author	= {Frieder Stolzenburg},
  title		= {Loop-Detection in Hyper-Tableaux by Powerful Model
		  Generation},
  booktitle	= {Proceedings of Workshop on {Integration of Deductive
		  Systems} at {15th International Conference
		  on Automated Deduction}},
  year		= 1998,
  pages		= {76-84},
  editor	= {Nikolaj S. Bj{\o}rner and Reiner H{\"a}hnle and Wolfram
		  Menzel and Wolfgang Reif and Peter H. Schmitt},
  address	= {Lindau, Germany},
  place		= {REGAL}
}

@TechReport{	  FKS98,
  author	= {Ulrich Furbach and Michael K{\"u}hn and Frieder
		  Stolzenburg},
  title		= {Model-Guided Proof Debugging},
  institution	= {Universit{\"a}t Koblenz-Landau},
  year		= 1998,
  type		= {Fachberichte Informatik},
  number	= {6/98},
  url		= {http://www.uni-koblenz-landau.de/koblenz/fb4/publications/fachberichte/fb1998/RR-6-98.ps.gz},
  place		= {ORDNER 1998 A}
}

@Article{	  Sto98b,
  author	= {Frieder Stolzenburg},
  title		= {{C}onstraint-{P}rogrammierung},
  journal	= {KI},
  year		= 1998,
  volume	= {1/98},
  pages		= 63,
  note		= {Buchrezension},
  place		= {REGAL}
}

@Book{		  Sto98a,
  author	= {Frieder Stolzenburg},
  title		= {Disjunctive Logic Programming with Constraints and its
		  Applications},
  publisher	= {F{\"o}lbach},
  address	= {Koblenz},
  series	= {Koblenzer Schriften zur Informatik 7},
  year		= 1998,
  note		= {Dissertation. Reviewers: Ulrich~Furbach and Joxan~Jaffar},
  isbn		= {3-923532-56-3},
  place		= {REGAL}
}


% 1997

@InProceedings{	  SH+97,
  author	= {Frieder Stolzenburg and Stephan H{\"o}hne and Ulrich Koch
		  and Martin Volk},
  title		= {Constraint Logic Programming for Computational
		  Linguistics},
  booktitle	= {Selected Papers of 1st International Conference on
		  {Logical Aspects of Computational Linguistics} 1996},
  editor	= {Christian Retor{\'e}},
  year		= 1997,
  address	= {Nancy},
  publisher	= {Springer, Berlin, Heidelberg, New York},
  series	= {LNAI~1328},
  pages		= {406-425},
  url		= {http://dx.doi.org/10.1007/BFb0052169},
  place		= {REGAL}
}

@InProceedings{	  SO97b,
  author	= {Frieder Stolzenburg and Oliver Obst},
  title		= {Reasoning with Constraints and Well-Founded Negation},
  booktitle	= {Documents of ERCIM/Compulog Workshop on Constraints},
  year		= 1997,
  address	= {Schloss Hagenberg, Linz},
  place		= {ORDNER 1997 B}
}

@InProceedings{	  SO97a,
  author	= {Frieder Stolzenburg and Oliver Obst},
  title		= {Reasoning with Constraints and Well-Founded Negation},
  booktitle	= {Jahrestreffen der GI-Fachgruppe 1.2.1 {Deduktionssysteme}
		  -- Kurzfassungen der Vortr{\"a}ge},
  year		= 1997,
  editor	= {Peter Baumgartner},
  pages		= {9-10},
  address	= {Schloss Dagstuhl},
  note		= {Fachberichte Informatik 23/97},
  publisher	= {Universit{\"a}t Koblenz-Landau},
  url		= {http://www.uni-koblenz-landau.de/koblenz/fb4/publications/fachberichte/fb1997/RR-23-97.ps.gz},
  place		= {REGAL}
}

@TechReport{	  DS97b,
  author	= {J{\"u}rgen Dix and Frieder Stolzenburg},
  title		= {A Framework to Incorporate Non-Monotonic Reasoning into
		  Constraint Logic Programming},
  year		= 1997,
  institution	= {Universit{\"a}t Koblenz-Landau},
  type		= {Fachberichte Informatik},
  number	= {16/97},
  url		= {http://www.uni-koblenz-landau.de/koblenz/fb4/publications/fachberichte/fb1997/RR-16-97.ps.gz},
  place		= {EXTERN}
}

@InProceedings{	  DS97a,
  author	= {J{\"u}rgen Dix and Frieder Stolzenburg},
  title		= {Computation of Non-Ground Disjunctive Well-Founded
		  Semantics with Constraint Logic Programming},
  booktitle	= {Selected Papers of Workshop on {Non-Monotonic Extensions
		  of Logic Programming} at {Joint
		  International Conference and Symposium on Logic
		  Programming} 1996},
  address	= {Bad Honnef},
  year		= 1997,
  pages		= {202-226},
  editor	= {J{\"u}rgen Dix and Lu{\'\i}s Moniz Pereira and Teodor C.
		  Przymusinski},
  publisher	= {Springer, Berlin, Heidelberg, New York},
  series	= {LNAI~1216},
  url		= {http://www.springerlink.com/content/w301lx65hn446257/},
  place		= {REGAL}
}

@Article{	  BFS97,
  author	= {Peter Baumgartner and Ulrich Furbach and Frieder
		  Stolzenburg},
  title		= {Computing answers with model elimination},
  journal	= {Artificial Intelligence},
  year		= 1997,
  volume	= 90,
  number	= {1-2},
  pages		= {135-176},
  url		= {http://www.elsevier.nl/locate/artint/},
  place		= {REGAL}
}


% 1996

@TechReport{	  SH+96b,
  author	= {Frieder Stolzenburg and Stephan H{\"o}hne and Ulrich Koch
		  and Martin Volk},
  title		= {Constraint Logic Programming for Computational
		  Linguistics},
  institution	= {Universit{\"a}t Koblenz-Landau},
  year		= 1996,
  type		= {Fachberichte Informatik},
  number	= {26/96},
  url		= {http://www.uni-koblenz-landau.de/koblenz/fb4/publications/fachberichte/fb1996/RR-26-96.pdf},
  place		= {ORDNER 1996 B}
}

@TechReport{	  Sto96e,
  author	= {Frieder Stolzenburg},
  title		= {A Flexible System for Constraint Disjunctive Logic
		  Programming},
  institution	= {Universit{\"a}t Koblenz-Landau},
  year		= 1996,
  type		= {Fachberichte Informatik},
  number	= {19/96},
  url		= {http://www.uni-koblenz-landau.de/koblenz/fb4/publications/fachberichte/fb1996/RR-19-96.ps.gz},
  place		= {ORDNER 1997 B}
}

@InProceedings{	  SH+96a,
  author	= {Frieder Stolzenburg and Stephan H{\"o}hne and Ulrich Koch
		  and Martin Volk},
  title		= {Constraint Logic Programming for Computational
		  Linguistics},
  booktitle	= {Proceedings of Conference on Logical Aspects of
		  Computational Linguistics},
  editor	= {Christian Retor{\'e}},
  year		= 1996,
  organization	= {INRIA Lorraine and CRIN-C.N.R.S.},
  address	= {Nancy},
  pages		= {19-23},
  place		= {REGAL}
}

@InProceedings{	  Sto96d,
  author	= {Frieder Stolzenburg},
  title		= {A Flexible System for Constraint Disjunctive Logic
		  Programming},
  booktitle	= {Deklarative Constraint-Programmierung -- Workshop der FG
		  1.1.1 der GI zur KI-96},
  year		= 1996,
  editor	= {Ulrich Geske and Helmut Simonis},
  pages		= {43-58},
  address	= {Dresden},
  note		= {GMD-Studien 297},
  place		= {REGAL}
}

@InProceedings{	  Sto96c,
  author	= {Frieder Stolzenburg},
  title		= {Ein flexibles {S}ystem zur {D}isjunktiven {L}ogischen
		  {P}rogrammierung mit {C}onstraints},
  booktitle	= {Fortschritte der K{\"u}nstlichen Intelligenz},
  year		= 1996,
  editor	= {Michael Thielscher and Sven-Erik Bornscheuer},
  pages		= 50,
  publisher	= {Dresden University Press},
  note		= {Aus den Workshops der 20. Deutschen Jahrestagung f{\"u}r
		  K{\"u}nstliche Intelligenz},
  place		= {REGAL}
}

@InProceedings{	  DS96b,
  author	= {J{\"u}rgen Dix and Frieder Stolzenburg},
  title		= {Computation of Non-Ground Disjunctive Well-Founded
		  Semantics with Constraint Logic Programming},
  booktitle	= {Proceedings of Workshop on {Non-Monotonic Extensions of Logic
		  Programming} at {Joint International Conference and Symposium
		  on Logic Programming}},
  year		= 1996,
  editor	= {J{\"u}rgen Dix and Lu{\'\i}s Moniz Pereira and Teodor C.
		  Przymusinski},
  pages		= {143-160},
  address	= {Bad Honnef, Germany},
  note		= {Fachberichte Informatik 17/96}, 
  publisher	= {Universit{\"a}t Koblenz-Landau},
  url		= {http://www.uni-koblenz-landau.de/koblenz/fb4/publications/fachberichte/fb1996/RR-17-96.ps.gz},
  place		= {REGAL}
}

@InProceedings{	  AB+96b,
  author	= {Chandrabose Aravindan and Peter Baumgartner and J{\"u}rgen
		  Dix and Ulrich Furbach and Gerd Neugebauer and Ilkka
		  Niemel{\"a} and Dorothea Sch{\"a}fer and Frieder Stolzenburg},
  title		= {On Merging Theorem Proving and Logic Programming
		  Paradigms},
  booktitle	= {Proceedings of Poster Session at {Joint International
		  Conference and Symposium on Logic Programming}},
  address	= {Bad Honnef},
  year		= 1996,
  editor	= {Norbert E. Fuchs and Ulrich Geske},
  pages		= {99-122},
  note		= {GMD-Studien 296},
  place		= {REGAL}
}

@InProceedings{	  AB+96a,
  author	= {Chandrabose Aravindan and Peter Baumgartner and J{\"u}rgen
		  Dix and Ulrich Furbach and Gerd Neugebauer and Ilkka
		  Niemel{\"a} and Dorothea Sch{\"a}fer and Frieder Stolzenburg},
  title		= {On Merging Theorem Proving and Logic Programming
		  Paradigms},
  booktitle	= {Proceedings of {Joint International Conference and
		  Symposium on Logic Programming}},
  address	= {Bad Honnef},
  year		= 1996,
  editor	= {Michael Maher},
  pages		= 546,
  publisher	= {MIT Press, Cambridge, MA, London},
  note		= {Poster Abstract},
  place		= {REGAL}
}

@InProceedings{	  DS96a,
  author	= {J{\"u}rgen Dix and Frieder Stolzenburg},
  title		= {Computation of Non-Ground Disjunctive Well-Founded
		  Semantics with Constraint Logic Programming},
  booktitle	= {Disjunctive Logic Programming and Databases: Non-Monotonic
		  Aspects},
  year		= 1996,
  editor	= {J{\"u}rgen Dix and Donald W. Loveland and Jack Minker and
		  David S. Warren},
  pages		= 21,
  series	= {Dagstuhl Seminar Report 150: Abstract of Talk},
  url		= {http://www.dagstuhl.de/Reports/96/9627.pdf},
  place		= {REGAL}
}

@InProceedings{	  ST96,
  author	= {Frieder Stolzenburg and Bernd Thomas},
  title		= {Analysing Rule Sets for the Calculation of Banking Fees by
		  a Theorem Prover with Constraints},
  year		= 1996,
  booktitle	= {Proceedings of 2nd International Conference on Practical
		  Application of Constraint Technology},
  address	= {London},
  publisher	= {Practical Application Company},
  pages		= {269-282},
  place		= {REGAL}
}

@InCollection{	  Sto96b,
  author	= {Frieder Stolzenburg},
  title		= {Membership-Constraints and Complexity in Logic Programming
		  with Sets},
  booktitle	= {Frontiers in Combining Systems},
  publisher	= {Kluwer Academic},
  editor	= {Franz Baader and Klaus U. Schulz},
  pages		= {285-302},
  year		= 1996,
  address	= {Dordrecht, The Netherlands},
  series	= {Applied Logic Series 3},
  place		= {REGAL}
}

@Article{	  Sto96a,
  author	= {Frieder Stolzenburg},
  title		= {Die maschinelle {K}unst des {D}enkens: {P}erspektiven und
		  {G}renzen der {K}{\"u}nstlichen {I}ntelligenz},
  journal	= {KI},
  year		= 1996,
  volume	= {2/96},
  pages		= 51,
  note		= {Buchrezension},
  place		= {REGAL}
}

@Article{	  BD+96,
  author	= {Peter Baumgartner and J{\"u}rgen Dix and Ulrich Furbach
		  and Dorothea Sch{\"a}fer and Frieder Stolzenburg},
  title		= {{D}eduktion und {L}ogisches {P}rogrammieren},
  journal	= {KI},
  year		= 1996,
  volume	= {2/96},
  pages		= {34-39},
  place		= {REGAL}
}


% 1995

@Article{	  BS95b,
  author	= {Peter Baumgartner and Frieder Stolzenburg},
  title		= {{J}ahrestreffen der {GI}-{F}achgruppe 1.2.1 {Deduktion}},
  journal	= {KI},
  year		= 1995,
  volume	= {6/95},
  pages		= {80-81},
  note		= {Tagungsbericht},
  place		= {REGAL}
}

@TechReport{	  BD+95,
  author	= {Peter Baumgartner and J{\"u}rgen Dix and Ulrich Furbach
		  and Dorothea Sch{\"a}fer and Frieder Stolzenburg},
  title		= {{D}eduktion und {L}ogisches {P}rogrammieren},
  institution	= {Universit{\"a}t Koblenz-Landau},
  year		= 1995,
  type		= {Fachberichte Informatik},
  number	= {17/95},
  place		= {REGAL}
}

@TechReport{	  ST95,
  author	= {Frieder Stolzenburg and Bernd Thomas},
  title		= {Analysing Rule Sets for the Calculation of Banking Fees by
		  a Theorem Prover with Constraints},
  institution	= {Universit{\"a}t Koblenz-Landau},
  year		= 1995,
  type		= {Fachberichte Informatik},
  number	= {14/95},
  place		= {REGAL}
}

@TechReport{	  Sto95,
  author	= {Frieder Stolzenburg},
  title		= {Membership-Constraints and Complexity in Logic Programming
		  with Sets},
  institution	= {Universit{\"a}t Koblenz-Landau},
  year		= 1995,
  type		= {Fachberichte Informatik},
  number	= {13/95},
  place		= {REGAL}
}

@InProceedings{	  BFS95c,
  author	= {Peter Baumgartner and Ulrich Furbach and Frieder
		  Stolzenburg},
  title		= {Model Elimination, Logic Programming and Computing
		  Answers},
  booktitle	= {Proceedings of 14th International Joint Conference on
		  Artificial Intelligence},
  address	= {Montr{\'e}al},
  year		= 1995,
  pages		= {335-340},
  volume	= 1,
  organization	= {IJCAI Inc., San Mateo, CA},
  publisher	= {Morgan Kaufmann, Los Altos, CA},
  place		= {ORDNER 1995 B}
}

@InProceedings{	  BS95a,
  author	= {Peter Baumgartner and Frieder Stolzenburg},
  title		= {Constraint Model Elimination and a {PTTP}-Implementation},
  booktitle	= {Proceedings of 4th Workshop on Theorem Proving with
		  Analytic Tableaux and Related Methods},
  year		= 1995,
  editor	= {Peter Baumgartner and Reiner H{\"a}hnle and Joachim
		  Posegga},
  pages		= {201-216},
  publisher	= {Springer, Berlin, Heidelberg, New York},
  series	= {LNAI~918},
  place		= {REGAL}
}

@InProceedings{	  BFS95b,
  author	= {Peter Baumgartner and Ulrich Furbach and Frieder
		  Stolzenburg},
  title		= {Computing Answers and Logic Programming by Model
		  Elimination Based Theorem Proving},
  booktitle	= {Working Notes of 2nd Workshop on {Automated reasoning:
		  Bridging the gap between theory and practice}},
  year		= 1995,
  editor	= {Andrew Ireland},
  pages		= {3-4},
  organization	= {Society for the Study of Artificial Intelligence and
		  Simulation of Behaviour},
  address	= {Sheffield},
  place		= {REGAL}
}

@TechReport{	  BFS95a,
  author	= {Peter Baumgartner and Ulrich Furbach and Frieder
		  Stolzenburg},
  title		= {Model Elimination, Logic Programming and Computing
		  Answers},
  institution	= {Universit{\"a}t Koblenz-Landau},
  year		= 1995,
  type		= {Fachberichte Informatik},
  number	= {1/95},
  place		= {REGAL}
}


% 1994

@InProceedings{	  BS94,
  author	= {Peter Baumgartner and Frieder Stolzenburg},
  title		= {Constraint Model Elimination and a {PTTP}-Implementation},
  booktitle	= {Proceedings of Workshop on {Constraint Languages and their
		  Use in Problem Modelling} at
		  {International Logic Programming Symposium}},
  address	= {Ithaca, NY},
  year		= 1994,
  editor	= {Jean Jourdan and Pierre Lim and Roland H. C. Yap},
  pages		= {217-231},
  note		= {Technical Report 94/19}, 
  publisher	= {Department of Computer Science, University of Melbourne},
  volume	= 2,
  place		= {REGAL}
}

@TechReport{	  SB94,
  author	= {Frieder Stolzenburg and Peter Baumgartner},
  title		= {Constraint Model Elimination and a {PTTP}-Implementation},
  institution	= {Universit{\"a}t Koblenz-Landau},
  year		= 1994,
  type		= {Fachberichte Informatik},
  number	= {10/94},
  place		= {REGAL}
}

@InProceedings{	  Sto94c,
  author	= {Frieder Stolzenburg},
  title		= {Logic Programming with Sets by Membership-Constraints},
  booktitle	= {Proceedings of 10th Logic Programming Workshop},
  year		= 1994,
  editor	= {Norbert E. Fuchs and Georg Gottlob},
  organization	= {Institut f{\"u}r Informatik},
  address	= {Universit{\"a}t Z{\"u}rich},
  series	= {Technical Report ifi 94.10},
  pages		= {48-51},
  url		= {http://fstolzenburg.hs-harz.de/papers/Sto94c.pdf},
  place		= {REGAL}
}

@InProceedings{	  BD+94,
  author	= {Peter Baumgartner and J{\"u}rgen Dix and Ulrich Furbach
		  and Frieder Stolzenburg},
  title		= {The Spectrum of Model Elimination Based Theorem Proving},
  booktitle	= {Informal Proceedings of 11th Annual Meeting of
		  {GI-Fachgruppe Deduktionssysteme}},
  address	= {Darmstadt},
  year		= 1994,
  editor	= {Wolfgang Bibel and Christoph Walter},
  pages		= 5,
  series	= {Technical Report AIDA-94-06},
  publisher	= {Technische Hochschule Darmstadt},
  place		= {ORDNER 1995 A}
}

@InProceedings{	  BFS94,
  author	= {Peter Baumgartner and Ulrich Furbach and Frieder
		  Stolzenburg},
  title		= {Applications of Theory Reasoning in Model Elimination},
  booktitle	= {Proceedings of Workshop {Theory Reasoning in Automated
		  Deduction}, at {12th International
		  Conference on Automated Deduction}},
  address	= {Nancy},
  year		= 1994,
  editor	= {Peter Baumgartner and Hans-J{\"u}rgen B{\"u}rckert and
		  Hubert Comon and Alan Frisch and Ulrich Furbach and Neil
		  Murray and Uwe Petermann and Mark Stickel},
  pages		= {7-13},
  note		= {Fachberichte Informatik 8/94}, 
  publisher	= {Universit{\"a}t Koblenz-Landau},
  place		= {REGAL}
}

@Article{	  Sto94b,
  author	= {Frieder Stolzenburg},
  title		= {Grammatikentwicklung mit
		  {C}onstraint-{L}ogikprogrammierung},
  journal	= {KI},
  year		= 1994,
  volume	= {3/94},
  pages		= {75-76},
  note		= {Buchrezension},
  place		= {REGAL}
}

@TechReport{	  Sto94a,
  author	= {Frieder Stolzenburg},
  title		= {Membership-Constraints and Some Applications},
  institution	= {Universit{\"a}t Koblenz-Landau},
  year		= 1994,
  type		= {Fachberichte Informatik},
  number	= {5/94},
  place		= {REGAL}
}


% 1993

@InProceedings{	  Sto93c,
  author	= {Frieder Stolzenburg},
  title		= {{T}autologie-{P}runing},
  booktitle	= {Workshop {PTTP-basiertes Theorembeweisen}},
  year		= 1993,
  editor	= {Peter Baumgartner},
  publisher	= {Universit{\"a}t Koblenz-Landau},
  series	= {Fachberichte Informatik 7/93},
  place		= {ORDNER 1993 C}
}

@TechReport{	  Sto93b,
  author	= {Frieder Stolzenburg},
  title		= {An Algorithm for General Set Unification and its
		  Complexity},
  institution	= {Universit{\"a}t Koblenz-Landau},
  year		= 1993,
  type		= {Fachberichte Informatik},
  number	= {3/93},
  place		= {REGAL}
}

@InProceedings{	  Sto93a,
  author	= {Frieder Stolzenburg},
  title		= {An Algorithm for General Set Unification and its
		  Complexity},
  booktitle	= {Proceedings of Workshop on {Logic Programming with Sets}
		  at {10th International Conference on Logic
		  Programming}},
  year		= 1993,
  editor	= {Eugenio G. Omodeo and Gianfranco Rossi},
  pages		= {17-22},
  address	= {Budapest},
  place		= {REGAL}
}


% 1992

@TechReport{	  Sto92b,
  author	= {Frieder Stolzenburg},
  title		= {Typisierte {M}erkmalstrukturen und {HPSG}: {E}ine
		  {E}rweiterung von {UBS} in {SEPIA}},
  address	= {Universit{\"a}t Koblenz-Landau},
  institution	= {Fachbereich Informatik},
  year		= 1992,
  type		= {Diplomarbeit},
  number	= {D~192},
  note		= {Reviewers: Martin Volk and Ulrich Furbach},
  url		= {http://fstolzenburg.hs-harz.de/papers/Sto92b.pdf},
  place		= {REGAL}
}

@Article{	  SB+92,
  author	= {Frieder Stolzenburg and Alexander Bach and Christian
		  Lieske and Hanno Ridder and Martin Volk},
  title		= {3rd {E}uropean {S}ummer {S}chool on {L}anguage, {L}ogic
		  and {I}nformation, {S}aarbr{\"u}cken 1991},
  journal	= {KI},
  year		= 1992,
  volume	= {1/92},
  pages		= {46-47},
  note		= {Tagungsbericht},
  place		= {REGAL}
}

@TechReport{	  Sto92a,
  author	= {Frieder Stolzenburg},
  title		= {{UBS} -- A Unification-Based Language for the
		  Implementation of {HPSG}},
  institution	= {Universit{\"a}t Koblenz-Landau},
  year		= 1992,
  type		= {Fachberichte Informatik},
  number	= {2/92},
  place		= {REGAL}
}

@Article{	  SV92,
  author	= {Frieder Stolzenburg and Martin Volk},
  title		= {{UBS} -- {E}ine unifikationsbasierte {S}prache zur
		  {I}mplementation von {HPSG}},
  journal	= {LDV-Forum},
  year		= 1992,
  volume	= 9,
  number	= 1,
  pages		= {10-13},
  place		= {ORDNER SS 1991}
}


% 1991

@TechReport{	  Sto91,
  author	= {Frieder Stolzenburg},
  title		= {{UBS} -- {E}ine unifikationsbasierte {S}prache zur
		  {I}mplementation von {HPSG}},
  address	= {Universit{\"a}t Koblenz-Landau},
  institution	= {Fachbereich Informatik},
  year		= 1991,
  type		= {Studienarbeit},
  number	= {S~212},
  place		= {REGAL}
}