Extended Unification and its Implementation. - Steffen Hölldobler; Ulrich Furbach; Thomas Laußermair (GWAI, 1985)

Modelling the Combination of Functional and Logic Programming Languages. - Ulrich Furbach; Steffen Hölldobler (J. Symb. Comput., 1986)

A Unification Algorithms for Confluent Theories. - Steffen Hölldobler (ICALP, 1987)

Equational Logic Programming. - Steffen Hölldobler (SLP, 1987)

The Undecidability of the Unification and Matching Problem for Canonical Theories. - Stephan Heilbrunner; Steffen Hölldobler (Acta Informatica, 1987)

Horn Equality Theories and Complete Sets of Transformations. - Steffen Hölldobler (FGCS, 1988)

From Paramodulation to Narrowing. - Steffen Hölldobler (ICLP/SLP, 1988)

FHCL - functions in Horn Clause logic - Ulrich Furbach; Steffen Hölldobler (Forschungsberichte, TU Munich, 1988)

Foundations of Equational Logic Programming - Steffen Hölldobler (Springer, 1989)

Horn Equational Theories and Paramodulation. - Ulrich Furbach; Steffen Hölldobler; Joachim F. Schreiber (J. Autom. Reason., 1989)

Equations, order-sortedness and inheritance in logic programming - Ulrich Furbach; Steffen Hölldobler (Forschungsberichte, TU Munich, 1989)

Linear paramodulation modulo equality - Ulrich Furbach; Steffen Hölldobler; Joachim F. Schreiber (Forschungsberichte, TU Munich, 1989)

A Structured Connectionist Unification Algorithm. - Steffen Hölldobler (AAAI, 1990)

Connectionist Inference Systems. - Hans W. Guesgen; Steffen Hölldobler (Dagstuhl Seminar on Parallelization in Inference Systems, 1990)

CHCL - A Connectionist Infernce System. - Steffen Hölldobler; Franz J. Kurfess (Dagstuhl Seminar on Parallelization in Inference Systems, 1990)

On High-Level Inferencing and the Variable Binding Problem in Connectionist Networks. - Steffen Hölldobler (ÖGAI, 1990)

A New Deductive Approach to Planning. - Steffen Hölldobler; Josef Schneeberger (New Gener. Comput., 1990)

Conditional Equational Theories and Complete Sets of Transformations. - Steffen Hölldobler (Theor. Comput. Sci., 1990)

Combining Logic Programming and Equation Solving. - Steffen Hölldobler (J. Log. Comput., 1991)

Cycle Unification. - Wolfgang Bibel; Steffen Hölldobler; Jörg Würtz (CADE, 1992)

Equational Logic Programming Actions, and Change. - Gerd Große; Steffen Hölldobler; Josef Schneeberger; Ute Cornelia Sigmund; Michael Thielscher (JICSLP, 1992)

On Deductive Planning and the Frame Problem. - Steffen Hölldobler (LPAR, 1992)

7. Workshop Logische Programmierung und 8. Jahrestreffen der GI-Fachgruppe 1.2.1 "Deduktionssysteme". - Jürgen Cleve; Steffen Hölldobler; Jörg Würtz (Künstliche Intell., 1992)

Wissensrepräsentation und Inferenz - eine grundlegende Einführung. - Wolfgang Bibel; Steffen Hölldobler; Torsten Schaub (Vieweg, 1993)

On the Adequateness of the Connection Method. - Antje Beringer; Steffen Hölldobler (AAAI, 1993)

On Logic Programming with Multisets. - Steffen Hölldobler; Michael Thielscher (ICLP Workshop on Logic Programming with Sets, 1993)

Spatial Reasoning and Connectionist Inference. - Antje Beringer; Steffen Hölldobler; Franz J. Kurfess (IJCAI, 1993)

Disjunction in Plan Generation by Equational Logic Programming. - Stefan Brüning; Gerd Große; Steffen Hölldobler; Josef Schneeberger; Ute Cornelia Sigmund; Michael Thielscher (PuK, 1993)

Disjunction In Resource-Oriented Deductive Planning. - Stefan Brüning; Steffen Hölldobler; Ute Cornelia Sigmund; Michael Thielscher; Josef Schneeberger (ILPS, 1993)

Actions and Specificity. - Steffen Hölldobler; Michael Thielscher (ILPS, 1993)

Ein massiv paralleles Modell für die Logikprogrammierung. - Steffen Hölldobler; Yvonne Kalinke (WLP, 1994)

A Resource-Oriented Deductive Approach Towards Hierarchical Planning. - Kerstin Eder; Steffen Hölldobler; Michael Thielscher (WLP, 1995)

Computing change and specificity with equational logic programs. - Steffen Hölldobler; Michael Thielscher (Ann. Math. Artif. Intell., 1995)

Equational Logic and Theories of Action. - Steffen Hölldobler (APPIA-GULP-PRODE, 1996)

An Abstract Machine for Reasoning about Situations, Actions, and Causality. - Kerstin Eder; Steffen Hölldobler; Michael Thielscher (ELP, 1996)

Fuzzy conceptual knowledge processing. - Christoph S. Herrmann; Steffen Hölldobler; Antje Strohmaier (SAC, 1996)

Linear Deductive Planning. - Gerd Große; Steffen Hölldobler; Josef Schneeberger (J. Log. Comput., 1996)

Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks. - Steffen Hölldobler; Yvonne Kalinke; Helko Lehmann (KI, 1997)

Recurrent Neural Networks to Approximate the Semantics of Acceptable Logic Programs. - Steffen Hölldobler; Yvonne Kalinke; Hans-Peter Störr (Australian Joint Conference on Artificial Intelligence, 1998)

A Recursive Neural Network for Reflexive Reasoning. - Steffen Hölldobler; Yvonne Kalinke; Jörg Wunderlich (Hybrid Neural Systems, 1998)

Approximating the Semantics of Logic Programs by Recurrent Neural Networks. - Steffen Hölldobler; Yvonne Kalinke; Hans-Peter Störr (Appl. Intell., 1999)

Complex Plans in the Fluent Calculus. - Steffen Hölldobler; Hans-Peter Störr (Intellectics and Computational Logic, 2000)

Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams. - Steffen Hölldobler; Hans-Peter Störr (Computational Logic, 2000)

The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus. - Steffen Hölldobler; Dietrich Kuske (LPAR, 2000)

Challenge problems for the integration of logic and connectionist systems. - Steffen Hölldobler (WLP, 2000)

BDD-based reasoning in the fluent calculus - first results - Steffen Hölldobler; Hans-Peter Störr (CoRR, 2000)

User Adaptation in a Web Shop System. - Sven-Erik Bornscheuer; Yvonne McIntyre; Steffen Hölldobler; Hans-Peter Störr (IMSA, 2001)

Incremental Fuzzy Decision Trees. - Marina Guetova; Steffen Hölldobler; Hans-Peter Störr (KI, 2002)

The Fuzzy Description Logic ALCFH with Hedge Algebras as Concept Modifiers. - Steffen Hölldobler; Hans-Peter Störr; Dinh Khang Tran (J. Adv. Comput. Intell. Intell. Informatics, 2003)

Semiring Artificial Neural Networks and Weighted Automata. And an Application to Digital Image Encoding. - Sebastian Bader 001; Steffen Hölldobler; Alexandre Scalzitti (KI, 2004)

The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence - Sebastian Bader 001; Pascal Hitzler; Steffen Hölldobler (CoRR, 2004)

Journal of Applied Logic Special Volume on Neural-Symbolic Systems. - Artur S. d'Avila Garcez; Dov M. Gabbay; Steffen Hölldobler; John G. Taylor (J. Appl. Log., 2004)

Logic programs and connectionist networks. - Pascal Hitzler; Steffen Hölldobler; Anthony Karel Seda (J. Appl. Log., 2004)

The Core Method: Connectionist Model Generation. - Sebastian Bader 001; Steffen Hölldobler (ICANN (2), 2006)

FluCaP: A Heuristic Search Planner for First-Order MDPs. - Steffen Hölldobler; Eldar Karabaev; Olga Skvortsova (J. Artif. Intell. Res., 2006)

A Fully Connectionist Model Generator for Covered First-Order Logic Programs. - Sebastian Bader 001; Pascal Hitzler; Steffen Hölldobler; Andreas Witzel (IJCAI, 2007)

Extracting Propositional Rules from Feed-forward Neural Networks - A New Decompositional Approach. - Sebastian Bader 001; Steffen Hölldobler; Valentin Mayer-Eichberger (NeSy, 2007)

Decidability Under the Well-Founded Semantics. - Natalia Cherchago; Pascal Hitzler; Steffen Hölldobler (RR, 2007)

The Core Method: Connectionist Model Generation for First-Order Logic Programs. - Sebastian Bader 001; Pascal Hitzler; Steffen Hölldobler; Andreas Witzel (Perspectives of Neural-Symbolic Integration, 2007)

Guiding Backprop by Inserting Rules. - Sebastian Bader 001; Steffen Hölldobler; Nuno C. Marques (NeSy, 2008)

Connectionist model generation: A first-order approach. - Sebastian Bader 001; Pascal Hitzler; Steffen Hölldobler (Neurocomputing, 2008)

Logics and Networks for Human Reasoning. - Steffen Hölldobler; Carroline Dewi Puspa Kencana Ramli (ICANN (2), 2009)

Logic Programs under Three-Valued Lukasiewicz Semantics. - Steffen Hölldobler; Carroline Dewi Puspa Kencana Ramli (ICLP, 2009)

Improving Resource-Unaware SAT Solvers. - Steffen Hölldobler; Norbert Manthey; Ari Saptawijaya (LPAR (Yogyakarta), 2010)

An Abductive Model for Human Reasoning. - Steffen Hölldobler; Tobias Philipp; Christoph Wernhard (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2011)

A Computational Logic Approach to the Suppression Task. - Emmanuelle-Anna Dietz; Steffen Hölldobler; Marco Ragni (CogSci, 2012)

Solving Periodic Event Scheduling Problems with SAT. - Peter Großmann; Steffen Hölldobler; Norbert Manthey; Karl Nachtigall; Jens Opitz; Peter Steinke (IEA/AIE, 2012)

A Compact Encoding of Pseudo-Boolean Constraints into SAT. - Steffen Hölldobler; Norbert Manthey; Peter Steinke (KI, 2012)

Representative Encodings to Translate Finite CSPs into SAT. - Pedro Barahona; Steffen Hölldobler; Van-Hau Nguyen (CPAIOR, 2014)

Efficient SAT-Encoding of Linear CSP Constraints. - Pedro Barahona; Steffen Hölldobler; Van-Hau Nguyen (ISAIM, 2014)

An Abductive Reasoning Approach to the Belief Bias Effect. - Luís Moniz Pereira; Emmanuelle-Anna Dietz; Steffen Hölldobler (KR, 2014)

Advanced Petri Nets and the Fluent Calculus. - Steffen Hölldobler; Ferdian Jovan (YSIP, 2014)

Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. - Steffen Hölldobler; Norbert Manthey; Tobias Philipp; Peter Steinke (YSIP, 2014)

Answer Set Programming and CLASP - A Tutorial. - Steffen Hölldobler; Lukas Schweizer (YSIP, 2014)

Modeling the suppression task under weak completion and well-founded semantics. - Emmanuelle-Anna Dietz; Steffen Hölldobler; Christoph Wernhard (J. Appl. Non Class. Logics, 2014)

Contextual Abductive Reasoning with Side-Effects. - Luís Moniz Pereira; Emmanuelle-Anna Dietz; Steffen Hölldobler (Theory Pract. Log. Program., 2014)

Weak Completion Semantics and its Applications in Human Reasoning. - Steffen Hölldobler (Bridging@CADE, 2015)

On Conditionals. - Emmanuelle-Anna Dietz; Steffen Hölldobler; Luís Moniz Pereira (GCAI, 2015)

On Indicative Conditionals. - Emmanuelle-Anna Dietz; Steffen Hölldobler; Luís Moniz Pereira (IWOST-1, 2015)

A Syllogistic Reasoning Theory and Three Examples. - Emmanuelle-Anna Dietz; Steffen Hölldobler; Marco Ragni (IWOST-2, 2015)

A New Computational Logic Approach to Reason with Conditionals. - Emmanuelle-Anna Dietz; Steffen Hölldobler (LPNMR, 2015)

A Computational Logic Approach to Human Spatial Reasoning. - Emmanuelle-Anna Dietz; Steffen Hölldobler; Raphael Hops (SSCI, 2015)

Syllogistic Reasoning under the Weak Completion Semantics. - Ana Oliveira da Costa; Emmanuelle-Anna Dietz; Steffen Hölldobler; Marco Ragni (Bridging@IJCAI, 2016)

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 Hölldobler (Bridging@IJCAI, 2016)

A Computational Logic Approach to Human Syllogistic Reasoning. - Ana Oliveira da Costa; Emmanuelle-Anna Dietz Saldanha; Steffen Hölldobler; Marco Ragni (CogSci, 2017)

Workshop: Bridging the Gap: Is Logic and Automated Reasoning a Foundation for Human Reasoning? - Ulrich Furbach; Steffen Hölldobler; Marco Ragni; Claudia Schon (CogSci, 2017)

Principles and Clusters in Human Syllogistic Reasoning. - Emmanuelle-Anna Dietz Saldanha; Steffen Hölldobler; Richard Mörbitz (Bridging@CogSci, 2017)

The Weak Completion Semantics. - Emmanuelle-Anna Dietz Saldanha; Steffen Hölldobler; Isabelly Lourêdo Rocha (Bridging@CogSci, 2017)

The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters. - Emmanuelle-Anna Dietz Saldanha; Steffen Hölldobler; Richard Mörbitz (DECLARE, 2017)

Contextual Reasoning: Usually Birds Can Abductively Fly. - Emmanuelle-Anna Dietz Saldanha; Steffen Hölldobler; Luís Moniz Pereira (LPNMR, 2017)

Contextual Abduction and its Complexity Issues. - Emmanuelle-Anna Dietz Saldanha; Steffen Hölldobler; Tobias Philipp (DARe@LPNMR, 2017)

An Abstract Dual Propositional Model Counter. - Armin Biere; Steffen Hölldobler; Sibylle Möhle (YSIP, 2017)

Monadic Reasoning using Weak Completion Semantics. - Ana Oliveira da Costa; Emmanuelle-Anna Dietz Saldanha; Steffen Hölldobler (YSIP, 2017)

Lessons Learned from AlphaGo. - Steffen Hölldobler; Sibylle Möhle; Anna Tigunova (YSIP, 2017)

The Complexity of Contextual Abduction in Human Reasoning Tasks. - Emmanuelle-Anna Dietz Saldanha; Steffen Hölldobler; Tobias Philipp (YSIP, 2017)

Obligation versus Factual Conditionals under the Weak Completion Semantics. - Emmanuelle-Anna Dietz Saldanha; Steffen Hölldobler; Isabelly Lourêdo Rocha (YSIP, 2017)

Ethical Decision Making under the Weak Completion Semantics. - Steffen Hölldobler (Bridging@IJCAI/ECAI, 2018)

The Weak Completion Semantics and Equality. - Emmanuelle-Anna Dietz; Steffen Hölldobler; Sibylle Schwarz; L. Yohanes Stefanus (LPAR, 2018)

A Core Method for the Weak Completion Semantics with Skeptical Abduction. - Emmanuelle-Anna Dietz Saldanha; Steffen Hölldobler; Carroline Dewi Puspa Kencana Ramli; Luis Palacios Medinacelli (J. Artif. Intell. Res., 2018)

Do Humans Reason with E -Matchers? - Steffen Hölldobler (Description Logic, Theory Combination, and All That, 2019)

A Core Method for the Weak Completion Semantics with Skeptical Abduction (Extended Abstract). - Emmanuelle-Anna Dietz Saldanha; Steffen Hölldobler; Carroline Dewi Puspa Kencana Ramli; Luis Palacios Medinacelli (IJCAI, 2019)

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

Conditional Reasoning and Relevance. - Steffen Hölldobler (KI, 2020)

When are Humans Reasoning with Modus Tollens? - Marcos Cramer; Steffen Hölldobler; Marco Ragni (CogSci, 2021)

The Weak Completion Semantics and Counter Examples. - Meghna Bhadra; Steffen Hölldobler (FCR@KI, 2021)

Identifying Noise Variables in Singular Decisions using Counterfactual Reasoning. - Meghna Bhadra; Steffen Hölldobler (CAKR@IJCAI, 2022)

The Weak Completion Semantics and Counterexamples. - Meghna Bhadra; Steffen Hölldobler (FLAP, 2023)