Third European Summer Scholl on Language, Logic, and Information - Saarbrücken 1991. - Frieder Stolzenburg; Alexander Bach; Christian Lieske; Hanno Ridder; Martin Volk 001 (Künstliche Intell., 1992)

UBS. Eine Unifikationsbasierte Sprache zur Implementation von HPSG. - Frieder Stolzenburg; Martin Volk 001 (LDV Forum, 1992)

Logic Programming with Sets by Membership-Constraints. - Frieder Stolzenburg (WLP, 1994)

Model Elimination, Logic Programming and Computing Answers. - Peter Baumgartner 001; Ulrich Furbach; Frieder Stolzenburg (IJCAI, 1995)

Constraint Model Elimination and a PTTP-Implementation. - Peter Baumgartner 001; Frieder Stolzenburg (TABLEAUX, 1995)

Membership-Constraints and Complexity in Logic Programming with Sets. - Frieder Stolzenburg (FroCoS, 1996)

On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). - Chandrabose Aravindan; Peter Baumgartner 001; Jürgen Dix; Ulrich Furbach; Gerd Neugebauer; Ilkka Niemelä; Dorothea Schäfer; Frieder Stolzenburg (JICSLP, 1996)

Constraint Logic Programming for Computational Linguistics. - Frieder Stolzenburg; Stephan Höhne; Ulrich Koch; Martin Volk 001 (LACL, 1996)

Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming. - Jürgen Dix; Frieder Stolzenburg (NMELP, 1996)

Deduktion und Logisches Programmieren. - Peter Baumgartner 001; Jürgen Dix; Ulrich Furbach; Dorothea Schäfer; Frieder Stolzenburg (Künstliche Intell., 1996)

Computing Answers with Model Elimination. - Peter Baumgartner 001; Ulrich Furbach; Frieder Stolzenburg (Artif. Intell., 1997)

A Framework to Incorporate Non-Monotonic Reasoning Into Constraint Logic Programming. - Jürgen Dix; Frieder Stolzenburg (J. Log. Program., 1998)

Automated Deduction: a Technological Point of View. - Peter Baumgartner 001; Ingo Dahn; Jürgen Dix; Ulrich Furbach; Michael Kühn; Frieder Stolzenburg; Bernd Thomas (Künstliche Intell., 1998)

A Flexible System for Constraint Disjunctive Logic Programming. - Frieder Stolzenburg (Künstliche Intell., 1998)

Disjunctive logic programming with constraints and its applications. - Frieder Stolzenburg (Fölbach, 1998)

Automating Defeasible Reasoning with Logic Programming. - Jürgen Dix; Frieder Stolzenburg; Guillermo Ricardo Simari; Pablo R. Fillottrani (German-Argentinian Workshop on Information Technology, 1999)

RoboLog Koblenz. - Jan Murray; Oliver Obst; Frieder Stolzenburg (RoboCup, 1999)

Spatial Agents Implemented in a Logical Expressible Language. - Frieder Stolzenburg; Oliver Obst; Jan Murray; Björn Bremer (RoboCup, 1999)

An Algorithm for General Set Unification and Its Complexity. - Frieder Stolzenburg (J. Autom. Reason., 1999)

Loop-Detection in Hyper-Tableaux by Powerful Model Generation. - Frieder Stolzenburg (J. Univers. Comput. Sci., 1999)

Der RoboCup während der IJCAI '99. - Oliver Obst; Frieder Stolzenburg (Künstliche Intell., 1999)

Towards a Logical Approach for Soccer Agents Engineering. - Jan Murray; Oliver Obst; Frieder Stolzenburg (RoboCup, 2000)

RoboLog Koblenz 2000. - Jan Murray; Oliver Obst; Frieder Stolzenburg (RoboCup, 2000)

Clause and Effect - Prolog Programming for the Working Programmer. - Frieder Stolzenburg (Künstliche Intell., 2000)

Intelligente Agenten und KI. - Ulrich Furbach; Oliver Obst; Frieder Stolzenburg (LOG IN, 2000)

RoboLog Koblenz 2001. - Jan Murray; Oliver Obst; Frieder Stolzenburg (RoboCup, 2001)

Multiagent systems specification by UML statecharts aiming at intelligent manufacturing. - Toshiaki Arai; Frieder Stolzenburg (AAMAS, 2002)

Qualitative Velocity and Ball Interception. - Frieder Stolzenburg; Oliver Obst; Jan Murray (KI, 2002)

From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications. - Frieder Stolzenburg; Toshiaki Arai (MATES, 2003)

Computing Generalized Specificity. - Frieder Stolzenburg; Alejandro Javier García; Carlos Iván Chesñevar; Guillermo Ricardo Simari (J. Appl. Non Class. Logics, 2003)

Relating defeasible and normal logic programming through transformation properties. - Carlos Iván Chesñevar; Jürgen Dix; Frieder Stolzenburg; Guillermo Ricardo Simari (Theor. Comput. Sci., 2003)

Towards a League-Independent Qualitative Soccer Theory for RoboCup. - Frank Dylla; Alexander Ferrein; Gerhard Lakemeyer; Jan Murray; Oliver Obst; Thomas Röfer; Frieder Stolzenburg; Ubbo Visser; Thomas Wagner 005 (RoboCup, 2004)

Multiagent Matching Algorithms with and without Coach. - Frieder Stolzenburg; Jan Murray; Karsten Sturm (J. Decis. Syst., 2006)

Hybrid State Machines with Timed Synchronization for Multi-Robot System Specification. - Jan Murray; Frieder Stolzenburg; Toshiaki Arai (Künstliche Intell., 2006)

Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking. - Ulrich Furbach; Jan Murray; Falk Schmidsberger; Frieder Stolzenburg (PROMAS, 2007)

Model Checking Hybrid Multiagent Systems for the RoboCup. - Ulrich Furbach; Jan Murray; Falk Schmidsberger; Frieder Stolzenburg (RoboCup, 2007)

Translating Cooperative Strategies for Robot Behavior. - Florian Ruh; Frieder Stolzenburg (KESE, 2008)

A Periodicity-based Theory for Harmony Perception and Scales. - Frieder Stolzenburg (ISMIR, 2009)

A Tool Environment for Specifying and Verifying Multi-agent Systems. - Christian Schwarz; Ammar Mohammed; Frieder Stolzenburg (ICAART (2), 2010)

Localization, Exploration, and Navigation Based on Qualitative Angle Information. - Frieder Stolzenburg (Spatial Cogn. Comput., 2010)

Semantic Object Recognition using Clustering and Decision Trees. - Falk Schmidsberger; Frieder Stolzenburg (ICAART (1), 2011)

Semantic Object Recognition with Segment Faces. - Falk Schmidsberger; Frieder Stolzenburg (KIK@KI, 2013)

Harmony Perception by Periodicity Detection. - Frieder Stolzenburg (CoRR, 2013)

David Poole's Specifity Revised. - Claus-Peter Wirth; Frieder Stolzenburg (CoRR, 2013)

David Poole's Specificity Revised. - Claus-Peter Wirth; Frieder Stolzenburg (KR, 2014)

Automated Reasoning in Deontic Logic. - Ulrich Furbach; Claudia Schon; Frieder Stolzenburg (MIWAI, 2014)

Cognitive Systems and Question Answering. - Ulrich Furbach; Claudia Schon; Frieder Stolzenburg (CoRR, 2014)

Automated Reasoning for Robot Ethics. - Ulrich Furbach; Claudia Schon; Frieder Stolzenburg (CoRR, 2015)

The RatioLog Project: Rational Extensions of Logical Reasoning. - Ulrich Furbach; Claudia Schon; Frieder Stolzenburg; Karl-Heinz Weis; Claus-Peter Wirth (Künstliche Intell., 2015)

Special Issue on Higher-Level Cognition and Computation. - Marco Ragni; Frieder Stolzenburg (Künstliche Intell., 2015)

Higher-Level Cognition and Computation: A Survey. - Marco Ragni; Frieder Stolzenburg (Künstliche Intell., 2015)

A series of revisions of David Poole's specificity. - Claus-Peter Wirth; Frieder Stolzenburg (Ann. Math. Artif. Intell., 2016)

Neural Networks and Continuous Time. - Frieder Stolzenburg; Florian Ruh (CoRR, 2016)

Syllogistic Reasoning in Seven Spaces. - Frieder Stolzenburg; Raimund Lüderitz (DKB/KIK@KI, 2017)

Analysing Soccer Games with Clustering and Conceptors. - Olivia Michael; Oliver Obst; Falk Schmidsberger; Frieder Stolzenburg (RoboCup, 2017)

RoboCupSimData: A RoboCup soccer research dataset. - Olivia Michael; Oliver Obst; Falk Schmidsberger; Frieder Stolzenburg (CoRR, 2017)

RoboCupSimData: Software and Data for Machine Learning from RoboCup Simulation League. - Olivia Michael; Oliver Obst; Falk Schmidsberger; Frieder Stolzenburg (RoboCup, 2018)

CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning. - Sophie Siebert; Frieder Stolzenburg (LuxLogAI (Student / Workshop Papers), 2018)

Predictive Neural Networks. - Frieder Stolzenburg; Olivia Michael; Oliver Obst (CoRR, 2018)

Commonsense Reasoning Using Theorem Proving and Machine Learning. - Sophie Siebert; Claudia Schon; Frieder Stolzenburg (CD-MAKE, 2019)

Using ConceptNet to Teach Common Sense to an Automated Theorem Prover. - Claudia Schon; Sophie Siebert; Frieder Stolzenburg (ARCADE@CADE, 2019)

Cognitive Reasoning: A Personal View. - Ulrich Furbach; Steffen Hölldobler; Marco Ragni; Claudia Schon; Frieder Stolzenburg (Künstliche Intell., 2019)

The CoRg Project: Cognitive Reasoning. - Claudia Schon; Sophie Siebert; Frieder Stolzenburg (Künstliche Intell., 2019)

Periodicity Pitch Detection in Complex Harmonies on EEG Timeline Data. - Maria Heinze; Lars Hausfeld; Rainer Goebel; Frieder Stolzenburg (CoRR, 2020)

Negation in Cognitive Reasoning. - Claudia Schon; Sophie Siebert; Frieder Stolzenburg (KI, 2021)

Fast Classification Learning with Neural Networks and Conceptors for Speech Recognition and Car Driving Maneuvers. - Stefanie Krause; Oliver Otto; Frieder Stolzenburg (MIWAI, 2021)

Commonsense Reasoning and Explainable Artificial Intelligence Using Large Language Models. - Stefanie Krause; Frieder Stolzenburg (ECAI Workshops (1), 2023)

Entwicklung interdisziplinärer Module in der Hochschulbildung. - Stefanie Krause; Simon Adler; Johannes Bühl; René Schenkendorf; Kerstin Schneider; Frieder Stolzenburg; Fabian Transchel (GI-Jahrestagung, 2023)

Joining Formal and Cognitive Reasoning. - Christoph Beierle; Marco Ragni; Frieder Stolzenburg; Matthias Thimm (FLAP, 2023)

From Data to Commonsense Reasoning: The Use of Large Language Models for Explainable AI. - Stefanie Krause; Frieder Stolzenburg (CoRR, 2024)

Formal and cognitive reasoning. - Christoph Beierle; Marco Ragni; Kai Sauerwald; Frieder Stolzenburg; Matthias Thimm (Int. J. Approx. Reason., 2024)