Frieder Stolzenburg

91 papers A* 2A 1B 1C 10Misc 3Journal 41Unranked 22

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A multi-class deep learning segmentation approach for automated analysis of axial and lateral roots in barley plants. Comput. Electron. Agric. Narendra Narisetti, Kerstin Neumann, Thomas Altmann, Frieder Stolzenburg, Nicolaus von Wirén, Ricardo Fabiano Giehl, Evgeny Gladilin
2026	Misc	`ed.`	KI 2025: Advances in Artificial Intelligence - 48th German Conference on AI, Potsdam, Germany, September 16-19, 2025, Proceedings KI Tanya Braun, Benjamin Paaßen, Frieder Stolzenburg
2025	J	`jnl`	Efficient time-series approximation with linear recurrent neural networks: architecture learning and predictive power. Neural Comput. Appl. Frieder Stolzenburg, Sandra Litz, Olivia Michael, Oliver Obst
2024	J	`jnl`	Formal and cognitive reasoning. Int. J. Approx. Reason. Christoph Beierle, Marco Ragni, Kai Sauerwald, Frieder Stolzenburg, Matthias Thimm
2024	J	`jnl`	From Data to Commonsense Reasoning: The Use of Large Language Models for Explainable AI. CoRR Stefanie Krause, Frieder Stolzenburg
2023	—	`conf`	Commonsense Reasoning and Explainable Artificial Intelligence Using Large Language Models. ECAI Workshops (1) Stefanie Krause, Frieder Stolzenburg
2023	—	`conf`	Entwicklung interdisziplinärer Module in der Hochschulbildung. GI-Jahrestagung Stefanie Krause, Simon Adler, Johannes Bühl, René Schenkendorf, Kerstin Schneider, Frieder Stolzenburg, Fabian Transchel
2023	J	`jnl`	Joining Formal and Cognitive Reasoning. FLAP Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
2023	—	`ed.`	Proceedings of the 9th Workshop on Formal and Cognitive Reasoning co-located with the 46th German Conference on Artificial Intelligence (KI 2023), Berlin, Germany, September 26, 2023. FCR@KI Christoph Beierle, Kai Sauerwald, François Schwarzentruber, Frieder Stolzenburg
2022	—	`ed.`	Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022. FCR@KI Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Kai Sauerwald, Matthias Thimm
2021	—	`conf`	Fast Classification Learning with Neural Networks and Conceptors for Speech Recognition and Car Driving Maneuvers. MIWAI Stefanie Krause, Oliver Otto, Frieder Stolzenburg
2021	J	`jnl`	Fast Classification Learning with Neural Networks and Conceptors for Speech Recognition and Car Driving Maneuvers. CoRR Stefanie Krause, Oliver Otto, Frieder Stolzenburg
2021	Misc	`conf`	Negation in Cognitive Reasoning. KI Claudia Schon, Sophie Siebert, Frieder Stolzenburg
2021	—	`ed.`	Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021. FCR@KI Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
2020	J	`jnl`	Negation in Cognitive Reasoning. CoRR Claudia Schon, Sophie Siebert, Frieder Stolzenburg
2020	J	`jnl`	Periodicity Pitch Detection in Complex Harmonies on EEG Timeline Data. CoRR Maria Heinze, Lars Hausfeld, Rainer Goebel, Frieder Stolzenburg
2020	—	`ed.`	Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020. FCR@KI Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
2019	J	`jnl`	Cognitive Reasoning: A Personal View. Künstliche Intell. Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon, Frieder Stolzenburg
2019	C	`conf`	Commonsense Reasoning Using Theorem Proving and Machine Learning. CD-MAKE Sophie Siebert, Claudia Schon, Frieder Stolzenburg
2019	—	`ed.`	Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019) co-located with 44nd German Conference on Artificial Intelligence (KI 2019), Kassel, Germany, September 23, 2019. DKB/KIK@KI Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
2019	J	`jnl`	The CoRg Project: Cognitive Reasoning. Künstliche Intell. Claudia Schon, Sophie Siebert, Frieder Stolzenburg
2019	—	`conf`	Using ConceptNet to Teach Common Sense to an Automated Theorem Prover. ARCADE@CADE Claudia Schon, Sophie Siebert, Frieder Stolzenburg
2018	—	`conf`	CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning. LuxLogAI (Student / Workshop Papers) Sophie Siebert, Frieder Stolzenburg
2018	J	`jnl`	Predictive Neural Networks. CoRR Frieder Stolzenburg, Olivia Michael, Oliver Obst
2018	—	`ed.`	Proceedings of the 7th Workshop on Dynamics of Knowledge and Belief (DKB-2018) and the 6th Workshop KI & Kognition (KIK-2018) co-located with 41st German Conference on Artificial Intelligence (KI 2018), Berlin, Germany, September 25, 2018. DKB/KIK@KI Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
2018	C	`conf`	RoboCupSimData: Software and Data for Machine Learning from RoboCup Simulation League. RoboCup Olivia Michael, Oliver Obst, Falk Schmidsberger, Frieder Stolzenburg
2017	C	`conf`	Analysing Soccer Games with Clustering and Conceptors. RoboCup Olivia Michael, Oliver Obst, Falk Schmidsberger, Frieder Stolzenburg
2017	J	`jnl`	Analysing Soccer Games with Clustering and Conceptors. CoRR Olivia Michael, Oliver Obst, Falk Schmidsberger, Frieder Stolzenburg
2017	—	`ed.`	Proceedings of the 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and the 5th Workshop KI & Kognition (KIK-2017) co-located with 40th German Conference on Artificial Intelligence (KI 2017), Dortmund, Germany, September 26, 2017. DKB/KIK@KI Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg
2017	J	`jnl`	RoboCupSimData: A RoboCup soccer research dataset. CoRR Olivia Michael, Oliver Obst, Falk Schmidsberger, Frieder Stolzenburg
2017	—	`conf`	Syllogistic Reasoning in Seven Spaces. DKB/KIK@KI Frieder Stolzenburg, Raimund Lüderitz
2016	J	`jnl`	A series of revisions of David Poole's specificity. Ann. Math. Artif. Intell. Claus-Peter Wirth, Frieder Stolzenburg
2016	—	`ed.`	Multi-disciplinary Trends in Artificial Intelligence - 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings MIWAI Chattrakul Sombattheera, Frieder Stolzenburg, Fangzhen Lin, Abhaya C. Nayak
2016	J	`jnl`	Neural Networks and Continuous Time. CoRR Frieder Stolzenburg, Florian Ruh
2015	J	`jnl`	Automated Reasoning for Robot Ethics. CoRR Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
2015	J	`jnl`	Higher-Level Cognition and Computation: A Survey. Künstliche Intell. Marco Ragni, Frieder Stolzenburg
2015	—	`ed.`	Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI & Kognition (KIK-2015) co-located with 38th German Conference on Artificial Intelligence (KI-2015), Dresden, Germany, September 22, 2015. DKB/KIK@KI Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg
2015	J	`jnl`	Special Issue on Higher-Level Cognition and Computation. Künstliche Intell. Marco Ragni, Frieder Stolzenburg
2015	J	`jnl`	The RatioLog Project - Rational Extensions of Logical Reasoning. CoRR Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth
2015	J	`jnl`	The RatioLog Project: Rational Extensions of Logical Reasoning. Künstliche Intell. Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth
2014	—	`conf`	Automated Reasoning in Deontic Logic. MIWAI Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
2014	J	`jnl`	Automated Reasoning in Deontic Logic. CoRR Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
2014	J	`jnl`	Cognitive Systems and Question Answering. CoRR Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
2014	A*	`conf`	David Poole's Specificity Revised. KR Claus-Peter Wirth, Frieder Stolzenburg
2013	J	`jnl`	David Poole's Specifity Revised. CoRR Claus-Peter Wirth, Frieder Stolzenburg
2013	J	`jnl`	Harmony Perception by Periodicity Detection. CoRR Frieder Stolzenburg
2013	—	`ed.`	Proceedings of the KI 2013 Workshop on Visual and Spatial Cognition KIK - KI & Kognition Workshop Series co-located with 36th German Conference on Artificial Intelligence (KI 2013), Koblenz, Germany, September 17, 2013. KIK@KI Marco Ragni, Michael Raschke, Frieder Stolzenburg
2013	—	`conf`	Semantic Object Recognition with Segment Faces. KIK@KI Falk Schmidsberger, Frieder Stolzenburg
2011	—	`conf`	Semantic Object Recognition using Clustering and Decision Trees. ICAART (1) Falk Schmidsberger, Frieder Stolzenburg
2010	—	`conf`	A Tool Environment for Specifying and Verifying Multi-agent Systems. ICAART (2) Christian Schwarz, Ammar Mohammed, Frieder Stolzenburg
2010	J	`jnl`	Localization, Exploration, and Navigation Based on Qualitative Angle Information. Spatial Cogn. Comput. Frieder Stolzenburg
2009	—	`conf`	A Periodicity-based Theory for Harmony Perception and Scales. ISMIR Frieder Stolzenburg
2008	—	`conf`	Translating Cooperative Strategies for Robot Behavior. KESE Florian Ruh, Frieder Stolzenburg
2007	—	`conf`	Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking. PROMAS Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
2007	C	`conf`	Model Checking Hybrid Multiagent Systems for the RoboCup. RoboCup Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
2006	J	`jnl`	Hybrid State Machines with Timed Synchronization for Multi-Robot System Specification. Künstliche Intell. Jan Murray, Frieder Stolzenburg, Toshiaki Arai
2006	J	`jnl`	Multiagent Matching Algorithms with and without Coach. J. Decis. Syst. Frieder Stolzenburg, Jan Murray, Karsten Sturm
2004	C	`conf`	Towards a League-Independent Qualitative Soccer Theory for RoboCup. RoboCup Frank Dylla, Alexander Ferrein, Gerhard Lakemeyer, Jan Murray, Oliver Obst, Thomas Röfer, Frieder Stolzenburg, Ubbo Visser, Thomas Wagner
2003	J	`jnl`	Computing Generalized Specificity. J. Appl. Non Class. Logics Frieder Stolzenburg, Alejandro Javier García, Carlos Iván Chesñevar, Guillermo Ricardo Simari
2003	—	`conf`	From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications. MATES Frieder Stolzenburg, Toshiaki Arai
2003	—	`conf`	Multiagent Matching Algorithms with and without Coach. MATES Frieder Stolzenburg, Jan Murray, Karsten Sturm
2003	J	`jnl`	Relating defeasible and normal logic programming through transformation properties. Theor. Comput. Sci. Carlos Iván Chesñevar, Jürgen Dix, Frieder Stolzenburg, Guillermo Ricardo Simari
2002	A	`conf`	Multiagent systems specification by UML statecharts aiming at intelligent manufacturing. AAMAS Toshiaki Arai, Frieder Stolzenburg
2002	Misc	`conf`	Qualitative Velocity and Ball Interception. KI Frieder Stolzenburg, Oliver Obst, Jan Murray
2001	C	`conf`	RoboLog Koblenz 2001. RoboCup Jan Murray, Oliver Obst, Frieder Stolzenburg
2000	J	`jnl`	Clause and Effect - Prolog Programming for the Working Programmer. Künstliche Intell. Frieder Stolzenburg
2000	J	`jnl`	Intelligente Agenten und KI. LOG IN Ulrich Furbach, Oliver Obst, Frieder Stolzenburg
2000	C	`conf`	RoboLog Koblenz 2000. RoboCup Jan Murray, Oliver Obst, Frieder Stolzenburg
2000	C	`conf`	Towards a Logical Approach for Soccer Agents Engineering. RoboCup Jan Murray, Oliver Obst, Frieder Stolzenburg
1999	J	`jnl`	An Algorithm for General Set Unification and Its Complexity. J. Autom. Reason. Frieder Stolzenburg
1999	—	`conf`	Automating Defeasible Reasoning with Logic Programming. German-Argentinian Workshop on Information Technology Jürgen Dix, Frieder Stolzenburg, Guillermo Ricardo Simari, Pablo R. Fillottrani
1999	J	`jnl`	Der RoboCup während der IJCAI '99. Künstliche Intell. Oliver Obst, Frieder Stolzenburg
1999	J	`jnl`	Loop-Detection in Hyper-Tableaux by Powerful Model Generation. J. Univers. Comput. Sci. Frieder Stolzenburg
1999	C	`conf`	RoboLog Koblenz. RoboCup Jan Murray, Oliver Obst, Frieder Stolzenburg
1999	C	`conf`	Spatial Agents Implemented in a Logical Expressible Language. RoboCup Frieder Stolzenburg, Oliver Obst, Jan Murray, Björn Bremer
1998	J	`jnl`	A Flexible System for Constraint Disjunctive Logic Programming. Künstliche Intell. Frieder Stolzenburg
1998	J	`jnl`	A Framework to Incorporate Non-Monotonic Reasoning Into Constraint Logic Programming. J. Log. Program. Jürgen Dix, Frieder Stolzenburg
1998	J	`jnl`	Automated Deduction: a Technological Point of View. Künstliche Intell. Peter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Michael Kühn, Frieder Stolzenburg, Bernd Thomas
1998	—	`—`	Disjunctive logic programming with constraints and its applications. Frieder Stolzenburg
1997	J	`jnl`	Computing Answers with Model Elimination. Artif. Intell. Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg
1996	—	`conf`	Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming. NMELP Jürgen Dix, Frieder Stolzenburg
1996	—	`conf`	Constraint Logic Programming for Computational Linguistics. LACL Frieder Stolzenburg, Stephan Höhne, Ulrich Koch, Martin Volk
1996	J	`jnl`	Deduktion und Logisches Programmieren. Künstliche Intell. Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg
1996	—	`conf`	Membership-Constraints and Complexity in Logic Programming with Sets. FroCoS Frieder Stolzenburg
1996	—	`conf`	On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). JICSLP Chandrabose Aravindan, Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, Frieder Stolzenburg
1995	B	`conf`	Constraint Model Elimination and a PTTP-Implementation. TABLEAUX Peter Baumgartner, Frieder Stolzenburg
1995	A*	`conf`	Model Elimination, Logic Programming and Computing Answers. IJCAI Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg
1994	—	`conf`	Logic Programming with Sets by Membership-Constraints. WLP Frieder Stolzenburg
1993	—	`conf`	An Algorithm for General Set Unification and its Complexity. ICLP Workshop on Logic Programming with Sets Frieder Stolzenburg
1992	J	`jnl`	Third European Summer Scholl on Language, Logic, and Information - Saarbrücken 1991. Künstliche Intell. Frieder Stolzenburg, Alexander Bach, Christian Lieske, Hanno Ridder, Martin Volk
1992	J	`jnl`	UBS. Eine Unifikationsbasierte Sprache zur Implementation von HPSG. LDV Forum Frieder Stolzenburg, Martin Volk