@inproceedings{15290,
  author       = {{Hüllermeier, Eyke}},
  booktitle    = {{in Proceedings EUFIT-97 5th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany}},
  editor       = {{Zimmermann, H.J.}},
  pages        = {{953--957}},
  title        = {{{Hierarchical  propagation of uncertain constraints}}},
  year         = {{1997}},
}

@inproceedings{15291,
  author       = {{Hüllermeier, Eyke}},
  booktitle    = {{in Proceedings 4.Internationaler Workshop Fuzzy-Neuro-Systeme. Soest Germany}},
  editor       = {{Grauel, A. and Becker, W. and Belli, F.}},
  pages        = {{374--381}},
  title        = {{{Approximation of fuzzy functions}}},
  year         = {{1997}},
}

@inproceedings{15811,
  author       = {{Hüllermeier, Eyke}},
  booktitle    = {{In Proceedings ASIM Fachgruppentagung Soft Computing}},
  editor       = {{Möller, D.P.F. and Richter, O.}},
  title        = {{{Modellierung und Simulation unsicherer dynamischer Systeme und Anwendungen in der Diagnose}}},
  year         = {{1997}},
}

@article{16201,
  author       = {{Hüllermeier, Eyke}},
  journal      = {{International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems}},
  number       = {{2}},
  pages        = {{117--137}},
  title        = {{{A new approach to modelling and simulation of uncertain dynamical systems}}},
  volume       = {{5}},
  year         = {{1997}},
}

@inbook{19816,
  author       = {{Kleine Büning, Hans and Lettmann, Theodor}},
  booktitle    = {{Lecture Notes in Computer Science}},
  isbn         = {{9783540618638}},
  issn         = {{0302-9743}},
  title        = {{{Learning a representation for optimizable formulas}}},
  doi          = {{10.1007/3-540-61863-5_33}},
  year         = {{1996}},
}

@inproceedings{15292,
  author       = {{Hüllermeier, Eyke}},
  booktitle    = {{in Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany}},
  editor       = {{Zimmermann, H.J.}},
  title        = {{{Approminate probabilistic reasoning with fuzzy constraints}}},
  year         = {{1996}},
}

@inproceedings{15293,
  author       = {{Hüllermeier, Eyke}},
  booktitle    = {{International Symposium on Soft Computing, Reading U.K.}},
  editor       = {{Anderson, P.G. and Warwick, K.}},
  pages        = {{B230--B236}},
  publisher    = {{ICSC Academic Press}},
  title        = {{{A fuzzy simulation method}}},
  year         = {{1996}},
}

@inproceedings{15304,
  author       = {{Hüllermeier, Eyke}},
  booktitle    = {{in Proceedings Interval-96 international Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, Würzburg}},
  pages        = {{54--55}},
  title        = {{{Hierarchical constraint propagation based on interval arithmetic}}},
  year         = {{1996}},
}

@inproceedings{15294,
  author       = {{Hüllermeier, Eyke}},
  booktitle    = {{in Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany}},
  editor       = {{Zimmermann, H.J.}},
  pages        = {{150--154}},
  title        = {{{Towards modelling of fuzzy functions}}},
  year         = {{1995}},
}

@inproceedings{15295,
  author       = {{Hüllermeier, Eyke}},
  booktitle    = {{in Proceedings ISFL-95 International Symposium on Logic, Zürich}},
  pages        = {{B49--B56}},
  publisher    = {{ICSC Academic Press}},
  title        = {{{Rule-based modelling in fuzzy simulation}}},
  year         = {{1995}},
}

@inproceedings{15305,
  author       = {{Hüllermeier, Eyke}},
  booktitle    = {{in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin}},
  pages        = {{401--404}},
  publisher    = {{Gordon and Breach Publishers}},
  title        = {{{Fuzzy polynomial and spline interpolation}}},
  year         = {{1995}},
}

@inbook{16236,
  author       = {{Hüllermeier, Eyke}},
  booktitle    = {{Moderne Makroökonomie-Eine kritische Bestandsaufnahme}},
  editor       = {{Flemmig, J.}},
  pages        = {{413--454}},
  publisher    = {{Metropolis}},
  title        = {{{Konjunkturzyklen aufgrund von Investitionsinterdependenzen:  Simulation und empirische Überprüfung}}},
  year         = {{1995}},
}

@inproceedings{15296,
  author       = {{Hüllermeier, Eyke}},
  booktitle    = {{in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany}},
  editor       = {{Zimmermann, H.J.}},
  pages        = {{195--199}},
  title        = {{{Approximate solution of a linear programming problem using a modified perceptron-algorithm.}}},
  year         = {{1994}},
}

@article{19814,
  author       = {{Flögel, A. and Kleine Büning, H. and Lettmann, Theodor}},
  issn         = {{0988-3754}},
  journal      = {{RAIRO - Theoretical Informatics and Applications}},
  pages        = {{327--340}},
  title        = {{{On the restricted equivalence for subclasses of propositional logic}}},
  doi          = {{10.1051/ita/1993270403271}},
  year         = {{1993}},
}

@techreport{19822,
  author       = {{Dahn, Bernd I. and Lettmann, Theodor and Schönfeld, Wolfgang}},
  publisher    = {{Wissenschaftliche Zentrum der IBM Deutschland }},
  title        = {{{ILFA Interface Concept}}},
  volume       = {{193}},
  year         = {{1991}},
}

@article{19818,
  author       = {{Kleine Büning, Hans and Lettmann, Theodor and Mayr, Ernst W.}},
  issn         = {{0304-3975}},
  journal      = {{Theoretical Computer Science}},
  pages        = {{343--350}},
  title        = {{{Projections of vector addition system reachability sets are semilinear}}},
  doi          = {{10.1016/0304-3975(89)90055-8}},
  year         = {{1989}},
}

@inproceedings{19820,
  author       = {{Kleine Büning, Hans and Lettmann, Theodor}},
  booktitle    = {{Workshop Wissensrepräsentation in Expertensystemen}},
  editor       = {{Rahmstorf, G.}},
  isbn         = {{9783540192169}},
  issn         = {{0343-3005}},
  pages        = {{56--78}},
  title        = {{{Perspektiven für die Logikprogrammierung}}},
  year         = {{1988}},
}

@inbook{19821,
  author       = {{Büning, Hans Kleine and Lettmann, Theodor}},
  booktitle    = {{Computation Theory and Logic}},
  editor       = {{Börger, Egon}},
  isbn         = {{9783540181705}},
  issn         = {{0302-9743}},
  pages        = {{208--223}},
  title        = {{{Representation independent query and update operations on propositional definite Horn formulas}}},
  doi          = {{10.1007/3-540-18170-9_167}},
  year         = {{1987}},
}

@inbook{19819,
  author       = {{Kleine Büning, H. and Lettmann, Theodor}},
  booktitle    = {{8th International Conference on Automated Deduction}},
  isbn         = {{9783540167808}},
  issn         = {{0302-9743}},
  title        = {{{Classes of first order formulas under various satisfiability definitions}}},
  doi          = {{10.1007/3-540-16780-3_119}},
  year         = {{1986}},
}