TY - CONF AU - Hüllermeier, Eyke ID - 15305 T2 - in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin TI - Fuzzy polynomial and spline interpolation ER - TY - CHAP AU - Hüllermeier, Eyke ED - Flemmig, J. ID - 16236 T2 - Moderne Makroökonomie-Eine kritische Bestandsaufnahme TI - Konjunkturzyklen aufgrund von Investitionsinterdependenzen: Simulation und empirische Überprüfung ER - TY - CONF AU - Hüllermeier, Eyke ED - Zimmermann, H.J. ID - 15296 T2 - in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany TI - Approximate solution of a linear programming problem using a modified perceptron-algorithm. ER - TY - JOUR AU - Flögel, A. AU - Kleine Büning, H. AU - Lettmann, Theodor ID - 19814 JF - RAIRO - Theoretical Informatics and Applications SN - 0988-3754 TI - On the restricted equivalence for subclasses of propositional logic ER - TY - GEN AU - Dahn, Bernd I. AU - Lettmann, Theodor AU - Schönfeld, Wolfgang ID - 19822 TI - ILFA Interface Concept VL - 193 ER - TY - JOUR AU - Kleine Büning, Hans AU - Lettmann, Theodor AU - Mayr, Ernst W. ID - 19818 JF - Theoretical Computer Science SN - 0304-3975 TI - Projections of vector addition system reachability sets are semilinear ER - TY - CONF AU - Kleine Büning, Hans AU - Lettmann, Theodor ED - Rahmstorf, G. ID - 19820 SN - 0343-3005 T2 - Workshop Wissensrepräsentation in Expertensystemen TI - Perspektiven für die Logikprogrammierung ER - TY - CHAP AU - Büning, Hans Kleine AU - Lettmann, Theodor ED - Börger, Egon ID - 19821 SN - 0302-9743 T2 - Computation Theory and Logic TI - Representation independent query and update operations on propositional definite Horn formulas ER - TY - CHAP AU - Kleine Büning, H. AU - Lettmann, Theodor ID - 19819 SN - 0302-9743 T2 - 8th International Conference on Automated Deduction TI - Classes of first order formulas under various satisfiability definitions ER -