Theodor Lettmann

Publication Activity (10 Years)

Years Active: 1986-2013
Publications (10 Years): 0

Top Venues

SOCA

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Felix Mohr, Theodor Lettmann, Hans Kleine Büning
Reducing Nondeterminism in Automated Service Composition. SOCA (2013)
Theodor Lettmann, Michael Baumann, Markus Eberling, Thomas Kemmerich
Modeling Agents and Agent Systems. Trans. Comput. Collect. Intell. 5 (2011)
Benno Stein, Oliver Niggemann, Theodor Lettmann
Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT. Artificial Intelligence and Applications (2006)
Hans Kleine Büning, Theodor Lettmann
Resolution Remains Hard Under Equivalence. Discret. Appl. Math. (1999)
Hans Kleine Büning, Theodor Lettmann
Learning a Representation for Optimizable Formulas. ALT (1996)
Andreas Flögel, Hans Kleine Büning, Theodor Lettmann
On the Restricted Equivalence Subclasses of Propositional Logic. RAIRO Theor. Informatics Appl. 27 (4) (1993)
Bernd I. Dahn, Theodor Lettmann, Wolfgang Schönfeld
ILFA Interface Concept IWBS Report 193 (1991)
Hans Kleine Büning, Theodor Lettmann, Ernst W. Mayr
Projections of Vector Addition System Reachability Sets are Semilinear. Theor. Comput. Sci. 64 (3) (1989)
Hans Kleine Büning, Theodor Lettmann
First-Order Formulas in Conjunctive Quantificational Form. Math. Log. Q. 34 (1) (1988)
Hans Kleine Büning, Theodor Lettmann
Representation Independent Query and Update Operations on Propositional Definite Horn Formulas. Computation Theory and Logic (1987)
Hans Kleine Büning, Theodor Lettmann
Perspektiven für die Logikprogrammierung. Wissensrepräsentation in Expertensystemen (1987)
Hans Kleine Büning, Theodor Lettmann
Classes of First Order Formulas Under Various Satisfiability Definitions. CADE (1986)

Theodor Lettmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Theodor Lettmann