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
E. Hüllermeier, “Hierarchical  propagation of uncertain constraints,” in in Proceedings EUFIT-97 5th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1997, pp. 953–957.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 15291
E. Hüllermeier, “Approximation of fuzzy functions,” in in Proceedings 4.Internationaler Workshop Fuzzy-Neuro-Systeme. Soest Germany, 1997, pp. 374–381.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 15811
E. Hüllermeier, “Modellierung und Simulation unsicherer dynamischer Systeme und Anwendungen in der Diagnose,” in In Proceedings ASIM Fachgruppentagung Soft Computing, 1997.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 16201
E. Hüllermeier, “A new approach to modelling and simulation of uncertain dynamical systems,” International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, vol. 5, no. 2, pp. 117–137, 1997.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 19816
H. Kleine Büning and T. Lettmann, “Learning a representation for optimizable formulas,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1996.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 15292
E. Hüllermeier, “Approminate probabilistic reasoning with fuzzy constraints,” in in Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 15293
E. Hüllermeier, “A fuzzy simulation method,” in International Symposium on Soft Computing, Reading U.K., 1996, pp. B230–B236.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 15304
E. Hüllermeier, “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, 1996, pp. 54–55.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 15294
E. Hüllermeier, “Towards modelling of fuzzy functions,” in in Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1995, pp. 150–154.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 15295
E. Hüllermeier, “Rule-based modelling in fuzzy simulation,” in in Proceedings ISFL-95 International Symposium on Logic, Zürich, 1995, pp. B49–B56.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 15305
E. Hüllermeier, “Fuzzy polynomial and spline interpolation,” in in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin, 1995, pp. 401–404.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 16236
E. Hüllermeier, “Konjunkturzyklen aufgrund von Investitionsinterdependenzen:  Simulation und empirische Überprüfung,” in Moderne Makroökonomie-Eine kritische Bestandsaufnahme, J. Flemmig, Ed. Metropolis, 1995, pp. 413–454.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 15296
E. Hüllermeier, “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, 1994, pp. 195–199.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 19814
A. Flögel, H. Kleine Büning, and T. Lettmann, “On the restricted equivalence for subclasses of propositional logic,” RAIRO - Theoretical Informatics and Applications, pp. 327–340, 1993.
LibreCat | DOI
 

1991 | Report | LibreCat-ID: 19822
B. I. Dahn, T. Lettmann, and W. Schönfeld, ILFA Interface Concept, vol. 193. ´Heidelberg: Wissenschaftliche Zentrum der IBM Deutschland , 1991.
LibreCat
 

1989 | Journal Article | LibreCat-ID: 19818
H. Kleine Büning, T. Lettmann, and E. W. Mayr, “Projections of vector addition system reachability sets are semilinear,” Theoretical Computer Science, pp. 343–350, 1989.
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 19820
H. Kleine Büning and T. Lettmann, “Perspektiven für die Logikprogrammierung,” in Workshop Wissensrepräsentation in Expertensystemen, 1988, pp. 56–78.
LibreCat
 

1987 | Book Chapter | LibreCat-ID: 19821
H. K. Büning and T. Lettmann, “Representation independent query and update operations on propositional definite Horn formulas,” in Computation Theory and Logic, E. Börger, Ed. Berlin, Heidelberg, 1987, pp. 208–223.
LibreCat | DOI
 

1986 | Book Chapter | LibreCat-ID: 19819
H. Kleine Büning and T. Lettmann, “Classes of first order formulas under various satisfiability definitions,” in 8th International Conference on Automated Deduction, Berlin, Heidelberg, 1986.
LibreCat | DOI
 

Filters and Search Terms

department=355

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed