Diploma/Master Theses

1

Sebastian Bader.
From Logic Programs to Iterated Function Systems.
Master's thesis, Institute for Artificial Intelligence, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 2003.
Download: PS.GZ file.

2

Lars Beikirch.
Untersuchung von Verfahren zur stabilen Online-Adaption von neuronalen Prozesssteuerungen am Beispiel der Short-Stroke-Steuerung beim Walzen von Stahlband.
Master's thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 1998.

3

Jeannette Bohg.
Towards an Hierarchical Kalman Filter Approach to Robot Localisation and Mapping.
Master's thesis, Institute for Artificial Intelligence, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 2005.
Download: PDF file.

4

Natalia Cherchago.
Decidability of reasoning under the well-founded semantics.
Master's thesis, Institute for Artificial Intelligence, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, March 2010.
Download: PDF file.

5

Junhyuk Cho.
Proof by Pointing and Selecting.
Master's thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 2006.

6

Ashish Darbari.
First-Order rule learning through a Pulsed Neural Network.
Master's thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 2000.
Download: PS.GZ file.

7

Kerstin Eder.
A resource-oriented deductive approach towards hierarchical planning.
Master's thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 1995.
Download: PS.GZ file.

8

Matthias Fichtner.
A Camera Sensor Model for Sensor Fusion.
Master's thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 2002.
Download: PS.GZ file.

9

Jan Funke.
An integrative approach to object recognition in VSLAM.
Master's thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 2010.
Download: PDF file.

10

Marco Gario.
Backdoors for sat.
Master's thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 2011.
Download: PDF file.

11

Axel Großmann.
A constructive connectionist approach towards continual robot learning.
Master's thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 1997.
Download: PS.GZ file.

12

Marina Guetova.
Inkrementelle Fuzzy-Entscheidungsbäume.
Master's thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 2001.
Download: PS.GZ file.

13

Andreas Henschel.
A layered architecture for robot control using the Fluent Calculus.
Master's thesis, Institute for Artificial Intelligence, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 2002.
Download: PS.GZ file.

14

Yvonne Kalinke.
Ein massiv paralleles Berechnungsmodell für normale logische Programme.
Master's thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 1994.
Download: PS.GZ file.

15

Markus Krötzsch.
Morphisms in Logic, Topology, and Formal Concept Analysis.
Master's thesis, Institute for Artificial Intelligence, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 2005.
Download: PDF file.

16

Helko Lehmann.
Aktionen, Bedingungen und Ressourcen.
Master's thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 1996.
Download: PS.GZ file.

17

Jens Lehmann.
Concept Learning in Description Logics.
Master's thesis, Department of Computer Science, Technische Universität Dresden, 2006.
Download: PDF file.

18

Norbert Manthey.
Improving sat solvers using state-of-the-art techniques.
Master's thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 2010.
Download: PDF file.

19

Martin Pätzug.
Evaluierung eines Signalentstehungsmodells für Sonogramme mit einem diskreten Simulator.
Master's thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 1996.
Download: PS.GZ file.

20

Tobias Pietzsch.
Application of a monocular camera as a motion sensor for mobile robots.
Master's thesis, Institute for Artificial Intelligence, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 2004.
Download: PDF file.

21

Carroline Dewi Puspa Kencana Ramli.
Logic programs and three-valued consequence operators.
Master's thesis, Institute for Artificial Intelligence, Department of Computer Science, Technische Universität Dresden, 2009.
Download: PDF file.

22

Georg Rammé.
"-subsumption algorithms".
Master's thesis, Institute for Artificial Intelligence, Department of Computer Science, Technische Universität Dresden, 2007.
Download: PDF file.

23

Max Schäfer.
"Towards a Categorical Semantics for the Open Calculus of Constructions".
Master's thesis, Institute for Artificial Intelligence, Department of Computer Science, Technische Universität Dresden, 2007.

24

Torsten Seiler.
Rekursiver Autoassoziativer Speicher und Holographisch Reduzierte Repräsentation.
Master's thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 1996.
Download: PS.GZ file.

25

Ran Shao.
Predicting the Performance of Wireless Communication Networks.
Master's thesis, Institute for Artificial Intelligence, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 2007.

26

Olga Skvortsova.
Towards Automated Symbolic Dynamic Programming.
Master's thesis, Institute for Artificial Intelligence, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 2003.
Download: PS.GZ file.

27

Christoph Spallek.
Standortplanung bei behörden und organisationen mit sicherheitsaufgaben.
Master's thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 2010.

28

Hans-Peter Störr.
Bedingte und rekursive Aktionen im Fluent-Kalkül.
Master's thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 1997.
Download: PS.GZ file.

29

Phiniki Stouppa.
The Design of Modal Proof Theories: the case of .
Master's thesis, Institute for Artificial Intelligence, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 2004.
Download: PDF file.

30

Alwen Fernanto Tiu.
Properties of a logical system in the calculus of structures.
Master's thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Technische Universität Dresden, 2001.

31

Armin Troy.
Hybrid Logic in the Calculus Structures.
Master's thesis, Institute for Artificial Intelligence, Department of Computer Science, Technische Universität Dresden, 2008.
Download: PDF file.

32

Christian von Rozycki.
Vergleich ausgewählter schneller Lernalgorithmen für Neuronale Netze.
Master's thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 1996.

33

Matthias Wendt.
Geometry and Axiomatics of Commonsense: Fragments.
Master's thesis, Institute for Artificial Intelligence, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 2004.

34

Andreas Witzel.
Neural-Symbolic Integration - Constructive Approaches.
Master's thesis, Institute for Artificial Intelligence, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 2006.
Download: PDF file.

35

Jörg Wunderlich.
Erweiterung des RNN-Modelles um SHRUTI-Konzepte: Vom aussagenlogischen zum prädikatenlogischen Schließen.
Master's thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Technische Universität Dresden, Dresden, Germany, 1998.
Download: PS.GZ file.