Frieder Stolzenburg's Bibliography

[191] Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias Thimm, editors. Proceedings of the KI 2019 Workshop on Formal and Cognitive Reasoning -- 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and 7th Workshop KI & Kognition (KIK-2019), CEUR Workshop Proceedings 2445, Kassel, 2018. [ http ]
[190] Sophie Siebert, Claudia Schon, and Frieder Stolzenburg. Commonsense reasoning using theorem proving and machine learning. In Andreas Holzinger, Peter Kieseberg, A Min Tjoa, and Edgar Weippl, editors, Machine Learning and Knowledge Extraction -- 3rd IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2019, LNCS 11713, pages 395--413, Canterbury, UK, 2019. Springer Nature Switzerland. [ http ]
[189] Olivia Michael, Oliver Obst, Falk Schmidsberger, and Frieder Stolzenburg. RoboCupSimData: Software and data for machine learning from RoboCup simulation league. In Dirk Holz, Katie Genter, Maarouf Saad, and Oskar von Stryk, editors, RoboCup 2018: Robot Soccer World Cup XXII. RoboCup International Symposium, LNAI 11374, pages 230--237, Montréal, Canada, 2019. Springer Nature Switzerland. [ http ]
[188] Frieder Stolzenburg. Harmoniewahrnehmung durch Periodizitätsdetektion. In Martin Ebeling and Morgana Petrik, editors, Harmonie -- musikalisch, philosophisch, psychologisch, neurologisch, volume 7 of Schriftenreihe der Carl Stumpf Gesellschaft, pages 57--84. Peter Lang, Berlin, Bern, Bruxelles, New York, Oxford, Warszawa, Wien, 2019. [ DOI | http ]
[187] Ulrich Furbach, Steffen Hölldobler, Marco Ragni, and Frieder Stolzenburg. Cognitive reasoning. KI, 33(3), 2019. Edited special issue. [ http ]
[186] Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon, and Frieder Stolzenburg. Cognitive reasoning: A personal view. KI, 33(3):209--217, 2019. [ http ]
[185] Claudia Schon, Sophie Siebert, and Frieder Stolzenburg. The CoRg project: Cognitive reasoning. KI, 33(3):293--299, 2019. [ http ]
[184] Jerome Kuhle, Kai Steckhan, Frieder Stolzenburg, and Christian Guder. Best Buddy -- ein intelligenter Roboter mit Smartphone. In Jörg Kirbs, editor, 20. Nachwuchswissenschaftlerkonferenz, page 21, Hochschule Merseburg, 2019. Abstract.
[183] Oliver Otto and Frieder Stolzenburg. Analyse von Smartphone-Sensordaten mit rekurrenten neuronalen Netzen zur Klassifikation von Fahrmanövern. In Jörg Kirbs, editor, 20. Nachwuchswissenschaftlerkonferenz, page 15, Hochschule Merseburg, 2019. Abstract.
[182] Sophie Siebert and Frieder Stolzenburg. CoRg: Commonsense reasoning using a theorem prover and machine learning. In Christoph Benzmüller, Xavier Parent, and Alexander Steen, editors, Selected Student Contributions and Workshop Papers of LuxLogAI 2018, volume 10 of Kalpa Publications in Computing, pages 20--26. EasyChair, 2019. Deduktionstreffen 2018, Luxembourg. [ DOI | http ]
[181] Frieder Stolzenburg. Logik für Informatiker. WAIT -- Wernigeröder Automatisierungs- und Informatiktexte 01/2018, Fachbereich Automatisierung und Informatik, Hochschule Harz, 2019. [ DOI | http ]
[180] Maria Heinze, Lars Hausfeld, Rainer Goebel, and Frieder Stolzenburg. Periodicity pitch detection in complex harmonies on EEG timeline data. In Axelle Calcus and Tim Schoof, editors, Frequency Following Response -- FFR Workshop 2019, London, 2019. Abstract Book. [ .pdf ]
[179] Frieder Stolzenburg, Olivia Michael, and Oliver Obst. The power of linear recurrent neural networks. In Daniel Brunner, Herbert Jaeger, Stuart Parkin, and Gordon Pipa, editors, Cognitive Computing -- Merging Concepts with Hardware, Hannover, 2018. Received Prize for Most Technologically Feasible Poster Contribution. [ http ]
[178] Oliver Obst, Frieder Stolzenburg, and Olivia Michael. The power of linear recurrent neural networks. In NeuroEng 2018 -- 11th Australasian Workshop on Neuro-Engineering and Computational Neuroscience, Sydney, 2018. Poster.
[177] Olivia Michael, Oliver Obst, Falk Schmidsberger, and Frieder Stolzenburg. Analysing soccer games with clustering and conceptors. In Hidehisa Akyama, Oliver Obst, Claude Sammut, and Flavio Tonidandel, editors, RoboCup 2017: Robot Soccer World Cup XXI. RoboCup International Symposium, LNAI 11175, pages 120--131, Nagoya, Japan, 2018. Springer Nature Switzerland. [ http ]
[176] Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg, and Matthias Thimm, editors. Proceedings of the KI 2018 Workshop on Formal and Cognitive Reasoning -- 7th Workshop on Dynamics of Knowledge and Belief (DKB-2018) and 6th Workshop KI & Kognition (KIK-2018), CEUR Workshop Proceedings 2194, Berlin, 2018. [ http ]
[175] Maria Heinze, Rainer Goebel, and Frieder Stolzenburg. Application of recurrent neural networks on fMRI and EEG timeline data in music cognition. In Constantin A. Rothkopf, Dirk Balfanz, Ralf Galuske, Frank Jäkel, Kristian Kersting, Jakob Macke, and Betty Mohler, editors, KogWis 2018: Computational Approaches to Cognitive Science -- 14th Biannual Conference of the German Society for Cognitive Science, page 22, Darmstadt, 2018. Abstract. [ .pdf ]
[174] Maria Heinze, Rainer Goebel, and Frieder Stolzenburg. Application of machine learning techniques on fMRI and EEG timeline data. In 19. Nachwuchswissenschaftlerkonferenz, Hochschule Anhalt, Köthen, 2018. Abstract.
[173] Frieder Stolzenburg, Olivia Michael, and Oliver Obst. The power of linear recurrent neural networks -- predictive neural networks. CoRR -- Computing Research Repository abs/1802.03308, Cornell University Library, 2018. Latest revision 2019. [ http ]
[172] Olivia Michael, Oliver Obst, Falk Schmidsberger, and Frieder Stolzenburg. RoboCupSimData: A RoboCup soccer research dataset. CoRR -- Computing Research Repository abs/1711.01703, Cornell University Library, 2017. [ http ]
[171] Frieder Stolzenburg and Raimund Lüderitz. Syllogistic reasoning in seven spaces. In Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, and Frieder Stolzenburg, editors, Proceedings of the KI 2017 Workshop on Formal and Cognitive Reasoning -- 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and 5th Workshop KI & Kognition (KIK-2017), CEUR Workshop Proceedings 1928, pages 77--88, Dortmund, 2017. [ .pdf ]
[170] Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, and Frieder Stolzenburg, editors. Proceedings of the KI 2017 Workshop on Formal and Cognitive Reasoning -- 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and 5th Workshop KI & Kognition (KIK-2017), CEUR Workshop Proceedings 1928, Dortmund, 2017. [ http ]
[169] Olivia Michael, Oliver Obst, Falk Schmidsberger, and Frieder Stolzenburg. Analysing soccer games with clustering and conceptors. CoRR -- Computing Research Repository abs/1708.05821, Cornell University Library, 2017. [ http ]
[168] Frieder Stolzenburg. Periodicity detection by neural transformation. In Edith Van Dyck, editor, ESCOM 2017 -- 25th Anniversary Conference of the European Society for the Cognitive Sciences of Music, pages 159--162, Ghent, Belgium, 2017. IPEM, Ghent University. Proceedings. [ .pdf ]
[167] Frieder Stolzenburg. Periodicity detection by neural transformation. In Edith Van Dyck, editor, ESCOM 2017 -- 25th Anniversary Conference of the European Society for the Cognitive Sciences of Music, pages 104--105, Ghent, Belgium, 2017. IPEM, Ghent University. Book of Abstracts. [ .pdf ]
[166] Matthias Oelze, Falk Schmidsberger, and Frieder Stolzenburg. Clusterbasierte Online-Analyse von 3D-Laserscans. In Tagungsband zur 18. Nachwuchswissenschaftlerkonferenz (NWK18), volume 1 of Wissenschaftliche Berichte, pages 330--335, Hochschule Mittweida, 2017. [ .html ]
[165] Frieder Stolzenburg, Hardy Pundt, Michael Pflanz, and Michael Schirrmann, editors. Proceedings 22. und 23. Workshop Computer-Bildanalyse und Unbemannte autonom fliegende Systeme (UAS) in der Landwirtschaft, Bornimer Agrartechnische Berichte, Heft 93, 2017. [ http ]
[164] Chattrakul Sombattheera, Frieder Stolzenburg, Fangzhen Lin, and Abhaya Nayak, editors. Multi-disciplinary Trends in Artificial Intelligence, 10th International Workshop, MIWAI 2016, LNAI 10053, Chiang Mai, Thailand, 2016. Springer. [ DOI | http ]
[163] Claus-Peter Wirth and Frieder Stolzenburg. A series of revisions of David Poole's specificity. Annals of Mathematics and Artificial Intelligence, 78(3):205--258, 2016. Special issue on Belief Change and Argumentation in Multi-Agent Scenarios. Issue editors: Jürgen Dix, Sven Ove Hansson, Gabriele Kern-Isberner, Guillermo Simari. [ http ]
[162] Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, and Frieder Stolzenburg. Formal and cognitive reasoning. In Thomas Barkowsky, Zoe Falomir Llansola, Holger Schultheis, and Jasper van de Ven, editors, KogWis 2016: Space for Cognition -- Proceedings of 13th Biannual Conference of the German Cognitive Science Society, pages 99--101, Bremen, 2016. Abstract of Symposium 1. [ http ]
[161] Frieder Stolzenburg and Florian Ruh. Neural networks and continuous time. CoRR -- Computing Research Repository abs/1606.04466, Cornell University Library, 2016. [ http ]
[160] Matthias Oelze, Falk Schmidsberger, and Frieder Stolzenburg. Multikopter und Infrarottechnologie. In Frieder Stolzenburg, Hardy Pundt, Michael Pflanz, and Michael Schirrmann, editors, Proceedings 22. und 23. Workshop Computer-Bildanalyse und Unbemannte autonom fliegende Systeme (UAS) in der Landwirtschaft, Bornimer Agrartechnische Berichte, Heft 93, pages 41--52, Hochschule Harz, Wernigerode, 2016. [ http ]
[159] Frieder Stolzenburg. Harmony perception by periodicity detection. Journal of Mathematics and Music: Mathematical and Computational Approaches to Music Theory, Analysis, Composition and Performance, 9(3):215--238, 2015. [ http ]
[158] Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, and Frieder Stolzenburg, editors. Proceedings of the KI 2015 Workshop on Formal and Cognitive Reasoning -- 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and 4th Workshop KI & Kognition (KIK-2015), CEUR Workshop Proceedings 1444, Dresden, 2015. [ http ]
[157] Marco Ragni and Frieder Stolzenburg. Special issue on Higher-Level Cognition and Computation. KI, 29(3):243--245, 2015. Editorial. [ http ]
[156] Marco Ragni and Frieder Stolzenburg. Higher-level cognition and computation: A survey. KI, 29(3):247--253, 2015. [ http ]
[155] Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, and Claus-Peter Wirth. The RatioLog project: Rational extensions of logical reasoning. KI, 29(3):271--277, 2015. [ http ]
[154] Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, and Claus-Peter Wirth. The RatioLog project: Rational extensions of logical reasoning. CoRR -- Computing Research Repository abs/1503.06087, Cornell University Library, 2015. [ http ]
[153] Max Biederbeck and Frieder Stolzenburg. Angst vor Killer-Robotern: Warum ein deutscher Professor den offenen Brief von Musk und Hawking unterschrieben hat. Wired, 349/611, 2015. Interview. [ http ]
[152] Matthias Oelze, Falk Schmidsberger, and Frieder Stolzenburg. Smart-Kamera-basierte Online-Bildanalyse von Infrarot- und Stereobildern an Multikoptern. In Manuela Zude-Sasse and Martin Kraft, editors, Proceedings 20. und 21. Workshop Computer-Bildanalyse in der Landwirtschaft und 3. Workshop Unbemannte autonom fliegende Systeme (UAS) in der Landwirtschaft, Bornimer Agrartechnische Berichte, Heft 88, pages 124--128, Thünen-Institut, Braunschweig, 2015. [ http ]
[151] Ulrich Furbach, Claudia Schon, and Frieder Stolzenburg. Automated reasoning for robot ethics. CoRR -- Computing Research Repository abs/1502.05838, Cornell University Library, 2015. [ http ]
[150] Ulrich Furbach, Claudia Schon, and Frieder Stolzenburg. Cognitive systems and question answering. Industrie 4.0 Management, 31(1):29--32, 2015. [ http ]
[149] Ulrich Furbach, Claudia Schon, and Frieder Stolzenburg. Cognitive systems and question answering. CoRR -- Computing Research Repository abs/1411.4825, Cornell University Library, 2014. [ http ]
[148] Ulrich Furbach, Claudia Schon, and Frieder Stolzenburg. Automated reasoning in deontic logic. CoRR -- Computing Research Repository abs/1411.4823, Cornell University Library, 2014. [ http ]
[147] Ulrich Furbach, Claudia Schon, and Frieder Stolzenburg. Automated reasoning in deontic logic. In M. Narasimha Murty, Xiangjian He, Raghavendra Rao Chillarige, and Paul Weng, editors, Proceedings of MIWAI 2014: Multi-disciplinary International Workshop on Artificial Intelligence, LNAI 8875, pages 57--68, Bangalore, India, 2014. Springer. [ http ]
[146] Ulrich Furbach, Claudia Schon, and Frieder Stolzenburg. Automated reasoning in deontic logic. In Marco Ragni and Frieder Stolzenburg, editors, Proceedings of the KI 2014 Workshop on Higher-Level Cognition and Computation, pages 7--18, Stuttgart, 2014. [ .pdf ]
[145] Marco Ragni and Frieder Stolzenburg, editors. Proceedings of the KI 2014 Workshop on Higher-Level Cognition and Computation, SFB/TR 8 Report No. 037-09/2014, Stuttgart, 2014. [ .pdf ]
[144] Frieder Stolzenburg. Harmony perception by periodicity detection. In Moo Kyoung Song, editor, Proceedings of the ICMPC-APSCOM 2014 Joint Conference: 13th International Conference on Music Perception and Cognition and 5th Conference of the Asian-Pacific Society for the Cognitive Sciences of Music, pages 27--31, Seoul, South Korea, 2014. College of Music, Yonsei University. [ .pdf ]
[143] Frieder Stolzenburg. Harmony perception by periodicity detection. In Moo Kyoung Song, editor, ICMPC-APSCOM 2014 Joint Conference: 13th International Conference on Music Perception and Cognition and 5th Conference of the Asian-Pacific Society for the Cognitive Sciences of Music, Seoul, South Korea, 2014. Book of Abstracts.
[142] Ulrich Furbach, Claudia Schon, and Frieder Stolzenburg. Automated reasoning in deontic logic. In Informal Proceedings of Joint Automated Reasoning Workshop and Deduktionstreffen, pages 14--15, Wien, Austria, 2014. [ .pdf ]
[141] Claus-Peter Wirth and Frieder Stolzenburg. David Poole's specificity revised. In Chitta Baral, Giuseppe De Giacomo, and Thomas Eiter, editors, Proceedings of 14th International Conference on Principles of Knowledge Representation and Reasoning, pages 168--177, Wien, Austria, 2014. AAAI Press, Palo Alto, California. [ http ]
[140] Matthias Marks, Falk Schmidsberger, and Frieder Stolzenburg. Optische Sensorik an Multikoptern. In Manuela Zude-Sasse and Martin Kraft, editors, Proceedings 20. und 21. Workshop Computer-Bildanalyse in der Landwirtschaft und 3. Workshop Unbemannte autonom fliegende Systeme (UAS) in der Landwirtschaft, Bornimer Agrartechnische Berichte, Heft 88, pages 151--158, Hochschule Osnabrück, 2014. [ http ]
[139] Matthias Marks, Falk Schmidsberger, and Frieder Stolzenburg. Komplexe Sensorik an Multikoptern. In Jan Mugele, Gabriele Helga Franke, and Doreen Schincke, editors, 15. Nachwuchswissenschaftlerkonferenz ost- und mitteldeutscher Fachhochschulen, pages 412--418, Hochschule Magdeburg-Stendal, Magdeburg, 2014. Received 3rd Place in Best Paper Award. [ .pdf ]
[138] Frieder Stolzenburg, Florian Ruh, and Falk Schmidsberger. Objekterkennung mit Multikoptern. In Bernhard Zimmermann, editor, Festschrift zum 20. Jubiläum des Fachbereichs Automatisierung und Informatik, pages 100--103. Heenemann GmbH & Co. KG, Berlin, 2013.
[137] Falk Schmidsberger and Frieder Stolzenburg. Semantic object recognition with segment faces. In Marco Ragni, Michael Raschke, and Frieder Stolzenburg, editors, Proceedings of the KI 2013 Workshop on Visual and Spatial Cognition, CEUR Workshop Proceedings 1055, pages 21--28, Koblenz, 2013. [ .pdf ]
[136] Marco Ragni, Michael Raschke, and Frieder Stolzenburg, editors. Proceedings of the KI 2013 Workshop on Visual and Spatial Cognition, SFB/TR 8 Report No. 034-08/2013, Koblenz, 2013. [ .pdf ]
[135] Claus-Peter Wirth and Frieder Stolzenburg. David Poole's specificity revised. CoRR -- Computing Research Repository abs/1308.4943, Cornell University Library, 2013. [ http ]
[134] Frieder Stolzenburg. Harmony perception by periodicity detection. CoRR -- Computing Research Repository abs/1306.6458, Cornell University Library, 2013. Latest revision 2018. [ http ]
[133] Falk Schmidsberger and Frieder Stolzenburg. Semantische Objekterkennung mit Methoden des Maschinellen Lernens. In Robin Gebbers and Manuela Zude, editors, Proceedings 19. Workshop Computer-Bildanalyse in der Landwirtschaft und 2. Workshop Unbemannte autonom fliegende Systeme (UAS) in der Landwirtschaft, Bornimer Agrartechnische Berichte, Heft 81, pages 179--186, Beuth Hochschule für Technik Berlin, 2013.
[132] Falk Schmidsberger and Frieder Stolzenburg. Object recognition with multicopters. In Stefan Wölfl, editor, Poster and Demo Track of the 35th German Conference on Artificial Intelligence (KI--2012), pages 83--87, Saarbrücken, 2012. Received Best Poster and Demo Presentation Award. [ .pdf ]
[131] Thomas Barkowsky, Marco Ragni, and Frieder Stolzenburg, editors. Human Reasoning and Automated Deduction -- KI 2012 Workshop Proceedings, SFB/TR 8 Report No. 032-09/2012, Saarbrücken, 2012. [ .pdf ]
[130] Frieder Stolzenburg. Harmony perception by periodicity and granularity detection. In Emilios Cambouropolos, Costas Tsougras, Panayotis Mavromatis, and Konstantinos Pastiadis, editors, Proceedings of 12th International Conference on Music Perception and Cognition and 8th Triennial Conference of the European Society for the Cognitive Sciences of Music, pages 958--959, Thessaloniki, Greece, 2012. [ .pdf ]
[129] Frieder Stolzenburg. Harmony perception by periodicity and granularity detection. In Emilios Cambouropolos, Costas Tsougras, Panayotis Mavromatis, and Konstantinos Pastiadis, editors, 12th International Conference on Music Perception and Cognition and 8th Triennial Conference of the European Society for the Cognitive Sciences of Music, page 75, Thessaloniki, Greece, 2012. Book of Abstracts.
[128] Florian Ruh and Frieder Stolzenburg. Implementing hierarchical hybrid automata HHA into the robot operating system ROS for validation of multi-robot systems. In CogSys 2012 -- 5th International Conference on Cognitive Systems -- Collection of Posters, page 111, TU Wien, Austria, 2012. Poster.
[127] Frieder Stolzenburg and Florian Ruh, editors. 12. Nachwuchswissenschaftlerkonferenz mitteldeutscher Fachhochschulen, Hochschule Harz, Wernigerode, 2011. Koch-Druck, Halberstadt. Tagungsband. [ .pdf ]
[126] Falk Schmidsberger and Frieder Stolzenburg. Semantic object recognition in digital images. In Frieder Stolzenburg and Florian Ruh, editors, 12. Nachwuchswissenschaftlerkonferenz mitteldeutscher Fachhochschulen, pages 67--72, Hochschule Harz, Wernigerode, 2011. Koch-Druck, Halberstadt. [ .pdf ]
[125] Falk Schmidsberger and Frieder Stolzenburg. Semantic object recognition using clustering and decision trees. In Joaquim Filipe and Ana Fred, editors, Proceedings of 3rd International Conference on Agents and Artificial Intelligence, volume 1, pages 670--673, Rome, Italy, 2011.
[124] Frieder Stolzenburg. A periodicity-based approach on harmony perception including non-western scales. In Steven M. Demorest, Steven J. Morrison, and Patricia Sheehan Campbell, editors, Proceedings of 11th International Conference on Music Perception and Cognition, pages 683--687, Seattle, Washington, USA, 2010. [ .pdf ]
[123] Frieder Stolzenburg. A periodicity-based approach on harmony perception including non-western scales. In Steven M. Demorest, editor, 11th International Conference on Music Perception and Cognition -- Program & Abstract Book, page 109, Seattle, Washington, USA, 2010.
[122] Frieder Stolzenburg. Forschung an der Hochschule Harz (FH). Die Neue Hochschule (DNH), 51(2-3/10):56--57, 2010.
[121] Ammar Mohammed, Ulrich Furbach, and Frieder Stolzenburg. Multi-robot systems: Modeling, specification, and model checking. In Vladan Papic, editor, Robot Soccer, chapter 11, pages 241--266. IN-TECH, 2010. [ http ]
[120] Frieder Stolzenburg. Localization, exploration, and navigation based on qualitative angle information. Spatial Cognition and Computation: an Interdisciplinary Journal, 10(1):28--52, 2010. [ http ]
[119] Frieder Stolzenburg and Florian Ruh. Neural networks and continuous time. In CogSys 2010 -- 4th International Conference on Cognitive Systems -- Collection of Posters, page 42, ETH Zürich, Switzerland, 2010. Poster. [ .pdf ]
[118] Christian Schwarz, Ammar Mohammed, and Frieder Stolzenburg. A tool environment for specifying and verifying multi-agent systems. In Joaquim Filipe, Ana Fred, and Bernadette Sharp, editors, Proceedings of 2nd International Conference on Agents and Artificial Intelligence, volume 2, pages 323--326, Valencia, Spain, 2010.
[117] Frieder Stolzenburg. A periodicity-based theory for harmony perception and scales. In Keiji Hirata, George Tzanetakis, and Kazuyoshi Yoshii, editors, Proceedings of 10th International Society for Music Information Retrieval Conference, pages 87--92, Kobe, Japan, 2009. [ .pdf ]
[116] Frieder Stolzenburg and Florian Ruh. Neural networks and continuous time. In Klaus-Dieter Althoff, Kerstin Bach, and Meike Reichle, editors, KI 2009 -- 32nd Annual German Conference on Artificial Intelligence, Workshop Proceedings, page 19, Paderborn, 2009.
[115] Frieder Stolzenburg and Florian Ruh. Neural networks and continuous time. In Ute Schmid, Marco Ragni, and Markus Knauff, editors, Proceedings of KI 2009 Workshop Complex Cognition, Bamberger Beiträge zur Wirtschaftsinformatik und Angewandten Informatik 82, pages 25--36, Paderborn, 2009. Universität Bamberg. [ .pdf ]
[114] Ammar Mohammed and Frieder Stolzenburg. Using constraint logic programming for modeling and verifying hierarchical hybrid automata. Arbeitsberichte des Fachbereichs Informatik 6/2009, Universität Koblenz-Landau, 2009. [ .pdf ]
[113] Ammar Mohammed and Frieder Stolzenburg. Implementing hierarchical hybrid automata using constraint logic programming. In Sibylle Schwarz, editor, Proceedings of 22nd Workshop on (Constraint) Logic Programming, Technical Report 2008/08, pages 60--71, Dresden, 2008. University Halle Wittenberg, Institute of Computer Science. [ http ]
[112] Florian Ruh and Frieder Stolzenburg. Translating cooperative strategies for robot behavior. In Grzegorz J. Nalepa and Joachim Baumeister, editors, Proceedings of 4th Workshop on Knowledge Engineering and Software Engineering at 31st German Conference on Artificial Intelligence, CEUR Workshop Proceedings 425, pages 85--96, Kaiserslautern, 2008. [ .pdf ]
[111] Ulrich Furbach, Jan Murray, Falk Schmidsberger, and Frieder Stolzenburg. Model checking hybrid multiagent systems for the RoboCup. In Ubbo Visser, Fernando Ribeiro, Takeshi Ohashi, and Frank Dellaert, editors, RoboCup 2007: Robot Soccer World Cup XI, LNAI 5001, pages 262--269, Atlanta, GA, 2008. Springer. [ http ]
[110] Frieder Stolzenburg and Falk Schmidsberger. Agenten, Roboter und Künstliche Intelligenz. In Armin Willingmann, editor, Festschrift 15 Jahre Hochschule Harz, pages 138--145. Koch-Druck, Halberstadt, 2008.
[109] Christian Reinl, Florian Ruh, Frieder Stolzenburg, and Oskar von Stryk. Multi-robot systems optimization and analysis using MILP and CLP. In Pedro U. Lima, Nikos Vlassis, Matthijs Spaan, and Francisco S. Melo, editors, Workshop 1: Formal Models and Methods for Multi-Robot Systems at 7th International Joint Conference on Autonomous Agents and Multi-Agent Systems, pages 11--16, Estoril, Portugal, 2008. International Foundation for Autonomous Agents and Multi-Agent Systems (IFAAMAS). [ .pdf ]
[108] Frank Dylla, Alexander Ferrein, Gerhard Lakemeyer, Jan Murray, Oliver Obst, Thomas Röfer, Stefan Schiffer, Frieder Stolzenburg, Ubbo Visser, and Thomas Wagner. Approaching a formal soccer theory from behaviour specifications in robotic soccer. In Peter Dabnichcki and Arnold Baca, editors, Computers in Sport, pages 161--185. WIT Press, Southampton, Boston, 2008.
[107] Ulrich Furbach, Jan Murray, Falk Schmidsberger, and Frieder Stolzenburg. Hybrid multiagent systems with timed synchronization -- specification and model checking. In Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, and Michael Winikoff, editors, Post-Proceedings of 5th International Workshop on Programming Multi-Agent Systems at 6th International Joint Conference on Autonomous Agents and Multi-Agent Systems, LNAI 4908, pages 205--220, Honolulu, 2008. Springer. [ http ]
[106] Ulrich Furbach, Jan Murray, Falk Schmidsberger, and Frieder Stolzenburg. Hybrid multiagent systems with timed synchronization -- specification and model checking. In Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, and Michael Winikoff, editors, Proceedings of 5th International Workshop on Programming Multi-Agent Systems at 6th International Joint Conference on Autonomous Agents and Multi-Agent Systems, pages 170--185, Honolulu, Hawaii, 2007.
[105] Carlos I. Chesñevar, Jürgen Dix, Guillermo R. Simari, Ana G. Maguitman, Frieder Stolzenburg, Wojciech Jamroga, Sergio Alejandro Gómez, and Nils Bulling. Modelado de Inferencia y Preferencias en Sistemas Multiagentes utilizando Argumentación. In Zulema Rosanigo, editor, Proceedings of IX Workshop of Researchers in Computer Science, pages 134--137, Trelew, Argentina, 2007. Universidad Nacional de la Patagonia San Juan Bosco.
[104] Frieder Stolzenburg. Localization, exploration, and navigation based on qualitative angle information. In Patrick Olivier and Christian Kray, editors, Proceedings of AISB'07 Annual Convention -- Artificial and Ambient Intelligence, Symposium Spatial Reasoning and Communication, pages 479--484, Newcastle upon Tyne, 2007. Society for the Study of Artificial Intelligence and Simulation of Behaviour. [ .pdf ]
[103] Ulrich Furbach, Jan Murray, Falk Schmidsberger, and Frieder Stolzenburg. Hybrid multiagent systems with timed synchronization -- specification and model checking. Arbeitsberichte des Fachbereichs Informatik 14/2007, Universität Koblenz-Landau, 2007. [ .pdf ]
[102] Frieder Stolzenburg. Multi-robot system specification and analysis with hybrid state machines. In Hans-Dieter Burkhard, Martin Riedmiller, Uwe Schwiegelshohn, and Manuela Veloso, editors, Multi-Robot Systems: Perception, Behaviors, Learning, and Action, Dagstuhl Seminar 06251 Abstracts Collections, page 7, 2006. [ http ]
[101] 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. Issue editors: Fatima C. C. Dargam and Pascale Zarate. [ http ]
[100] Frieder Stolzenburg, editor. 2. Wernigeröder Automatisierungs- und Informatiktage, Harzer Hochschultexte 8, Hochschule Harz, Wernigerode, 2006. Koch-Druck, Halberstadt. Tagungsband.
[99] Jan Murray, Frieder Stolzenburg, and Toshiaki Arai. Hybrid state machines with timed synchronization for multi-robot system specification. KI, 20(3):45--50, 2006.
[98] Frieder Stolzenburg, editor. 7. Nachwuchswissenschaftlerkonferenz mitteldeutscher Fachhochschulen, Hochschule Harz, Wernigerode, 2006. Koch-Druck, Halberstadt. Tagungsband.
[97] Jan Murray and Frieder Stolzenburg. Hybrid state machines with timed synchronization for multi-robot system specification. In Carlos Bento, Amílcar Cardoso, and Gaël Dias, editors, Proceedings of 12th Portuguese Conference on Artificial Intelligence, pages 236--241, Covilhã, Portugal, 2005. Institute of Electrical and Electronics Engineers (IEEE), Inc.
[96] Frieder Stolzenburg. Multiagent systems and RoboCup: Specification, analysis, and theoretical results. Habilitation, Universität Koblenz-Landau, Koblenz, 2005. Reviewers: Armin Cremers, Ulrich Furbach, and Klaus Troitzsch. [ http ]
[95] Jan Murray, Frieder Stolzenburg, and Toshiaki Arai. Hybrid state machines with timed synchronization for multi-robot system specification. Fachberichte Informatik 14/2005, Universität Koblenz-Landau, 2005. [ .pdf ]
[94] Frieder Stolzenburg. Multiagent systems and decision making. In Proceedings of Joint Workshop on Decision Support Systems, Experimental Economics and e-Participation, page 126, Graz, Austria, 2005.
[93] 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 Daniele Nardi, Martin Riedmiller, Claude Sammut, and José Santos-Victor, editors, RoboCup 2004: Robot Soccer World Cup VIII, LNAI 3276, pages 611--618. Springer, 2005. [ http ]
[92] 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 Freek Stulp, Hans Utz, and Bernhard Nebel, editors, Proceedings of Workshop 9 Methods and Technology for Empirical Evaluation of Multi-Agent Systems and Multi-Robot Teams at KI 2004, pages 43--57, Ulm, 2004.
[91] 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. Fachberichte Informatik 6/2004, Universität Koblenz-Landau, 2004. [ .pdf ]
[90] Frieder Stolzenburg. Specifying agent systems (with and without coach). In Jürgen Dix, Thomas Eiter, and Enrico Franconi, editors, Logic Based Information Agents, Dagstuhl Seminar 04171 Abstracts Collections, page 8, 2004. [ http ]
[89] Frieder Stolzenburg, Jan Murray, and Karsten Sturm. Multiagent matching algorithms with and without coach. Fachberichte Informatik 17/2003, Universität Koblenz-Landau, 2003. [ .pdf ]
[88] 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. [ http ]
[87] Frieder Stolzenburg, Jan Murray, and Karsten Sturm. Multiagent matching algorithms with and without coach. 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 192--204, Erfurt, 2003. Springer. [ http ]
[86] 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. [ http ]
[85] Frieder Stolzenburg. Specification and analysis of multi-agent systems. In Jürgen Dix, Michael Fisher, and Yingqian Zhang, editors, Logic-Based Programming of Multi-Agent Systems, Dagstuhl Seminar Report 361: Abstract of Talk, page 15, 2003. [ .pdf ]
[84] 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. [ http ]
[83] 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. [ http ]
[82] Toshiaki Arai and Frieder Stolzenburg. Multiagent systems specification by UML statecharts aiming at intelligent manufacturing. In Proceedings of 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems, volume 1, pages 11--18, Bologna, Italy, 2002. ACM Press. [ http ]
[81] Jan Murray, Oliver Obst, and Frieder Stolzenburg. RoboLog Koblenz 2002 -- short team description. In Gal A. Kaminka, Pedro U. Lima, and Raul Rojas, editors, RoboCup 2002: Robot Soccer World Cup VI, page 543, Fukuoka, Japan, 2002. Pre-Proceedings.
[80] Frieder Stolzenburg and Karsten Sturm. RoboLog Koblenz 2002 -- coach description. In Gal A. Kaminka, Pedro U. Lima, and Raul Rojas, editors, RoboCup 2002: Robot Soccer World Cup VI, page 508, Fukuoka, Japan, 2002. Pre-Proceedings.
[79] Jan Murray, Oliver Obst, and Frieder Stolzenburg. RoboLog Koblenz 2001. In Andreas Birk, Silvia Coradeschi, and Satoshi Tadokoro, editors, RoboCup 2001: Robot Soccer World Cup V, LNAI 2377, pages 526--530. Springer, Berlin, Heidelberg, New York, 2002. Team description. [ http ]
[78] Frieder Stolzenburg, Oliver Obst, and Jan Murray. Qualitative velocity and ball interception. Fachberichte Informatik 4/2002, Universität Koblenz-Landau, 2002. [ .pdf ]
[77] Toshiaki Arai and Frieder Stolzenburg. Multiagent systems specification by UML statecharts aiming at intelligent manufacturing. Fachberichte Informatik 12/2001, Universität Koblenz-Landau, 2001. [ .pdf ]
[76] Frieder Stolzenburg. From the specification of multiagent systems by statecharts to their formal analysis by model checking. Fachberichte Informatik 6/2001, Universität Koblenz-Landau, 2001. [ .pdf ]
[75] 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. [ http ]
[74] Jan Murray, Oliver Obst, and Frieder Stolzenburg. RoboLog Koblenz 2000. In Peter Stone, Tucker Balch, and Gerhard Kraetzschmar, editors, RoboCup 2000: Robot Soccer World Cup IV, LNAI 2019, pages 469--472. Springer, Berlin, Heidelberg, New York, 2001. Team description. [ http ]
[73] Frieder Stolzenburg. Reasoning about cognitive robotics systems. In Reinhard Moratz and Bernhard Nebel, editors, Themenkolloquium Kognitive Robotik und Raumrepräsentation des DFG-Schwerpunktprogramms Raumkognition, Hamburg, 2001.
[72] Carlos I. Chesñevar, Jürgen Dix, Frieder Stolzenburg, and Guillermo R. Simari. Relating defeasible and normal logic programming through transformation properties. Fachberichte Informatik 3/2001, Universität Koblenz-Landau, 2001. [ .pdf ]
[71] 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.
[70] Frieder Stolzenburg, Alejandro J. García, Carlos I. Chesñevar, and Guillermo R. Simari. Introducing generalized specificity in logic programming. In Guillermo E. Feierherd, editor, Proceedings of 6th Argentine Congress on Computer Science, pages 359--370, Ushuaia, Argentina, 2000. JAIIO, Buenos Aires.
[69] Carlos I. Chesñevar, Jürgen Dix, Frieder Stolzenburg, and Guillermo R. Simari. Relating defeasible and normal logic programming through transformation properties. In Guillermo E. Feierherd, editor, Proceedings of 6th Argentine Congress on Computer Science, pages 371--382, Ushuaia, Argentina, 2000. JAIIO, Buenos Aires.
[68] Jan Murray, Oliver Obst, and Frieder Stolzenburg. Towards a logical approach for soccer agents engineering. In Tucker Balch, Peter Stone, and Gerhard Kraetzschmar, editors, Proceedings of 4th International Workshop on RoboCup, pages 90--99, Melbourne, 2000.
[67] Jan Murray, Oliver Obst, and Frieder Stolzenburg. Towards a logical approach for soccer agents engineering. Fachberichte Informatik 6/2000, Universität Koblenz-Landau, 2000. [ .pdf ]
[66] 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 World Cup III, LNAI 1856, pages 481--494. Springer, Berlin, Heidelberg, New York, 2000. [ http ]
[65] Jan Murray, Oliver Obst, and Frieder Stolzenburg. RoboLog Koblenz. In Manuela Veloso, Enrico Pagello, and Hiroaki Kitano, editors, RoboCup-99: Robot Soccer World Cup III, LNAI 1856, pages 628--631. Springer, Berlin, Heidelberg, New York, 2000. Team description. [ http ]
[64] Frieder Stolzenburg, Alejandro J. García, Carlos I. Chesñevar, and Guillermo R. Simari. Introducing generalized specificity in logic programming. Fachberichte Informatik 4/2000, Universität Koblenz-Landau, 2000. [ .pdf ]
[63] Jan Murray, Oliver Obst, and Frieder Stolzenburg. RoboLog Koblenz 2000. In Wiebe van der Hoek, editor, Proceedings of Workshop for the Robocup European Championship. Vrije Universiteit Amsterdam, 2000. Team description.
[62] Frieder Stolzenburg. Clause and effect -- Prolog programming for the working programmer. KI, 14(1):65, 2000. Buchrezension.
[61] Jan Murray, Frieder Stolzenburg, Oliver Obst, and Björn Bremer. RoboLog Koblenz: Complex agent scripts implemented in logic. In Stefan Sablatnög and Stefan Enderle, editors, Proceedings of Workshop RoboCup at KI'99, SFB 527 Report 1999/12, pages 12--25, Bonn, 1999. Universität Ulm.
[60] Oliver Obst and Frieder Stolzenburg. Der RoboCup während der IJCAI'99. KI, 13(4):66--67, 1999. Tagungsbericht.
[59] Frieder Stolzenburg, Oliver Obst, Jan Murray, and Björn Bremer. RoboLog Koblenz: Spatial agents implemented in a logical expressible language. In Silvia Coradeschi, Tucker Balch, Gerhard Kraetzschmar, and Peter Stone, editors, Team Descriptions --- Simulation League, pages 116--120. Linköping University Electronic Press, 1999. [ .html ]
[58] Frieder Stolzenburg, Oliver Obst, Jan Murray, and Björn Bremer. Spatial agents implemented in a logical expressible language. In Manuela M. Veloso, editor, Proceedings of 3rd International Workshop on RoboCup at 16th Joint International Conference on Artificial Intelligence, pages 205--210, Stockholm, 1999. IJCAI press.
[57] Frieder Stolzenburg, Oliver Obst, Jan Murray, and Björn Bremer. Spatial agents implemented in a logical expressible language. Fachberichte Informatik 4/99, Universität Koblenz-Landau, 1999. [ .pdf ]
[56] Jürgen Dix, Frieder Stolzenburg, Guillermo R. Simari, and Pablo R. Fillottrani. Automating defeasible reasoning with logic programming (DeReLoP). In Stefan Jähnichen and Irene Loiseau, editors, Proceedings of 2nd German-Argentinian Workshop on Information Technology, pages 39--46, Königswinter, 1999.
[55] 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. Issue editors: Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, and Wolfgang Reif. [ http ]
[54] Frieder Stolzenburg. Loop-detection in hyper-tableaux by powerful model generation. Fachberichte Informatik 2/99, Universität Koblenz-Landau, 1999. [ .pdf ]
[53] Frieder Stolzenburg. Declarativity and constraints in a multi-agent system architecture for spatial reasoning. In Christoph Schlieder, editor, Themenkolloquium Räumliche Inferenz des DFG-Schwerpunktprogramms Raumkognition: Beiträge zur Gestaltung der Schnittstelle zwischen maschinellem und mentalem Problemlösen, Freiburg, 1999.
[52] Frieder Stolzenburg. An algorithm for general set unification and its complexity. Journal of Automated Reasoning, 22(1):45--63, 1999. [ http ]
[51] Peter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Micha Kühn, Frieder Stolzenburg, and Bernd Thomas. Automated deduction: A technological point of view. KI, 12(4):7--14, 1998.
[50] Jürgen Dix and Frieder Stolzenburg. A framework to incorporate non-monotonic reasoning into constraint logic programming. Journal of Logic Programming, 37(1-3):47--76, 1998. Special issue on Constraint Logic Programming. Issue editors: Kim Marriott and Peter J. Stuckey. [ http ]
[49] Oliver Obst, Jan Murray, Frieder Stolzenburg, and Björn Bremer. Towards deduction in RoboCup. In Proceedings of RoboCup Workshop at KI'98, Bremen, 1998.
[48] Frieder Stolzenburg. A flexible system for constraint disjunctive logic programming. KI, 12(2):73--78, 1998.
[47] Frieder Stolzenburg and Bernd Thomas. Analyzing rule sets for the calculation of banking fees by a theorem prover with constraints. In Wolfgang Bibel and Peter H. Schmitt, editors, Automated Deduction -- A Basis for Applications. Volume III: Applications, Applied Logic Series 10, pages 243--264. Kluwer Academic, Dordrecht, The Netherlands, 1998. Final Report of DFG-Schwerpunktprogramm Deduktion.
[46] Frieder Stolzenburg. Loop-detection in hyper-tableaux by powerful model generation. In Nikolaj S. Bjørner, Reiner Hähnle, Wolfram Menzel, Wolfgang Reif, and Peter H. Schmitt, editors, Proceedings of Workshop on Integration of Deductive Systems at 15th International Conference on Automated Deduction, pages 76--84, Lindau, Germany, 1998.
[45] Ulrich Furbach, Michael Kühn, and Frieder Stolzenburg. Model-guided proof debugging. Fachberichte Informatik 6/98, Universität Koblenz-Landau, 1998.
[44] Frieder Stolzenburg. Constraint-Programmierung. KI, 12(1):63, 1998. Buchrezension.
[43] Frieder Stolzenburg. Disjunctive Logic Programming with Constraints and its Applications. Koblenzer Schriften zur Informatik 7. Fölbach, Koblenz, 1998. Dissertation. Reviewers: Ulrich Furbach and Joxan Jaffar. [ .pdf ]
[42] Frieder Stolzenburg, Stephan Höhne, Ulrich Koch, and Martin Volk. Constraint logic programming for computational linguistics. In Christian Retoré, editor, Selected Papers of 1st International Conference on Logical Aspects of Computational Linguistics 1996, LNAI 1328, pages 406--425, Nancy, 1997. Springer. [ http ]
[41] Frieder Stolzenburg and Oliver Obst. Reasoning with constraints and well-founded negation. In Documents of ERCIM/Compulog Workshop on Constraints, Schloss Hagenberg, Linz, 1997.
[40] Frieder Stolzenburg and Oliver Obst. Reasoning with constraints and well-founded negation. In Peter Baumgartner, editor, Jahrestreffen der GI-Fachgruppe 1.2.1 Deduktionssysteme -- Kurzfassungen der Vorträge, Fachberichte Informatik 23/97, pages 9--10, Schloss Dagstuhl, 1997. Universität Koblenz-Landau.
[39] Jürgen Dix and Frieder Stolzenburg. A framework to incorporate non-monotonic reasoning into constraint logic programming. Fachberichte Informatik 16/97, Universität Koblenz-Landau, 1997.
[38] Jürgen Dix and Frieder Stolzenburg. Computation of non-ground disjunctive well-founded semantics with constraint logic programming. In Jürgen Dix, Luís Moniz Pereira, and Teodor C. Przymusinski, editors, Selected Papers of Workshop on Non-Monotonic Extensions of Logic Programming at Joint International Conference and Symposium on Logic Programming 1996, LNAI 1216, pages 202--226, Bad Honnef, 1997. Springer. [ http ]
[37] Peter Baumgartner, Ulrich Furbach, and Frieder Stolzenburg. Computing answers with model elimination. Artificial Intelligence, 90(1-2):135--176, 1997. [ http ]
[36] Frieder Stolzenburg, Stephan Höhne, Ulrich Koch, and Martin Volk. Constraint logic programming for computational linguistics. Fachberichte Informatik 26/96, Universität Koblenz-Landau, 1996.
[35] Frieder Stolzenburg. A flexible system for constraint disjunctive logic programming. Fachberichte Informatik 19/96, Universität Koblenz-Landau, 1996.
[34] Frieder Stolzenburg, Stephan Höhne, Ulrich Koch, and Martin Volk. Constraint logic programming for computational linguistics. In Christian Retoré, editor, Proceedings of Conference on Logical Aspects of Computational Linguistics, pages 19--23, Nancy, 1996. INRIA Lorraine and CRIN-C.N.R.S.
[33] Frieder Stolzenburg. A flexible system for constraint disjunctive logic programming. In Ulrich Geske and Helmut Simonis, editors, Deklarative Constraint-Programmierung -- Workshop der FG 1.1.1 der GI zur KI-96, GMD-Studien 297, pages 43--58, Dresden, 1996.
[32] Frieder Stolzenburg. Ein flexibles System zur Disjunktiven Logischen Programmierung mit Constraints. In Michael Thielscher and Sven-Erik Bornscheuer, editors, Fortschritte der Künstlichen Intelligenz, page 50. Dresden University Press, 1996. Aus den Workshops der 20. Deutschen Jahrestagung für Künstliche Intelligenz.
[31] Jürgen Dix and Frieder Stolzenburg. Computation of non-ground disjunctive well-founded semantics with constraint logic programming. In Jürgen Dix, Luís Moniz Pereira, and Teodor C. Przymusinski, editors, Proceedings of Workshop on Non-Monotonic Extensions of Logic Programming at Joint International Conference and Symposium on Logic Programming, Fachberichte Informatik 17/96, pages 143--160, Bad Honnef, Germany, 1996. Universität Koblenz-Landau.
[30] Chandrabose Aravindan, Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, and Frieder Stolzenburg. On merging theorem proving and logic programming paradigms. In Norbert E. Fuchs and Ulrich Geske, editors, Proceedings of Poster Session at Joint International Conference and Symposium on Logic Programming, GMD-Studien 296, pages 99--122, Bad Honnef, 1996.
[29] Chandrabose Aravindan, Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, and Frieder Stolzenburg. On merging theorem proving and logic programming paradigms. In Michael Maher, editor, Proceedings of Joint International Conference and Symposium on Logic Programming, page 546, Bad Honnef, 1996. MIT Press, Cambridge, MA, London. Poster.
[28] Jürgen Dix and Frieder Stolzenburg. Computation of non-ground disjunctive well-founded semantics with constraint logic programming. In Jürgen Dix, Donald W. Loveland, Jack Minker, and David S. Warren, editors, Disjunctive Logic Programming and Databases: Non-Monotonic Aspects, Dagstuhl Seminar Report 150: Abstract of Talk, page 21, 1996. [ .pdf ]
[27] Frieder Stolzenburg and Bernd Thomas. Analysing rule sets for the calculation of banking fees by a theorem prover with constraints. In Proceedings of 2nd International Conference on Practical Application of Constraint Technology, pages 269--282, London, 1996. Practical Application Company.
[26] Frieder Stolzenburg. Membership-constraints and complexity in logic programming with sets. In Franz Baader and Klaus U. Schulz, editors, Frontiers in Combining Systems, Applied Logic Series 3, pages 285--302. Kluwer Academic, Dordrecht, The Netherlands, 1996.
[25] Frieder Stolzenburg. Die maschinelle Kunst des Denkens: Perspektiven und Grenzen der Künstlichen Intelligenz. KI, 10(2):51, 1996. Buchrezension.
[24] Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, and Frieder Stolzenburg. Deduktion und Logisches Programmieren. KI, 10(2):34--39, 1996.
[23] Peter Baumgartner and Frieder Stolzenburg. Jahrestreffen der GI-Fachgruppe 1.2.1 Deduktion. KI, 9(6):80--81, 1995. Tagungsbericht.
[22] Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, and Frieder Stolzenburg. Deduktion und Logisches Programmieren. Fachberichte Informatik 17/95, Universität Koblenz-Landau, 1995.
[21] Frieder Stolzenburg and Bernd Thomas. Analysing rule sets for the calculation of banking fees by a theorem prover with constraints. Fachberichte Informatik 14/95, Universität Koblenz-Landau, 1995.
[20] Frieder Stolzenburg. Membership-constraints and complexity in logic programming with sets. Fachberichte Informatik 13/95, Universität Koblenz-Landau, 1995.
[19] Peter Baumgartner, Ulrich Furbach, and Frieder Stolzenburg. Model elimination, logic programming and computing answers. In Proceedings of 14th International Joint Conference on Artificial Intelligence, volume 1, pages 335--340, Montréal, 1995. IJCAI Inc., San Mateo, CA, Morgan Kaufmann, Los Altos, CA.
[18] Peter Baumgartner and Frieder Stolzenburg. Constraint model elimination and a PTTP-implementation. In Peter Baumgartner, Reiner Hähnle, and Joachim Posegga, editors, Proceedings of 4th Workshop on Theorem Proving with Analytic Tableaux and Related Methods, LNAI 918, pages 201--216. Springer, 1995. [ http ]
[17] Peter Baumgartner, Ulrich Furbach, and Frieder Stolzenburg. Computing answers and logic programming by model elimination based theorem proving. In Andrew Ireland, editor, Working Notes of 2nd Workshop on Automated reasoning: Bridging the gap between theory and practice, pages 3--4, Sheffield, 1995. Society for the Study of Artificial Intelligence and Simulation of Behaviour.
[16] Peter Baumgartner, Ulrich Furbach, and Frieder Stolzenburg. Model elimination, logic programming and computing answers. Fachberichte Informatik 1/95, Universität Koblenz-Landau, 1995.
[15] Peter Baumgartner and Frieder Stolzenburg. Constraint model elimination and a PTTP-implementation. In Jean Jourdan, Pierre Lim, and Roland H. C. Yap, editors, Proceedings of Workshop on Constraint Languages and their Use in Problem Modelling at International Logic Programming Symposium, volume 2, pages 217--231, Ithaca, NY, 1994. Department of Computer Science, University of Melbourne. Technical Report 94/19.
[14] Frieder Stolzenburg and Peter Baumgartner. Constraint model elimination and a PTTP-implementation. Fachberichte Informatik 10/94, Universität Koblenz-Landau, 1994.
[13] Frieder Stolzenburg. Logic programming with sets by membership-constraints. In Norbert E. Fuchs and Georg Gottlob, editors, Proceedings of 10th Logic Programming Workshop, Technical Report ifi 94.10, pages 48--51, Universität Zürich, 1994. Institut für Informatik.
[12] Peter Baumgartner, Jürgen Dix, Ulrich Furbach, and Frieder Stolzenburg. The spectrum of model elimination based theorem proving. In Wolfgang Bibel and Christoph Walter, editors, Informal Proceedings of 11th Annual Meeting of GI-Fachgruppe Deduktionssysteme, Technical Report AIDA-94-06, page 5, Darmstadt, 1994. Technische Hochschule Darmstadt.
[11] Peter Baumgartner, Ulrich Furbach, and Frieder Stolzenburg. Applications of theory reasoning in model elimination. In Peter Baumgartner, Hans-Jürgen Bürckert, Hubert Comon, Alan Frisch, Ulrich Furbach, Neil Murray, Uwe Petermann, and Mark Stickel, editors, Proceedings of Workshop Theory Reasoning in Automated Deduction, at 12th International Conference on Automated Deduction, Fachberichte Informatik 8/94, pages 7--13, Nancy, 1994. Universität Koblenz-Landau.
[10] Frieder Stolzenburg. Grammatikentwicklung mit Constraint-Logikprogrammierung. KI, 8(3):75--76, 1994. Buchrezension.
[9] Frieder Stolzenburg. Membership-constraints and some applications. Fachberichte Informatik 5/94, Universität Koblenz-Landau, 1994.
[8] Frieder Stolzenburg. Tautologie-Pruning. In Peter Baumgartner, editor, Workshop PTTP-basiertes Theorembeweisen, Fachberichte Informatik 7/93. Universität Koblenz-Landau, 1993.
[7] Frieder Stolzenburg. An algorithm for general set unification and its complexity. Fachberichte Informatik 3/93, Universität Koblenz-Landau, 1993.
[6] Frieder Stolzenburg. An algorithm for general set unification and its complexity. In Eugenio G. Omodeo and Gianfranco Rossi, editors, Proceedings of Workshop on Logic Programming with Sets at 10th International Conference on Logic Programming, pages 17--22, Budapest, 1993.
[5] Frieder Stolzenburg. Typisierte Merkmalstrukturen und HPSG: Eine Erweiterung von UBS in SEPIA. Diplomarbeit D 192, Fachbereich Informatik, Universität Koblenz-Landau, 1992. Reviewers: Martin Volk and Ulrich Furbach. [ .pdf ]
[4] Frieder Stolzenburg, Alexander Bach, Christian Lieske, Hanno Ridder, and Martin Volk. 3rd European Summer School on Language, Logic and Information, Saarbrücken 1991. KI, 6(1):46--47, 1992. Tagungsbericht.
[3] Frieder Stolzenburg. UBS -- a unification-based language for the implementation of HPSG. Fachberichte Informatik 2/92, Universität Koblenz-Landau, 1992.
[2] Frieder Stolzenburg and Martin Volk. UBS -- Eine unifikationsbasierte Sprache zur Implementation von HPSG. Journal of Language Technology and Computational Linguistics (LDV-Forum), 9(1):10--13, 1992. [ .pdf ]
[1] Frieder Stolzenburg. UBS -- Eine unifikationsbasierte Sprache zur Implementation von HPSG. Studienarbeit S 212, Fachbereich Informatik, Universität Koblenz-Landau, 1991.