| 2022 | IJCAI | Identifying Noise Variables in Singular Decisions using Counterfactual Reasoning. | Meghna Bhadra, Steffen Hlldobler |
| 2021 | CogSci | When are Humans Reasoning with Modus Tollens? | Marcos Cramer, Steffen Hlldobler, Marco Ragni |
| 2021 | KI | The Weak Completion Semantics and Counter Examples. | Meghna Bhadra, Steffen Hlldobler |
| 2020 | CogSci | Conditional Reasoning and Relevance. | Steffen Hlldobler |
| 2020 | KI | Conditional Reasoning and Relevance. | Steffen Hlldobler |
| 2019 | IJCAI | A Core Method for the Weak Completion Semantics with Skeptical Abduction (Extended Abstract). | Emmanuelle-Anna Dietz Saldanha, Steffen Hlldobler, Carroline Dewi Puspa Kencana Ramli, Luis Palacios Medinacelli |
| 2018 | IJCAI | Ethical Decision Making under the Weak Completion Semantics. | Steffen Hlldobler |
| 2018 | LPAR | The Weak Completion Semantics and Equality. | Emmanuelle-Anna Dietz, Steffen Hlldobler, Sibylle Schwarz, L. Yohanes Stefanus |
| 2017 | CogSci | A Computational Logic Approach to Human Syllogistic Reasoning. | Ana Oliveira da Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hlldobler, Marco Ragni |
| 2017 | CogSci | Workshop: Bridging the Gap: Is Logic and Automated Reasoning a Foundation for Human Reasoning? | Ulrich Furbach, Steffen Hlldobler, Marco Ragni, Claudia Schon |
| 2017 | CogSci | Principles and Clusters in Human Syllogistic Reasoning. | Emmanuelle-Anna Dietz Saldanha, Steffen Hlldobler, Richard Mrbitz |
| 2017 | CogSci | The Weak Completion Semantics. | Emmanuelle-Anna Dietz Saldanha, Steffen Hlldobler, Isabelly Lourdo Rocha |
| 2017 | LPNMR | Contextual Reasoning: Usually Birds Can Abductively Fly. | Emmanuelle-Anna Dietz Saldanha, Steffen Hlldobler, Lus Moniz Pereira |
| 2017 | LPNMR | Contextual Abduction and its Complexity Issues. | Emmanuelle-Anna Dietz Saldanha, Steffen Hlldobler, Tobias Philipp |
| 2016 | IJCAI | Syllogistic Reasoning under the Weak Completion Semantics. | Ana Oliveira da Costa, Emmanuelle-Anna Dietz, Steffen Hlldobler, Marco Ragni |
| 2016 | IJCAI | Two-Valued Logic is Not Sufficient to Model Human Reasoning, but Three-Valued Logic is: A Formal Analysis. | Marco Ragni, Emmanuelle-Anna Dietz, Ilir Kola, Steffen Hlldobler |
| 2015 | CADE | Weak Completion Semantics and its Applications in Human Reasoning. | Steffen Hlldobler |
| 2015 | LPNMR | A New Computational Logic Approach to Reason with Conditionals. | Emmanuelle-Anna Dietz, Steffen Hlldobler |
| 2014 | CPAIOR | Representative Encodings to Translate Finite CSPs into SAT. | Pedro Barahona, Steffen Hlldobler, Van-Hau Nguyen |
| 2014 | ISAIM | Efficient SAT-Encoding of Linear CSP Constraints. | Pedro Barahona, Steffen Hlldobler, Van-Hau Nguyen |
| 2014 | KR | An Abductive Reasoning Approach to the Belief Bias Effect. | Lus Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hlldobler |
| 2014 | SAT | Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. | Steffen Hlldobler, Norbert Manthey, Tobias Philipp, Peter Steinke |
| 2012 | CogSci | A Computational Logic Approach to the Suppression Task. | Emmanuelle-Anna Dietz, Steffen Hlldobler, Marco Ragni |
| 2012 | KI | A Compact Encoding of Pseudo-Boolean Constraints into SAT. | Steffen Hlldobler, Norbert Manthey, Peter Steinke |
| 2010 | LPAR | Improving Resource-Unaware SAT Solvers. | Steffen Hlldobler, Norbert Manthey, Ari Saptawijaya |
| 2009 | ICANN | Logics and Networks for Human Reasoning. | Steffen Hlldobler, Carroline Dewi Puspa Kencana Ramli |
| 2009 | ICLP | Logic Programs under Three-Valued Lukasiewicz Semantics. | Steffen Hlldobler, Carroline Dewi Puspa Kencana Ramli |
| 2008 | NeSy | Guiding Backprop by Inserting Rules. | Sebastian Bader, Steffen Hlldobler, Nuno C. Marques |
| 2007 | IJCAI | A Fully Connectionist Model Generator for Covered First-Order Logic Programs. | Sebastian Bader, Pascal Hitzler, Steffen Hlldobler, Andreas Witzel |
| 2007 | IJCAI | Extracting Propositional Rules from Feed-forward Neural Networks - A New Decompositional Approach. | Sebastian Bader, Steffen Hlldobler, Valentin Mayer-Eichberger |
| 2006 | ICANN | The Core Method: Connectionist Model Generation. | Sebastian Bader, Steffen Hlldobler |
| 2004 | KI | Semiring Artificial Neural Networks and Weighted Automata. And an Application to Digital Image Encoding. | Sebastian Bader, Steffen Hlldobler, Alexandre Scalzitti |
| 2002 | KI | Incremental Fuzzy Decision Trees. | Marina Guetova, Steffen Hlldobler, Hans-Peter Strr |
| 2000 | LPAR | The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus. | Steffen Hlldobler, Dietrich Kuske |
| 1997 | KI | Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks. | Steffen Hlldobler, Yvonne Kalinke, Helko Lehmann |
| 1996 | SAC | Fuzzy conceptual knowledge processing. | Christoph S. Herrmann, Steffen Hlldobler, Antje Strohmaier |
| 1993 | AAAI | On the Adequateness of the Connection Method. | Antje Beringer, Steffen Hlldobler |
| 1993 | ICLP | On Logic Programming with Multisets. | Steffen Hlldobler, Michael Thielscher |
| 1993 | IJCAI | Spatial Reasoning and Connectionist Inference. | Antje Beringer, Steffen Hlldobler, Franz J. Kurfess |
| 1992 | CADE | Cycle Unification. | Wolfgang Bibel, Steffen Hlldobler, Jrg Wrtz |
| 1992 | ICLP | Equational Logic Programming Actions, and Change. | Gerd Groe, Steffen Hlldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher |
| 1992 | LPAR | On Deductive Planning and the Frame Problem. | Steffen Hlldobler |
| 1990 | AAAI | A Structured Connectionist Unification Algorithm. | Steffen Hlldobler |
| 1989 | KI | Linear Paramodulation modulo Equality. | Ulrich Furbach, Steffen Hlldobler, Joachim F. Schreiber |
| 1989 | KI | A New Deductive Approach to Planning. | Steffen Hlldobler, Josef Schneeberger |
| 1988 | ICLP | From Paramodulation to Narrowing. | Steffen Hlldobler |
| 1987 | ICALP | A Unification Algorithms for Confluent Theories. | Steffen Hlldobler |
| 1985 | KI | Extended Unification and its Implementation. | Steffen Hlldobler, Ulrich Furbach, Thomas Lauermair |