@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}}, }