Knowledge Representation and Reasoning: Completed Theses
From International Center for Computational Logic
Completed Theses
Research group: Wissensverarbeitung
Master's Theses
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Inkrementelle Fuzzy-Entscheidungsbäume
- by Marina Guetova (2001)
- Supervisor: Steffen Hölldobler
- Properties of a Logical System in the Calculus of Structures
- by Alwen Fernanto Tiu (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
- 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
- Evaluierung eines Signalentstehungsmodells für Sonogramme mit einem diskreten Simulator
- by Martin Pätzug (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
Diploma Theses
- Concept Learning in Description Logics
- by Jens Lehmann (12 September 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
Bachelor's Theses
- A Computational Logic Approach for Spatial Reasoning
- by Raphael Höps (2014)
- Supervisor: Steffen Hölldobler, Emmanuelle Dietz
- Extracting Propositional Logic Programs From Neural Networks: A Decompositional Approach.
- by Valentin Mayer-Eichberger (24 Januar 2006)
- Supervisor: Steffen Hölldobler, Sebastian Bader
- Level Mapping Characterizations for Quantitative and Disjunctive Logic Programs
- by Matthias Knorr (2003)
- Supervisor: Pascal Hitzler, Steffen Hölldobler
Project 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
- Polynomial Reduction from PESP to SAT
- by Peter Großmann (21 Oktober 2011)
- Supervisor: Peter Steinke
- Memory Hierarchy Utilization of a SAT Solver
- by Norbert Mantehy (31 März 2010)
- Supervisor: Steffen Hölldobler, Hermann Härtig
- Extracting Propositional Logic Programs From Neural Networks: A Decompositional Approach.
- by Valentin Mayer-Eichberger (24 Januar 2006)
- Supervisor: Steffen Hölldobler, Sebastian Bader
- 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
- Generalized Ultrametric Spaces in Quantitative Domain Theory
- by Markus Krötzsch (2004)
- Supervisor: -
- Level Mapping Characterizations for Quantitative and Disjunctive Logic Programs
- by Matthias Knorr (2003)
- Supervisor: Pascal Hitzler, Steffen Hölldobler
- EnTS - a new Entropy-based Tree-indexing System
- by Sebastian Bader (2002)
- Supervisor: Dr. Frederic Maire
- Indirekte Gewichtskorrekturverfahren für Neuronale Netze
- by Lars Beikirch (1997)
- Supervisor: -
- Stabilitätsuntersuchungen von Neuronalen Netzen unter Verwendung der Theorien Dynamischer Systeme
- by Helko Lehmann (1996)
- Supervisor: -
- Genetische Algorithmen und SAT-Probleme
- by Axel Grosmann (1995)
- Supervisor: -
