TUD Logo

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

Faculty of Computer Science

Publications and Technical Reports

Doctoral Theses

1
Sebastian Bader.
Neural-Symbolic Integration.
PhD thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Technische Universität Dresden, 2009.

2
Kai Brünnler.
Deep Inference and Symmetry in Classical Proofs.
PhD thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2003.

3
Ozan Kahramanogullari.
Nondeterminism and Language Design in Deep Inference.
PhD thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Technische Universität Dresden, 2006.

4
Norbert Manthey.
Towards Next Generation Sequential and Parallel SAT Solvers.
PhD thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Technische Universität Dresden, 2014.

5
Yvonne McIntyre.
Modellgenerierung mit konnektionistischen Systemen.
PhD thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2000.

6
Hans-Peter Störr.
Planen im Fluentkalkül mit binären Entscheidungsdiagrammen.
PhD thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2005.
Download: PS file.

7
Lutz Straßburger.
Linear Logic and Noncommutativity in the Calculus of Structures.
PhD thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2003.

8
Antje Strohmaier.
Logisches Schliesen mit massiv parallelen Methoden.
PhD thesis, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 1997.