TUD Logo

 Search 
TUD Home » ... » Institutes » Institute of Artificial Intelligence » Knowledge Representation and Reasoning » Publications

Faculty of Computer Science

Publications and Technical Reports

Prediploma Theses

Bibliography

1
Sebastian Bader.
EnTS - a new Entropy-based Tree-indexing System.
Download: PDF file, 2002.

2
Lars Beikirch.
Indirekte Gewichtskorrekturverfahren für Neuronale Netze.
Download: PS.GZ file, 1997.

3
Jeannette Bohg.
Real-Time Structure from Motion Using Kalman Filtering.
Download: PDF file, 2005.

4
Axel Grosmann.
Genetische Algorithmen und SAT-Probleme.
Download: PS.GZ file, 1995.

5
Raphael Höps.
A computational logic approach for spatial reasoning.
2014.

6
Matthias Knorr.
Level mapping characterizations for quantitative and disjunctive logic programs.
Download: PDF file, 2003.

7
Markus Krötzsch.
Generalized Ultrametric Spaces in Quantitative Domain Theory.
Download: PS.GZ file, 2004.

8
Helko Lehmann.
Stabilitätsuntersuchungen von Neuronalen Netzen unter Verwendung der Theorien Dynamischer Systeme.
Download: PS.GZ file, 1996.

9
Jens Lehmann.
Extracting Logic Programs from Artificial Neural Networks.
Download: PDF file, 2005.

10
Peter Großmann.
Polynomial reduction from pesp to sat.
2011.

11
Norbert Mantehy.
Memory hierarchy utilization of a sat solver.
Download: PDF file, 2010.

12
Valentin Mayer-Eichberger.
Extracting Propositional Logic Programs From Neural Networks: A Decompositional Approach.
Download: PDF file, 2006.

13
Markus Napierkowski.
Faktorisierung von natürlichen zahlen als sat-problem.
2014.

14
Tobias Philipp.
Human reasoning and abduction.
Bachelor Thesis, Download: PDF file, 2010.

15
Tobias Pietzsch.
Position estimation of a mobile robot using a single vehicle-mounted camera.
Download: PDF file, 2002.

16
Stephan Saalfeld.
A revised evaluation framework for region of interest detectors using artificial 3d-scenes.
Download: PDF file, 2007.

17
Torsten Seiler.
Konstruktion eines massiv parallelen Planers auf der Grundlage von AC.
Download: PS.GZ file, 1996.

18
Olga Skvortsova.
Symbolic Dynamic Programming.
Download: PDF file, 2002.

19
Christoph Spallek.
Untersuchung des einflusses von pixelunsicherheiten auf bundle-feature-parametrisierungen in der visuellen simultanen lokalisierung und kartenerstellung.
Download: PDF file, 2009.

20
Robert Stelzmann.
Learning in the context of a formal calculus for the boolean satisfiability problem.
2010.

21
Alwen Fernanto Tiu.
Combining A1 and AC1 Unification.
Download PS.GZ file (A1-Unification), PS.GZ file (Combining A1- and AC1-Unification Sharing Unit), 2001.

22
Matthias Wendt.
Towards a unified view of the hierarchy of logic program classes.
Download: PS.GZ file, 2002.

23
Konrad Winkler.
Bestimmung von abhängigkeiten zwischen spieleigenschaften im general game playing.
2010.

24
Andreas Witzel.
Integrating First-Order Logic Programs and Connectionist Systems - A Constructive Approach.
Download: PDF file, 2005.

25
Jörg Wunderlich.
Neuronale Netze zum induktiven Lernen über Aussagenlogischen Programmen.
Download: PS.GZ file, 1997.

26
Michael Zitzmann.
Kamerabasierte personenortung.
Download: PDF file, 2008.