Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Die Universität Paderborn – Ansicht von Nordost. (Juni 2018) Bildinformationen anzeigen
Die Paderborner Innenstadt und der Dom – Ansicht von Südost. (Juni 2018) Bildinformationen anzeigen
Der Campus an der Fürstenallee mit dem Heinz Nixdorf Institut und dem Padersee – Ansicht von Südwest. (Juni 2018) Bildinformationen anzeigen
Die Paderborner Innenstadt und der Dom – Ansicht von Nordost. (Juni 2018) Bildinformationen anzeigen
Ankommen in Paderborn: Das Schienennetz am Hauptbahnhof – Ansicht von Nordwest. (Juni 2018) Bildinformationen anzeigen
Ausgründungen, Start-Ups und Technologietransfer: Der Technologiepark und die Universität Paderborn – Ansicht von Südwest. (Juni 2018) Bildinformationen anzeigen
Die Universität Paderborn – Ansicht von Südost. (Juni 2018) Bildinformationen anzeigen

Rundflug über Paderborn

Die Universität Paderborn – Ansicht von Nordost. (Juni 2018)

Foto: Universität Paderborn, Johannes Pauly

Rundflug über Paderborn

Die Paderborner Innenstadt und der Dom – Ansicht von Südost. (Juni 2018)

Foto: Universität Paderborn, Kamil Glabica

Rundflug über Paderborn

Der Campus an der Fürstenallee mit dem Heinz Nixdorf Institut und dem Padersee – Ansicht von Südwest. (Juni 2018)

Foto: Universität Paderborn, Kamil Glabica

Rundflug über Paderborn

Die Paderborner Innenstadt und der Dom – Ansicht von Nordost. (Juni 2018)

Foto: Universität Paderborn, Kamil Glabica

Rundflug über Paderborn

Ankommen in Paderborn: Das Schienennetz am Hauptbahnhof – Ansicht von Nordwest. (Juni 2018)

Foto: Universität Paderborn, Johannes Pauly

Rundflug über Paderborn

Ausgründungen, Start-Ups und Technologietransfer: Der Technologiepark und die Universität Paderborn – Ansicht von Südwest. (Juni 2018)

Foto: Universität Paderborn, Johannes Pauly

Rundflug über Paderborn

Die Universität Paderborn – Ansicht von Südost. (Juni 2018)

Foto: Universität Paderborn, Johannes Pauly

Dr. Theodor Lettmann

Kontakt
Publikationen
Dr. Theodor Lettmann

Intelligente Systeme und Maschinelles Lernen

Mitglied - Akademischer Oberrat

Institut für Informatik > Wissensbasierte Systeme

Mitglied - Akademischer Oberrat

Telefon:
+49 5251 60-3350
Telefon:
05251/60-3361
Fax:
+49 5251 60-1763
Büro:
O4.173 (Karte)
Sprechzeiten:

nach Vereinbarung

Web:
Besucher:
Pohlweg 51
33098 Paderborn
Postanschrift:
Warburger Str. 100
33098 Paderborn

F. Mohr, T. Lettmann, E. Hüllermeier, M.D. Wever.
Programmatic Task Network Planning
Proc. Automated Planning and Scheduling 2018

M.-C. Jakobs, J. Krämer, D. van Straaten, T. Lettmann.
Certification Matters for Service Markets
Proc. Advanced Service Computing 2017

F. Mohr, T. Lettmann, H. Kleine Büning.
Reducing Nondeterminism in Service Composition
Proc. SOCA 2013

T. Lettmann, M. Baumann, M. Eberling, T. Kemmerich.
Modeling Agents and Agent Systems
Trans. Computational Collective Intelligence 2011

B. Stein, O. Niggemann, T. Lettmann.
Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT
Proc. Artificial Intelligence and Applications 2006

T. Lettmann, B. Stein.
An Extensible Synthesis Framework
Proc. Workshop Planen und Konfigurieren 2004

H. Kleine Büning, T. Lettmann.
Resolution Remains Hard Under Equivalence
Discrete Applied Mathematics 1999

H. Kleine Büning, T. Lettmann.
Propositional Logic : Deduction and Algorithms
Cambridge University Press 1996

H. Kleine Büning, T. Lettmann.
Learning a Representation for Optimizable Formulas
Proc. ALT 1996

H. Kleine Büning, T. Lettmann.
Aussagenlogik - Deduktion und Algorithmen
Teubner Verlag 1994

A. Flögel, H. Kleine Büning, T. Lettmann.
On the Restricted Equivalence Subclasses of Propositional Logic
ITA 1993

B.I. Dahn, T. Lettmann, W. Schönfeld.
ILFA Interface Concept
IWBS Report 1991

H. Kleine Büning, T. Lettmann, E.W. Mayr.
Projections of Vector Addition System Reachability Sets are Semilinear
Theor. Comput. Sci. 1989

H. Kleine Büning, T. Lettmann.
First-Order Formulas in Conjunctive Quantificational Form
Math. Log. Q. 1988

H. Kleine Büning, T. Lettmann.
Representation Independent Query and Update Operations on Propositional Definite Horn Formulas
Computation Theory and Logic 1987

H. Kleine Büning, T. Lettmann.
Perspektiven für die Logikprogrammierung
Proc. Wissensrepräsentation in Expertensystemen 1987

H. Kleine Büning, T. Lettmann.
Classes of First Order Formulas Under Various Satisfiability Definitions
Proc. CADE 1986

Die Universität der Informationsgesellschaft