Wissensverarbeitung: Abgeschlossene Arbeiten
Aus International Center for Computational Logic
Abgeschlossene Arbeiten
Forschungsgruppe: Wissensverarbeitung
Masterarbeiten
- Automated Reasoning Support for Process Models using Action Languages
- von Itzel Vázquez Sandoval (28 September 2014)
- Betreuer: Steffen Hölldobler
- Increasing the Robustness of SAT Solving with Machine Learning Techniques
- von Enrique Matos Alfonso (10 September 2014)
- Betreuer: Steffen Hölldobler, Norbert Manthey
- Planning problems in Petri Nets and Fluent Calculus
- von Ferdian Jovan (4 April 2014)
- Betreuer: Steffen Hölldobler
- Backdoors for SAT
- von Marco Gario (1 Oktober 2011)
- Betreuer: Steffen Hölldobler
- Reasoning with Text Annotations
- von Sudeep Ghimire (1 April 2011)
- Betreuer: Steffen Hölldobler
- Reaching Definability via Abduction
- von Evgeny Sherkhonov (2011)
- Betreuer: Steffen Hölldobler
- Improving SAT Solvers Using State-of-the-Art Techniques
- von Norbert Manthey (15 Dezember 2010)
- Betreuer: Steffen Hölldobler
- An Integrative Approach to Object Recognition in VSLAM
- von Jan Funke (15 September 2010)
- Betreuer: Steffen Hölldobler
- Decidability of Reasoning under the Well-Founded Semantics
- von Natalia Cherchago (2010)
- Betreuer: Steffen Hölldobler
- Standortplanung bei Behörden und Organisationen mit Sicherheitsaufgaben
- von Christoph Spallek (2010)
- Betreuer: Steffen Hölldobler
- Logic Programs and Three-Valued Consequence Operators
- von Carroline Dewi Puspa Kencana Ramli (1 August 2009)
- Betreuer: Steffen Hölldobler
- Hybrid Logic in the Calculus Structures
- von Armin Troy (2008)
- Betreuer: Steffen Hölldobler
- θ-subsumption algorithms
- von Georg Rammé (29 Oktober 2007)
- Betreuer: Steffen Hölldobler
- Towards a Categorical Semantics for the Open Calculus of Constructions
- von Max Schäfer (13 März 2007)
- Betreuer: Steffen Hölldobler
- Predicting the Performance of Wireless Communication Networks
- von Ran Shao (2007)
- Betreuer: Steffen Hölldobler
- Proof by Pointing and Selecting
- von Junhyuk Cho (2006)
- Betreuer: Steffen Hölldobler
- Neural-Symbolic Integration - Constructive Approaches
- von Andreas Witzel (1 Januar 2006)
- Betreuer: Steffen Hölldobler
- Morphisms in Logic, Topology, and Formal Concept Analysis
- von Markus Krötzsch (1 Februar 2005)
- Betreuer: Steffen Hölldobler
- The Design of Modal Proof Theories: the case of S5
- von Phiniki Stouppa (20 Oktober 2004)
- Betreuer: Steffen Hölldobler
- Application of a Monocular Camera as a Motion Sensor for Mobile Robots
- von Tobias Pietzsch (1 März 2004)
- Betreuer: Steffen Hölldobler
- Geometry and Axiomatics of Commonsense: Fragments
- von Matthias Wendt (2004)
- Betreuer: Steffen Hölldobler
- Towards Automated Symbolic Dynamic Programming
- von Olga Skvortsova (2003)
- Betreuer: Steffen Hölldobler
- From Logic Programs to Iterated Function Systems
- von Sebastian Bader (2003)
- Betreuer: Steffen Hölldobler
- A Camera Sensor Model for Sensor Fusion
- von Matthias Fichtner (2002)
- Betreuer: Steffen Hölldobler
- A Layered Architecture for Robot Control Using the Fluent Calculus
- von Andreas Henschel (2002)
- Betreuer: Steffen Hölldobler
- Inkrementelle Fuzzy-Entscheidungsbäume
- von Marina Guetova (2001)
- Betreuer: Steffen Hölldobler
- Properties of a Logical System in the Calculus of Structures
- von Alwen Fernanto Tiu (2001)
- Betreuer: Steffen Hölldobler
- First-Order Rule Learning Through a Pulsed Neural Network
- von Ashish Darbari (2000)
- Betreuer: Steffen Hölldobler
- Untersuchung von Verfahren zur stabilen Online-Adaption von neuronalen Prozesssteuerungen am Beispiel der Short-Stroke-Steuerung beim Walzen von Stahlband
- von Lars Beikirch (1998)
- Betreuer: Steffen Hölldobler
- Erweiterung des RNN-Modelles um SHRUTI-Konzepte: Vom aussagenlogischen zum prädikatenlogischen Schließen
- von Jörg Wunderlich (1998)
- Betreuer: Steffen Hölldobler
- A Constructive Connectionist Approach Towards Continual Robot Learning
- von Axel Großmann (1997)
- Betreuer: Steffen Hölldobler
- Bedingte und rekursive Aktionen im Fluent-Kalkül
- von Hans-Peter Störr (1997)
- Betreuer: Steffen Hölldobler
- Vergleich ausgewählter schneller Lernalgorithmen für Neuronale Netze
- von Christian von Rozycki (1996)
- Betreuer: Steffen Hölldobler
- Rekursiver Autoassoziativer Speicher und Holographisch Reduzierte Repräsentation
- von Torsten Seiler (1996)
- Betreuer: Steffen Hölldobler
- Aktionen, Bedingungen und Ressourcen
- von Helko Lehmann (1996)
- Betreuer: Steffen Hölldobler
- Evaluierung eines Signalentstehungsmodells für Sonogramme mit einem diskreten Simulator
- von Martin Pätzug (1996)
- Betreuer: Steffen Hölldobler
- A Resource-Oriented Deductive Approach Towards Hierarchical Planning
- von Kerstin Eder (1995)
- Betreuer: Steffen Hölldobler
- Ein massiv paralleles Berechnungsmodell für normale logische Programme
- von Yvonne Kalinke (1994)
- Betreuer: Steffen Hölldobler
Diplomarbeiten
- Concept Learning in Description Logics
- von Jens Lehmann (12 September 2006)
- Betreuer: Steffen Hölldobler
- Towards an Hierarchical Kalman Filter Approach to Robot Localisation and Mapping
- von Jeannette Bohg (31 Dezember 2005)
- Betreuer: Steffen Hölldobler
Bachelorarbeiten
- Menschliches räumliches Schließen und Ansätze aus der Computational Logic
- von Raphael Höps (2014)
- Betreuer: Steffen Hölldobler, Emmanuelle Dietz
- Extracting Propositional Logic Programs From Neural Networks: A Decompositional Approach.
- von Valentin Mayer-Eichberger (24 Januar 2006)
- Betreuer: Steffen Hölldobler, Sebastian Bader
- Level Mapping Characterizations for Quantitative and Disjunctive Logic Programs
- von Matthias Knorr (2003)
- Betreuer: Pascal Hitzler, Steffen Hölldobler
Studienarbeiten
- Präprozessortechniken für Pseudo-Boolean-Constraints
- von Timo Richter (22 März 2017)
- Betreuer: Steffen Hölldobler, Peter Steinke
- Monadic Reasoning with Weak Completion Semantics
- von Ana Costa (2017)
- Betreuer: Steffen Hölldobler, Emmanuelle Dietz
- Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics
- von Richard Mörbitz (2017)
- Betreuer: Steffen Hölldobler, Emmanuelle Dietz
- Polynomial Reduction from PESP to SAT
- von Peter Großmann (21 Oktober 2011)
- Betreuer: Peter Steinke
- Memory Hierarchy Utilization of a SAT Solver
- von Norbert Mantehy (31 März 2010)
- Betreuer: Steffen Hölldobler, Hermann Härtig
- Extracting Propositional Logic Programs From Neural Networks: A Decompositional Approach.
- von Valentin Mayer-Eichberger (24 Januar 2006)
- Betreuer: Steffen Hölldobler, Sebastian Bader
- Real-Time Structure from Motion Using Kalman Filtering
- von Jeannette Bohg (21 März 2005)
- Betreuer: Großer Beleg
- Extracting Logic Programs from Artificial Neural Networks
- von Jens Lehmann (22 Februar 2005)
- Betreuer: Großer Beleg
- Generalized Ultrametric Spaces in Quantitative Domain Theory
- von Markus Krötzsch (2004)
- Betreuer: -
- Level Mapping Characterizations for Quantitative and Disjunctive Logic Programs
- von Matthias Knorr (2003)
- Betreuer: Pascal Hitzler, Steffen Hölldobler
- EnTS - a new Entropy-based Tree-indexing System
- von Sebastian Bader (2002)
- Betreuer: Dr. Frederic Maire
- Indirekte Gewichtskorrekturverfahren für Neuronale Netze
- von Lars Beikirch (1997)
- Betreuer: -
- Stabilitätsuntersuchungen von Neuronalen Netzen unter Verwendung der Theorien Dynamischer Systeme
- von Helko Lehmann (1996)
- Betreuer: -
- Genetische Algorithmen und SAT-Probleme
- von Axel Grosmann (1995)
- Betreuer: -
