D. Dubois, E. Hüllermeier, and H. Prade, “Flexible control of case-based prediction in the framework of possibility theory,” in in Proceedings EWCBR-2000, 5th European Workshop on Case-Based Reasoning, Trento, Italy, 2000, pp. 61–73.
LibreCat: /record/15109

E. Hüllermeier, D. Dubois, and H. Prade, “Knowledge-based extrapolution of cases: A possibilistic approach,” in In Proceedings IPMU-2000 8th International Conference on Information Processing and Management  of Uncertainty in Knowledge-Based Systems, Madrid, Spain, 2000, pp. 1575–1582.
LibreCat: /record/15231

E. Hüllermeier and C. Giersch, “Fuzzy dynamics and applications in biological systems modelling,” Systems Analysis,  Modelling, Simulation, vol. 38, pp. 29–50, 2000.
LibreCat: /record/16196

E. Hüllermeier, M. Kraft, and P. Weise, “Evaluation and specification of a synergetic business cycle model with German data,” Homo Oeconomicus XVI, 2000.
LibreCat: /record/16198

D. Dubois, E. Hüllermeier, and H. Prade, “Formalizing case-based inference using fuzzy rules,” in Soft Computing in Case-Based Reasoning, S. K. Pal, D. Y. So, and T. Dillon, Eds. Springer, 2000, pp. 47–72.
LibreCat: /record/16234

H. Kleine Büning and T. Lettmann, “Resolution remains hard under equivalence,” Discrete Applied Mathematics, pp. 139–148, 1999.
LibreCat: /record/19815
DOI: 10.1016/s0166-218x(99)00055-4

E. Hüllermeier, D. Dubois, and H. Prade, “Fuzzy rules in case-based reasoning,” in In Proceedings RàPC-1999, Raisonnement à partir de Cas, Paris Palaiseau, France, In Conferences AFIA-1999, 1999, pp. 45–54.
LibreCat: /record/15809

E. Hüllermeier, “Toward a probabilistic formalization of case-based inference,” in in Proceedings IJCAI-99, 16th international Joint Conference on Artificial Intelligence, Stockholm, Sweden, 1999, pp. 248–253.
LibreCat: /record/15062

E. Hüllermeier, “Exploiting similarity for supporting data analysis and problem solving,” in In Proceedings IDA-1999, 3th International Symposium on Intelligent Data Analysis, Amsterdam, Netherlands, 1999, vol. 1642, pp. 257–268.
LibreCat: /record/15107

E. Hüllermeier, D. Dubois, and H. Prade, “Extensions of a qualitative approach to case-based decision making: Unvertainty and fuzzy quantification in act evaluation,” in in Proceedings EUFIT-99 7th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1999.
LibreCat: /record/15232

E. Hüllermeier, “Toward models of case-based decision making,” in in Proceedings EUFIT-99 7th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1999.
LibreCat: /record/15233

E. Hüllermeier, “A possibilistic formalization of case-based reasoning and decision making,” in in Proceedings of the 6th International Conference on Computational Intelligence, Dortmund, Germany, 1999, vol. 1625, pp. 411–420.
LibreCat: /record/15234

E. Hüllermeier, “Numerical methods for fuzzy initial value problems,” International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, vol. 7, no. 5, pp. 439–461, 1999.
LibreCat: /record/16199

E. Hüllermeier, “Approximation of uncertain funtional relationships,” Fuzzy Sets and Systems, vol. 101, no. 2, pp. 227–240, 1999.
LibreCat: /record/16200

E. Hüllermeier, “Qualitatives Schließen und Qualitative Simulation,” in Modellierung, Simulation und Künstliche Intelligenz, H. Szczerbicka and T. Uthmann, Eds. SCS Publishing House, Erlangen, 1999, pp. 277–310.
LibreCat: /record/16235

E. Hüllermeier and C. Giersch, “Fuzzy sets and modelling of uncertainty in biological systems,” in In Proceedings IPMU-98 7th International Conference on Information Processing and Management  of Uncertainty in Knowledge-Based Systems, Paris, La Sorbonne, 1998, pp. 1857–1864.
LibreCat: /record/15288

E. Hüllermeier, “A Bayesian approach to case-based probalistic reasoning,” in In Proceedings IPMU-98 7th International Conference on Information Processing and Management  of Uncertainty in Knowledge-Based Systems, Paris, La Sorbonne, 1998, pp. 1296–1303.
LibreCat: /record/15289

E. Hüllermeier, “Numerical solutions for fuzzy initial value problems,” in in Proceedings CESA-98, IMACS Multiconference on Computaional Engineering in Systems Applications, Symposium on Applied Mathematics and Optimization, Nabeul-Hammamet, Tunesia, 1998.
LibreCat: /record/15303

E. Hüllermeier, “Case-based probality and case-based decision making,” in in Proceedings of the 6th German Workshop on Case-Based Reasoning, Berlin, Germany, 1998, pp. 13–22.
LibreCat: /record/15810

E. Hüllermeier, “Fuzzy dynamics of compartmental systems,” in in Proceedings EUFIT-98 6th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1998.
LibreCat: /record/15287

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: /record/15290

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

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

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: /record/16201

H. Kleine Büning and T. Lettmann, “Learning a representation for optimizable formulas,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1996.
LibreCat: /record/19816
DOI: 10.1007/3-540-61863-5_33

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: /record/15292

E. Hüllermeier, “A fuzzy simulation method,” in International Symposium on Soft Computing, Reading U.K., 1996, pp. 0–6.
LibreCat: /record/15293

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: /record/15304

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: /record/15294

E. Hüllermeier, “Rule-based modelling in fuzzy simulation,” in in Proceedings ISFL-95 International Symposium on Logic, Zürich, 1995, pp. –.
LibreCat: /record/15295

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

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: /record/16236

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: /record/15296

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: /record/19814
DOI: 10.1051/ita/1993270403271

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

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: /record/19818
DOI: 10.1016/0304-3975(89)90055-8

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

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: /record/19821
DOI: 10.1007/3-540-18170-9_167

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: /record/19819
DOI: 10.1007/3-540-16780-3_119