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
@inproceedings{Hüllermeier_1997, title={Hierarchical  propagation of uncertain constraints}, booktitle={in Proceedings EUFIT-97 5th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany}, author={Hüllermeier, Eyke}, editor={Zimmermann, H.J.Editor}, year={1997}, pages={953–957} }
LibreCat
 

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

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

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

1996 | Book Chapter | LibreCat-ID: 19816
@inbook{Kleine Büning_Lettmann_1996, place={Berlin, Heidelberg}, title={Learning a representation for optimizable formulas}, DOI={10.1007/3-540-61863-5_33}, booktitle={Lecture Notes in Computer Science}, author={Kleine Büning, Hans and Lettmann, Theodor}, year={1996} }
LibreCat | DOI
 

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

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

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

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

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

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

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

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

1993 | Journal Article | LibreCat-ID: 19814
@article{Flögel_Kleine Büning_Lettmann_1993, title={On the restricted equivalence for subclasses of propositional logic}, DOI={10.1051/ita/1993270403271}, journal={RAIRO - Theoretical Informatics and Applications}, author={Flögel, A. and Kleine Büning, H. and Lettmann, Theodor}, year={1993}, pages={327–340} }
LibreCat | DOI
 

1991 | Report | LibreCat-ID: 19822
@book{Dahn_Lettmann_Schönfeld_1991, place={´Heidelberg}, series={IWBS Report}, title={ILFA Interface Concept}, volume={193}, publisher={Wissenschaftliche Zentrum der IBM Deutschland }, author={Dahn, Bernd I. and Lettmann, Theodor and Schönfeld, Wolfgang}, year={1991}, collection={IWBS Report} }
LibreCat
 

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

1988 | Conference Paper | LibreCat-ID: 19820
@inproceedings{Kleine Büning_Lettmann_1988, place={Berlin, Heidelberg}, title={Perspektiven für die Logikprogrammierung}, booktitle={Workshop Wissensrepräsentation in Expertensystemen}, author={Kleine Büning, Hans and Lettmann, Theodor}, editor={Rahmstorf, G.Editor}, year={1988}, pages={56–78} }
LibreCat
 

1987 | Book Chapter | LibreCat-ID: 19821
@inbook{Büning_Lettmann_1987, place={Berlin, Heidelberg}, title={Representation independent query and update operations on propositional definite Horn formulas}, DOI={10.1007/3-540-18170-9_167}, booktitle={Computation Theory and Logic}, author={Büning, Hans Kleine and Lettmann, Theodor}, editor={Börger, EgonEditor}, year={1987}, pages={208–223} }
LibreCat | DOI
 

1986 | Book Chapter | LibreCat-ID: 19819
@inbook{Kleine Büning_Lettmann_1986, place={Berlin, Heidelberg}, title={Classes of first order formulas under various satisfiability definitions}, DOI={10.1007/3-540-16780-3_119}, booktitle={8th International Conference on Automated Deduction}, author={Kleine Büning, H. and Lettmann, Theodor}, year={1986} }
LibreCat | DOI
 

Filters and Search Terms

department=355

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed