| 2026 | KI | From Large Language Model Predicates to Logic Tensor Networks: Neurosymbolic Offer Validation in Regulated Procurement. | Cedric Haufe, Frieder Stolzenburg |
| 2026 | KI | Efficient Time-Series Approximation with Linear Recurrent Neural Networks. | Frieder Stolzenburg, Sandra Litz, Olivia Michael, Oliver Obst |
| 2023 | ECAI | Commonsense Reasoning and Explainable Artificial Intelligence Using Large Language Models. | Stefanie Krause, Frieder Stolzenburg |
| 2023 | GI | Entwicklung interdisziplinrer Module in der Hochschulbildung. | Stefanie Krause, Simon Adler, Johannes Bhl, Ren Schenkendorf, Kerstin Schneider, Frieder Stolzenburg, Fabian Transchel |
| 2021 | KI | Negation in Cognitive Reasoning. | Claudia Schon, Sophie Siebert, Frieder Stolzenburg |
| 2018 | RoboCup | RoboCupSimData: Software and Data for Machine Learning from RoboCup Simulation League. | Olivia Michael, Oliver Obst, Falk Schmidsberger, Frieder Stolzenburg |
| 2017 | KI | Syllogistic Reasoning in Seven Spaces. | Frieder Stolzenburg, Raimund Lderitz |
| 2017 | RoboCup | Analysing Soccer Games with Clustering and Conceptors. | Olivia Michael, Oliver Obst, Falk Schmidsberger, Frieder Stolzenburg |
| 2014 | KR | David Poole's Specificity Revised. | Claus-Peter Wirth, Frieder Stolzenburg |
| 2013 | KI | Semantic Object Recognition with Segment Faces. | Falk Schmidsberger, Frieder Stolzenburg |
| 2011 | ICAART | Semantic Object Recognition using Clustering and Decision Trees. | Falk Schmidsberger, Frieder Stolzenburg |
| 2010 | ICAART | A Tool Environment for Specifying and Verifying Multi-agent Systems. | Christian Schwarz, Ammar Mohammed, Frieder Stolzenburg |
| 2008 | KI | Translating Cooperative Strategies for Robot Behavior. | Florian Ruh, Frieder Stolzenburg |
| 2007 | RoboCup | Model Checking Hybrid Multiagent Systems for the RoboCup. | Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg |
| 2004 | RoboCup | Towards a League-Independent Qualitative Soccer Theory for RoboCup. | Frank Dylla, Alexander Ferrein, Gerhard Lakemeyer, Jan Murray, Oliver Obst, Thomas Rfer, Frieder Stolzenburg, Ubbo Visser, Thomas Wagner |
| 2002 | KI | Qualitative Velocity and Ball Interception. | Frieder Stolzenburg, Oliver Obst, Jan Murray |
| 2001 | RoboCup | RoboLog Koblenz 2001. | Jan Murray, Oliver Obst, Frieder Stolzenburg |
| 2000 | RoboCup | Towards a Logical Approach for Soccer Agents Engineering. | Jan Murray, Oliver Obst, Frieder Stolzenburg |
| 2000 | RoboCup | RoboLog Koblenz 2000. | Jan Murray, Oliver Obst, Frieder Stolzenburg |
| 1999 | RoboCup | RoboLog Koblenz. | Jan Murray, Oliver Obst, Frieder Stolzenburg |
| 1999 | RoboCup | Spatial Agents Implemented in a Logical Expressible Language. | Frieder Stolzenburg, Oliver Obst, Jan Murray, Bjrn Bremer |
| 1996 | ICLP | On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). | Chandrabose Aravindan, Peter Baumgartner, Jrgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemel, Dorothea Schfer, Frieder Stolzenburg |
| 1995 | IJCAI | Model Elimination, Logic Programming and Computing Answers. | Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg |
| 1995 | TABLEAUX | Constraint Model Elimination and a PTTP-Implementation. | Peter Baumgartner, Frieder Stolzenburg |
| 1993 | ICLP | An Algorithm for General Set Unification and its Complexity. | Frieder Stolzenburg |