Knowledge Representation and Reasoning
From International Center for Computational Logic
Knowledge Representation and Reasoning
- Contact Steffen Hölldobler
The Knowledge Representation and Reasoning group has two major parts: human reasoning and solving the satisfiability testing and related decision and discrete optimization problems. In both areas we focus on research, and on the other hand teach with most recent research results.
Former Members
Newest Publications
Emmanuelle-Anna Dietz Saldanha, Antonis Kakas
Cognitive Argumentation for Human Syllogistic Reasoning
KI, 33(3):229-242, 2019
Details
Julia Mertesdorf, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Marco Ragni
A Computational Theory for Model Construction, Variation and Inspection in Human Spatial Reasoning
17th International Conference on Cognitive Modelling Meetings (ICCM), 2019
Details
Emmanuelle-Anna Dietz Saldanha, Robert Schambach
Human Syllogistic Reasoning: Towards Predicting Individuals' Reasoning Behavior based on Cognitive Principles
In Christoph Beierle and Marco Ragni and Stolzenburg and Matthias Thimm, eds., Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief and the 7th Workshop & Kognition, volume 2445 of CEUR Workshop Proceedings, 2-13, 2019. CEUR-WS.org
Details
Emmanuelle-Anna Dietz Saldanha
From Logic Programming to Human Reasoning: How to be Artificially Human (abstract)
KI, 32(4):283-286, 2018
Details
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Carroline Kencana Ramli, Luis Palacios Medinacelli
A Core Method for the Weak Completion Semantics with Skeptical Abduction
Journal of Artificial Intelligence Research Special Track on Deep Learning, Knowledge Representation, and Reasoning, 63:51-86, 2018
Details
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Sibylle Schwarz, L.Yohanes Stefanus
The Weak Completion Semantics and Equality
In Gilles Barthe and Geoff Sutcliffe and Margus Veanes, eds., 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 57 of EPiC Series in Computing, 326-342, 2018. EasyChair
Details
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz
The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters
In Dietmar Seipel and Michael Hanus and Salvador Abreu, eds., Declarative Programming and Knowledge Management, volume 10997 of LNAI, 149-165, 2018. Springer Nature Switzerland AG
Details
Christoph Wernhard
Craig Interpolation and Access Interpolation with Clausal First-Order Tableaux
Technical Report, TU Dresden, volume 18-01, 2018. Knowledge Representation and Reasoning
Details
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Tobias Philipp
Contextual abduction and its complexity issues
In Richard Booth, Giovanni Casini, Ivan Varzinczak, eds., Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe), volume 1872 of CEUR Workshop Proceedings, 58–70, 2017. CEUR-WS.org
Details
Emmanuelle-Anna Dietz Saldanha
From Logic Programming to Human Reasoning: How to be Artificially Human
Phd thesis, TU Dresden, 2017/06/26
Details
Courses
- Courses by the KRR Group (WS 2020)
- Parameterized Algorithms and Implementations for SAT and Generalizations (SS 2020)
- Knowledge Representation and Reasoning Seminar (SS 2020)
- Human Reasoning and Computational Logic (WS 2019)
- Knowledge Representation and Reasoning Seminar (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
- Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics
- by Richard Mörbitz (2017)
- Supervisor: Steffen Hölldobler, Emmanuelle Dietz
- Monadic Reasoning with Weak Completion Semantics
- by Ana Costa (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
- Increasing the Robustness of SAT Solving with Machine Learning Techniques
- by Enrique Matos Alfonso (10 September 2014)
- Supervisor: Steffen Hölldobler, Norbert Manthey
- 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
- Polynomial Reduction from PESP to SAT
- by Peter Großmann (21 Oktober 2011)
- Supervisor: Peter Steinke
- 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
- Real-Time Structure from Motion Using Kalman Filtering
- by Jeannette Bohg (21 März 2005)
- Supervisor: Großer Beleg
- Extracting Logic Programs from Artificial Neural Networks
- by Jens Lehmann (22 Februar 2005)
- Supervisor: Großer Beleg
- 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
- Generalized Ultrametric Spaces in Quantitative Domain Theory
- by Markus Krötzsch (2004)
- Supervisor: -
- Geometry and Axiomatics of Commonsense: Fragments
- by Matthias Wendt (2004)
- Supervisor: Steffen Hölldobler
- Level Mapping Characterizations for Quantitative and Disjunctive Logic Programs
- by Matthias Knorr (2003)
- Supervisor: Pascal Hitzler, Steffen Hölldobler
- Towards Automated Symbolic Dynamic Programming
- by Olga Skvortsova (2003)
- Supervisor: Steffen Hölldobler
- From Logic Programs to Iterated Function Systems
- by Sebastian Bader (2003)
- Supervisor: Steffen Hölldobler
- EnTS - a new Entropy-based Tree-indexing System
- by Sebastian Bader (2002)
- Supervisor: Dr. Frederic Maire
- A Layered Architecture for Robot Control Using the Fluent Calculus
- by Andreas Henschel (2002)
- Supervisor: Steffen Hölldobler
- A Camera Sensor Model for Sensor Fusion
- by Matthias Fichtner (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
- Erweiterung des RNN-Modelles um SHRUTI-Konzepte: Vom aussagenlogischen zum prädikatenlogischen Schließen
- by Jörg Wunderlich (1998)
- 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
- Indirekte Gewichtskorrekturverfahren für Neuronale Netze
- by Lars Beikirch (1997)
- Supervisor: -
- Bedingte und rekursive Aktionen im Fluent-Kalkül
- by Hans-Peter Störr (1997)
- Supervisor: Steffen Hölldobler
- A Constructive Connectionist Approach Towards Continual Robot Learning
- by Axel Großmann (1997)
- Supervisor: Steffen Hölldobler
- Stabilitätsuntersuchungen von Neuronalen Netzen unter Verwendung der Theorien Dynamischer Systeme
- by Helko Lehmann (1996)
- Supervisor: -
- 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
- Evaluierung eines Signalentstehungsmodells für Sonogramme mit einem diskreten Simulator
- by Martin Pätzug (1996)
- Supervisor: Steffen Hölldobler
- Aktionen, Bedingungen und Ressourcen
- by Helko Lehmann (1996)
- Supervisor: Steffen Hölldobler
- Genetische Algorithmen und SAT-Probleme
- by Axel Grosmann (1995)
- Supervisor: -
- 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
