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.

434 Publications

1996 | Conference Paper | LibreCat-ID: 15293
Hüllermeier, Eyke. “A Fuzzy Simulation Method.” International Symposium on Soft Computing, Reading U.K., edited by P.G. Anderson and K. Warwick, ICSC Academic Press, 1996, pp. B230–36.

1996 | Book Chapter | LibreCat-ID: 19816
Kleine Büning, Hans, and Theodor Lettmann. “Learning a Representation for Optimizable Formulas.” Lecture Notes in Computer Science, 1996, doi:10.1007/3-540-61863-5_33.
LibreCat | DOI

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

1995 | Conference Paper | LibreCat-ID: 15305
Hüllermeier, Eyke. “Fuzzy Polynomial and Spline Interpolation.” In Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin, Gordon and Breach Publishers, 1995, pp. 401–04.

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

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

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

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

1993 | Journal Article | LibreCat-ID: 19814
Flögel, A., et al. “On the Restricted Equivalence for Subclasses of Propositional Logic.” RAIRO - Theoretical Informatics and Applications, 1993, pp. 327–40, doi:10.1051/ita/1993270403271.
LibreCat | DOI

1991 | Report | LibreCat-ID: 19822
Dahn, Bernd I., et al. ILFA Interface Concept. Vol. 193, Wissenschaftliche Zentrum der IBM Deutschland , 1991.

1989 | Journal Article | LibreCat-ID: 19818
Kleine Büning, Hans, et al. “Projections of Vector Addition System Reachability Sets Are Semilinear.” Theoretical Computer Science, 1989, pp. 343–50, doi: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.” Workshop Wissensrepräsentation in Expertensystemen, edited by G. Rahmstorf, 1988, pp. 56–78.

1987 | Book Chapter | LibreCat-ID: 19821
Büning, Hans Kleine, and Theodor Lettmann. “Representation Independent Query and Update Operations on Propositional Definite Horn Formulas.” Computation Theory and Logic, edited by Egon Börger, 1987, pp. 208–23, doi: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.” 8th International Conference on Automated Deduction, 1986, doi:10.1007/3-540-16780-3_119.
LibreCat | DOI

Filters and Search Terms



Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed