Steffen Hölldobler
Prof. Dr. rer. nat. habil. Steffen Hölldobler
Professor Knowledge Representation and Reasoning

- sh@iccl.tu-dresden.de
- +4935146338340
- +4935146338342
- APB 2007
- Wed, 2:50 pm – 4:00 pm
Currently, we have no access to university phones. Please contact us via E-Mail. Offices are closed from public access. In case emergency contact Steffen Hölldobler at 0151 27023623.
After graduating in Computer Science Steffen Hölldobler joined Alan Robinson's Logic Programming Research Group at the Syracuse University, USA, as a visiting research associate in 1983. During this visit he became interested in the combination of logic and functional programming. Focusing on equational logic programming he received a Dr.rer.nat. from the University of the Federal Armed Forces at Munich, Germany, in 1988.
Shortly afterwards he joined Wolfgang Bibel's Intellectics group at the TU Darmstadt, Germany. Coming across various approaches on planning he developed a new calculus for deductive planning based on an equational logic together with Josef Schneeberger. This approach has been further developed. It is now known under the name FLUENT CALCULUS and is regarded as one of the major approaches in the area of reasoning about situations, actions and causality.
In 1989 he was offered a one-year fellowship as a postdoc at the International Computer Science Institute (ICSI) at Berkeley, USA. There he was introduced to connectionism by Jerry Feldman. His research at the ICSI finally led to a postdoctoral thesis (Habilitation) on Automated Inferencing and Connectionist Models in 1993. Based on this thesis he developed the so-called CORE method for translating semantic operators associated with logic programs into connectionist networks jointly with Yvonne Kalinke.
In the same year he became Professor for Knowledge Representation and Reasoning in the Computer Science Department at the Technische Universität Dresden. His research interests include logic and deduction, logic programming, knowledge representation and reasoning as well as connectionism. He is the author of four monographs and more than 100 scientific articles.
He is also assigned to the North Caucasus Federal University as a guest professor.
Roles
- Director of the Institute of Artificial Intelligence
- Director of the International Center for Computational Logic
- Head of the Knowledge Representation and Reasoning Group
Other Activities
- Swap and Transfer
- Bridging the Gap between Human and Automated Reasoning
- Young Scientist's International Workshop on Trends in Information Processing
- 9th South-East Asian Summer School on Computational Logic
Some Links
Publications are listed under Research Gate
Awards
- Dresden Congress Award 2006 and 2016
Courses
- Courses by the KRR Group (WS 2020)
- Knowledge Representation and Reasoning Seminar (SS 2020)
- Human Reasoning and Computational Logic (WS 2019)
- Knowledge Representation and Reasoning Seminar (WS 2019)
- Logic (WS 2019)
show further courses
Completed Theses
- Präprozessortechniken für Pseudo-Boolean-Constraints
- by Timo Richter (22 März 2017)
- Supervisor: Steffen Hölldobler, Peter Steinke
- Monadic Reasoning with Weak Completion Semantics
- by Ana Costa (2017)
- Supervisor: Steffen Hölldobler, Emmanuelle Dietz
- Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics
- by Richard Mörbitz (2017)
- Supervisor: Steffen Hölldobler, Emmanuelle Dietz
- Automated Reasoning Support for Process Models using Action Languages
- by Itzel Vázquez Sandoval (28 September 2014)
- Supervisor: Steffen Hölldobler
- Planning problems in Petri Nets and Fluent Calculus
- by Ferdian Jovan (4 April 2014)
- Supervisor: Steffen Hölldobler
- A Computational Logic Approach for Spatial Reasoning
- by Raphael Höps (2014)
- Supervisor: Steffen Hölldobler, Emmanuelle Dietz
- Backdoors for SAT
- by Marco Gario (1 Oktober 2011)
- Supervisor: Steffen Hölldobler
- Reasoning with Text Annotations
- by Sudeep Ghimire (1 April 2011)
- Supervisor: Steffen Hölldobler
- Reaching Definability via Abduction
- by Evgeny Sherkhonov (2011)
- Supervisor: Steffen Hölldobler
- Improving SAT Solvers Using State-of-the-Art Techniques
- by Norbert Manthey (15 Dezember 2010)
- Supervisor: Steffen Hölldobler
- An Integrative Approach to Object Recognition in VSLAM
- by Jan Funke (15 September 2010)
- Supervisor: Steffen Hölldobler
- Memory Hierarchy Utilization of a SAT Solver
- by Norbert Mantehy (31 März 2010)
- Supervisor: Steffen Hölldobler, Hermann Härtig
- Standortplanung bei Behörden und Organisationen mit Sicherheitsaufgaben
- by Christoph Spallek (2010)
- Supervisor: Steffen Hölldobler
- Decidability of Reasoning under the Well-Founded Semantics
- by Natalia Cherchago (2010)
- Supervisor: Steffen Hölldobler
- Logic Programs and Three-Valued Consequence Operators
- by Carroline Dewi Puspa Kencana Ramli (1 August 2009)
- Supervisor: Steffen Hölldobler
- Hybrid Logic in the Calculus Structures
- by Armin Troy (2008)
- Supervisor: Steffen Hölldobler
- θ-subsumption algorithms
- by Georg Rammé (29 Oktober 2007)
- Supervisor: Steffen Hölldobler
- Towards a Categorical Semantics for the Open Calculus of Constructions
- by Max Schäfer (13 März 2007)
- Supervisor: Steffen Hölldobler
- Predicting the Performance of Wireless Communication Networks
- by Ran Shao (2007)
- Supervisor: Steffen Hölldobler
- Concept Learning in Description Logics
- by Jens Lehmann (12 September 2006)
- Supervisor: Steffen Hölldobler
- Extracting Propositional Logic Programs From Neural Networks: A Decompositional Approach.
- by Valentin Mayer-Eichberger (24 Januar 2006)
- Supervisor: Steffen Hölldobler, Sebastian Bader
- Neural-Symbolic Integration - Constructive Approaches
- by Andreas Witzel (1 Januar 2006)
- Supervisor: Steffen Hölldobler
- Proof by Pointing and Selecting
- by Junhyuk Cho (2006)
- Supervisor: Steffen Hölldobler
- Towards an Hierarchical Kalman Filter Approach to Robot Localisation and Mapping
- by Jeannette Bohg (31 Dezember 2005)
- Supervisor: Steffen Hölldobler
- Morphisms in Logic, Topology, and Formal Concept Analysis
- by Markus Krötzsch (1 Februar 2005)
- Supervisor: Steffen Hölldobler
- The Design of Modal Proof Theories: the case of S5
- by Phiniki Stouppa (20 Oktober 2004)
- Supervisor: Steffen Hölldobler
- Application of a Monocular Camera as a Motion Sensor for Mobile Robots
- by Tobias Pietzsch (1 März 2004)
- Supervisor: Steffen Hölldobler
- Geometry and Axiomatics of Commonsense: Fragments
- by Matthias Wendt (2004)
- Supervisor: Steffen Hölldobler
- From Logic Programs to Iterated Function Systems
- by Sebastian Bader (2003)
- Supervisor: Steffen Hölldobler
- Towards Automated Symbolic Dynamic Programming
- by Olga Skvortsova (2003)
- Supervisor: Steffen Hölldobler
- Level Mapping Characterizations for Quantitative and Disjunctive Logic Programs
- by Matthias Knorr (2003)
- Supervisor: Pascal Hitzler, Steffen Hölldobler
- A Camera Sensor Model for Sensor Fusion
- by Matthias Fichtner (2002)
- Supervisor: Steffen Hölldobler
- A Layered Architecture for Robot Control Using the Fluent Calculus
- by Andreas Henschel (2002)
- Supervisor: Steffen Hölldobler
- Properties of a Logical System in the Calculus of Structures
- by Alwen Fernanto Tiu (2001)
- Supervisor: Steffen Hölldobler
- Inkrementelle Fuzzy-Entscheidungsbäume
- by Marina Guetova (2001)
- Supervisor: Steffen Hölldobler
- First-Order Rule Learning Through a Pulsed Neural Network
- by Ashish Darbari (2000)
- Supervisor: Steffen Hölldobler
- Untersuchung von Verfahren zur stabilen Online-Adaption von neuronalen Prozesssteuerungen am Beispiel der Short-Stroke-Steuerung beim Walzen von Stahlband
- by Lars Beikirch (1998)
- Supervisor: Steffen Hölldobler
- Erweiterung des RNN-Modelles um SHRUTI-Konzepte: Vom aussagenlogischen zum prädikatenlogischen Schließen
- by Jörg Wunderlich (1998)
- Supervisor: Steffen Hölldobler
- A Constructive Connectionist Approach Towards Continual Robot Learning
- by Axel Großmann (1997)
- Supervisor: Steffen Hölldobler
- Bedingte und rekursive Aktionen im Fluent-Kalkül
- by Hans-Peter Störr (1997)
- Supervisor: Steffen Hölldobler
- Evaluierung eines Signalentstehungsmodells für Sonogramme mit einem diskreten Simulator
- by Martin Pätzug (1996)
- Supervisor: Steffen Hölldobler
- Vergleich ausgewählter schneller Lernalgorithmen für Neuronale Netze
- by Christian von Rozycki (1996)
- Supervisor: Steffen Hölldobler
- Rekursiver Autoassoziativer Speicher und Holographisch Reduzierte Repräsentation
- by Torsten Seiler (1996)
- Supervisor: Steffen Hölldobler
- Aktionen, Bedingungen und Ressourcen
- by Helko Lehmann (1996)
- Supervisor: Steffen Hölldobler
- A Resource-Oriented Deductive Approach Towards Hierarchical Planning
- by Kerstin Eder (1995)
- Supervisor: Steffen Hölldobler
- Ein massiv paralleles Berechnungsmodell für normale logische Programme
- by Yvonne Kalinke (1994)
- Supervisor: Steffen Hölldobler
EMCL (offered until 2017)
European Master's Program in Computational Logic
PSAT
Parallel Satisfiability Testing