Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
449 Publications
1997 | Conference Paper | LibreCat-ID: 15290
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
1997 | Conference Paper | LibreCat-ID: 15291
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
1997 | Conference Paper | LibreCat-ID: 15811
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
1997 | Journal Article | LibreCat-ID: 16201
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
1996 | Book Chapter | LibreCat-ID: 19816
Kleine Büning, Hans, and Theodor Lettmann. “Learning a Representation for Optimizable Formulas.” In Lecture Notes in Computer Science. Berlin, Heidelberg, 1996. https://doi.org/10.1007/3-540-61863-5_33.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 15292
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
1996 | Conference Paper | LibreCat-ID: 15293
Hüllermeier, Eyke. “A Fuzzy Simulation Method.” In International Symposium on Soft Computing, Reading U.K., edited by P.G. Anderson and K. Warwick, B230–36. ICSC Academic Press, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 15304
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
1995 | Conference Paper | LibreCat-ID: 15294
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
1995 | Conference Paper | LibreCat-ID: 15295
Hüllermeier, Eyke. “Rule-Based Modelling in Fuzzy Simulation.” In In Proceedings ISFL-95 International Symposium on Logic, Zürich, B49–56. ICSC Academic Press, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 15305
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
1995 | Book Chapter | LibreCat-ID: 16236
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
1994 | Conference Paper | LibreCat-ID: 15296
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
1993 | Journal Article | LibreCat-ID: 19814
Flögel, A., H. Kleine Büning, and Theodor Lettmann. “On the Restricted Equivalence for Subclasses of Propositional Logic.” RAIRO - Theoretical Informatics and Applications, 1993, 327–40. https://doi.org/10.1051/ita/1993270403271.
LibreCat
| DOI
1991 | Report | LibreCat-ID: 19822
Dahn, Bernd I., Theodor Lettmann, and Wolfgang Schönfeld. ILFA Interface Concept. Vol. 193. IWBS Report. ´Heidelberg: Wissenschaftliche Zentrum der IBM Deutschland , 1991.
LibreCat
1989 | Journal Article | LibreCat-ID: 19818
Kleine Büning, Hans, Theodor Lettmann, and Ernst W. Mayr. “Projections of Vector Addition System Reachability Sets Are Semilinear.” Theoretical Computer Science, 1989, 343–50. https://doi.org/10.1016/0304-3975(89)90055-8.
LibreCat
| DOI
1988 | Conference Paper | LibreCat-ID: 19820
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
1987 | Book Chapter | LibreCat-ID: 19821
Büning, Hans Kleine, and Theodor Lettmann. “Representation Independent Query and Update Operations on Propositional Definite Horn Formulas.” 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
| DOI
1986 | Book Chapter | LibreCat-ID: 19819
Kleine Büning, H., and Theodor Lettmann. “Classes of First Order Formulas under Various Satisfiability Definitions.” In 8th International Conference on Automated Deduction. Berlin, Heidelberg, 1986. https://doi.org/10.1007/3-540-16780-3_119.
LibreCat
| DOI