Hüllermeier, Eyke. “Hierarchical  Propagation of Uncertain Constraints.” In In Proceedings EUFIT-97 5th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, edited by H.J. Zimmermann, 953–57, 1997.
LibreCat: /record/15290

Hüllermeier, Eyke. “Approximation of Fuzzy Functions.” In In Proceedings 4.Internationaler Workshop Fuzzy-Neuro-Systeme. Soest Germany, edited by A. Grauel, W. Becker, and F. Belli, 374–81, 1997.
LibreCat: /record/15291

Hüllermeier, Eyke. “Modellierung Und Simulation Unsicherer Dynamischer Systeme Und Anwendungen in Der Diagnose.” In In Proceedings ASIM Fachgruppentagung Soft Computing, edited by D.P.F. Möller and O. Richter, 1997.
LibreCat: /record/15811

Hüllermeier, Eyke. “A New Approach to Modelling and Simulation of Uncertain Dynamical Systems.” International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5, no. 2 (1997): 117–37.
LibreCat: /record/16201

Kleine Büning, Hans, and Theodor Lettmann. “Learning a Representation for Optimizable Formulas.”https://doi.org/10.1007/3-540-61863-5_33__In Lecture Notes in Computer Science. Berlin, Heidelberg, 1996.https://doi.org/10.1007/3-540-61863-5_33 .
LibreCat: /record/19816
DOI: 10.1007/3-540-61863-5_33

Hüllermeier, Eyke. “Approminate Probabilistic Reasoning with Fuzzy Constraints.” In In Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, edited by H.J. Zimmermann, 1996.
LibreCat: /record/15292

Hüllermeier, Eyke. “A Fuzzy Simulation Method.” In International Symposium on Soft Computing, Reading U.K., edited by P.G. Anderson and K. Warwick, 0–36. ICSC Academic Press, 1996.
LibreCat: /record/15293

Hüllermeier, Eyke. “Hierarchical Constraint Propagation Based on Interval Arithmetic.” In In Proceedings Interval-96 International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, Würzburg, 54–55, 1996.
LibreCat: /record/15304

Hüllermeier, Eyke. “Towards Modelling of Fuzzy Functions.” In In Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, edited by H.J. Zimmermann, 150–54, 1995.
LibreCat: /record/15294

Hüllermeier, Eyke. “Rule-Based Modelling in Fuzzy Simulation.” In In Proceedings ISFL-95 International Symposium on Logic, Zürich, –56. ICSC Academic Press, 1995.
LibreCat: /record/15295

Hüllermeier, Eyke. “Fuzzy Polynomial and Spline Interpolation.” In In Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin, 401–4. Gordon and Breach Publishers, 1995.
LibreCat: /record/15305

Hüllermeier, Eyke. “Konjunkturzyklen Aufgrund von Investitionsinterdependenzen:  Simulation Und Empirische Überprüfung.” In Moderne Makroökonomie-Eine Kritische Bestandsaufnahme, edited by J. Flemmig, 413–54. Metropolis, 1995.
LibreCat: /record/16236

Hüllermeier, Eyke. “Approximate Solution of a Linear Programming Problem Using a Modified Perceptron-Algorithm.” In In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, edited by H.J. Zimmermann, 195–99, 1994.
LibreCat: /record/15296

Flögel, A., H. Kleine Büning, and Theodor Lettmann. “On the Restricted Equivalence for Subclasses of Propositional Logic.”https://doi.org/10.1051/ita/1993270403271__RAIRO - Theoretical Informatics and Applications, 1993, 327–40.https://doi.org/10.1051/ita/1993270403271 .
LibreCat: /record/19814
DOI: 10.1051/ita/1993270403271

Dahn, Bernd I., Theodor Lettmann, and Wolfgang Schönfeld. ILFA Interface Concept. Vol. 193. IWBS Report. ´Heidelberg: Wissenschaftliche Zentrum der IBM Deutschland , 1991.
LibreCat: /record/19822

Kleine Büning, Hans, Theodor Lettmann, and Ernst W. Mayr. “Projections of Vector Addition System Reachability Sets Are Semilinear.”https://doi.org/10.1016/0304-3975(89)90055-8__Theoretical Computer Science, 1989, 343–50.https://doi.org/10.1016/0304-3975(89)90055-8 .
LibreCat: /record/19818
DOI: 10.1016/0304-3975(89)90055-8

Kleine Büning, Hans, and Theodor Lettmann. “Perspektiven Für Die Logikprogrammierung.” In Workshop Wissensrepräsentation in Expertensystemen, edited by G. Rahmstorf, 56–78. Berlin, Heidelberg, 1988.
LibreCat: /record/19820

Büning, Hans Kleine, and Theodor Lettmann. “Representation Independent Query and Update Operations on Propositional Definite Horn Formulas.”https://doi.org/10.1007/3-540-18170-9_167__In Computation Theory and Logic, edited by Egon Börger, 208–23. Berlin, Heidelberg, 1987.https://doi.org/10.1007/3-540-18170-9_167 .
LibreCat: /record/19821
DOI: 10.1007/3-540-18170-9_167

Kleine Büning, H., and Theodor Lettmann. “Classes of First Order Formulas under Various Satisfiability Definitions.”https://doi.org/10.1007/3-540-16780-3_119__In 8th International Conference on Automated Deduction. Berlin, Heidelberg, 1986.https://doi.org/10.1007/3-540-16780-3_119 .
LibreCat: /record/19819
DOI: 10.1007/3-540-16780-3_119