[{"date_updated":"2022-01-06T06:52:20Z","_id":"15305","year":"1995","type":"conference","citation":{"short":"E. Hüllermeier, in: In Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin, Gordon and Breach Publishers, 1995, pp. 401–404.","ieee":"E. Hüllermeier, “Fuzzy polynomial and spline interpolation,” in in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin, 1995, pp. 401–404.","apa":"Hüllermeier, E. (1995). Fuzzy polynomial and spline interpolation. In in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin (pp. 401–404). Gordon and Breach Publishers.","ama":"Hüllermeier E. Fuzzy polynomial and spline interpolation. In: In Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin. Gordon and Breach Publishers; 1995:401-404.","chicago":"Hüllermeier, Eyke. “Fuzzy Polynomial and Spline Interpolation.” In In Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin, 401–4. Gordon and Breach Publishers, 1995.","mla":"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.","bibtex":"@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} }"},"page":"401-404","language":[{"iso":"eng"}],"title":"Fuzzy polynomial and spline interpolation","user_id":"49109","status":"public","date_created":"2019-12-11T16:11:03Z","author":[{"last_name":"Hüllermeier","id":"48129","first_name":"Eyke","full_name":"Hüllermeier, Eyke"}],"publisher":"Gordon and Breach Publishers","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"publication":"in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin"},{"date_updated":"2022-01-06T06:52:46Z","_id":"16236","language":[{"iso":"eng"}],"type":"book_chapter","year":"1995","citation":{"ieee":"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.","short":"E. Hüllermeier, in: J. Flemmig (Ed.), Moderne Makroökonomie-Eine Kritische Bestandsaufnahme, Metropolis, 1995, pp. 413–454.","bibtex":"@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} }","mla":"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.","chicago":"Hüllermeier, Eyke. “Konjunkturzyklen Aufgrund von Investitionsinterdependenzen: Simulation Und Empirische Überprüfung.” In Moderne Makroökonomie-Eine Kritische Bestandsaufnahme, edited by J. Flemmig, 413–54. Metropolis, 1995.","apa":"Hüllermeier, E. (1995). Konjunkturzyklen aufgrund von Investitionsinterdependenzen: Simulation und empirische Überprüfung. In J. Flemmig (Ed.), Moderne Makroökonomie-Eine kritische Bestandsaufnahme (pp. 413–454). Metropolis.","ama":"Hüllermeier E. Konjunkturzyklen aufgrund von Investitionsinterdependenzen: Simulation und empirische Überprüfung. In: Flemmig J, ed. Moderne Makroökonomie-Eine Kritische Bestandsaufnahme. Metropolis; 1995:413-454."},"page":"413-454","user_id":"49109","title":"Konjunkturzyklen aufgrund von Investitionsinterdependenzen: Simulation und empirische Überprüfung","status":"public","date_created":"2020-03-03T17:20:32Z","editor":[{"full_name":"Flemmig, J.","first_name":"J.","last_name":"Flemmig"}],"publisher":"Metropolis","author":[{"last_name":"Hüllermeier","id":"48129","first_name":"Eyke","full_name":"Hüllermeier, Eyke"}],"department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"publication":"Moderne Makroökonomie-Eine kritische Bestandsaufnahme"},{"user_id":"49109","title":"Approximate solution of a linear programming problem using a modified perceptron-algorithm.","status":"public","date_created":"2019-12-11T15:23:29Z","editor":[{"full_name":"Zimmermann, H.J.","first_name":"H.J.","last_name":"Zimmermann"}],"author":[{"id":"48129","last_name":"Hüllermeier","full_name":"Hüllermeier, Eyke","first_name":"Eyke"}],"publication":"in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"date_updated":"2022-01-06T06:52:20Z","_id":"15296","language":[{"iso":"eng"}],"type":"conference","citation":{"ieee":"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.","short":"E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1994, pp. 195–199.","bibtex":"@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} }","mla":"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.","chicago":"Hüllermeier, Eyke. “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, edited by H.J. Zimmermann, 195–99, 1994.","ama":"Hüllermeier E. Approximate solution of a linear programming problem using a modified perceptron-algorithm. In: Zimmermann HJ, ed. In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany. ; 1994:195-199.","apa":"Hüllermeier, E. (1994). Approximate solution of a linear programming problem using a modified perceptron-algorithm. In H. J. Zimmermann (Ed.), in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany (pp. 195–199)."},"year":"1994","page":"195-199"},{"user_id":"315","title":"On the restricted equivalence for subclasses of propositional logic","publication":"RAIRO - Theoretical Informatics and Applications","department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"author":[{"last_name":"Flögel","first_name":"A.","full_name":"Flögel, A."},{"full_name":"Kleine Büning, H.","first_name":"H.","last_name":"Kleine Büning"},{"first_name":"Theodor","full_name":"Lettmann, Theodor","orcid":"0000-0001-5859-2457","last_name":"Lettmann","id":"315"}],"date_created":"2020-10-01T08:10:48Z","status":"public","publication_status":"published","publication_identifier":{"issn":["0988-3754","1290-385X"]},"date_updated":"2022-01-06T06:54:13Z","_id":"19814","doi":"10.1051/ita/1993270403271","language":[{"iso":"eng"}],"page":"327-340","citation":{"ieee":"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.","short":"A. Flögel, H. Kleine Büning, T. Lettmann, RAIRO - Theoretical Informatics and Applications (1993) 327–340.","bibtex":"@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} }","mla":"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.","ama":"Flögel A, Kleine Büning H, Lettmann T. On the restricted equivalence for subclasses of propositional logic. RAIRO - Theoretical Informatics and Applications. 1993:327-340. doi:10.1051/ita/1993270403271","apa":"Flögel, A., Kleine Büning, H., & Lettmann, T. (1993). On the restricted equivalence for subclasses of propositional logic. RAIRO - Theoretical Informatics and Applications, 327–340. https://doi.org/10.1051/ita/1993270403271","chicago":"Flögel, A., H. Kleine Büning, and Theodor Lettmann. “On the Restricted Equivalence for Subclasses of Propositional Logic.” RAIRO - Theoretical Informatics and Applications, 1993, 327–40. https://doi.org/10.1051/ita/1993270403271."},"year":"1993","type":"journal_article"},{"date_updated":"2022-01-06T06:54:13Z","_id":"19822","intvolume":" 193","series_title":"IWBS Report","language":[{"iso":"eng"}],"type":"report","year":"1991","citation":{"ieee":"B. I. Dahn, T. Lettmann, and W. Schönfeld, ILFA Interface Concept, vol. 193. ´Heidelberg: Wissenschaftliche Zentrum der IBM Deutschland , 1991.","short":"B.I. Dahn, T. Lettmann, W. Schönfeld, ILFA Interface Concept, Wissenschaftliche Zentrum der IBM Deutschland , ´Heidelberg, 1991.","mla":"Dahn, Bernd I., et al. ILFA Interface Concept. Vol. 193, Wissenschaftliche Zentrum der IBM Deutschland , 1991.","bibtex":"@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} }","ama":"Dahn BI, Lettmann T, Schönfeld W. ILFA Interface Concept. Vol 193. ´Heidelberg: Wissenschaftliche Zentrum der IBM Deutschland ; 1991.","apa":"Dahn, B. I., Lettmann, T., & Schönfeld, W. (1991). ILFA Interface Concept (Vol. 193). ´Heidelberg: Wissenschaftliche Zentrum der IBM Deutschland .","chicago":"Dahn, Bernd I., Theodor Lettmann, and Wolfgang Schönfeld. ILFA Interface Concept. Vol. 193. IWBS Report. ´Heidelberg: Wissenschaftliche Zentrum der IBM Deutschland , 1991."},"place":"´Heidelberg","user_id":"315","title":"ILFA Interface Concept","department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"publisher":"Wissenschaftliche Zentrum der IBM Deutschland ","author":[{"first_name":"Bernd I.","full_name":"Dahn, Bernd I.","last_name":"Dahn"},{"first_name":"Theodor","full_name":"Lettmann, Theodor","orcid":"0000-0001-5859-2457","last_name":"Lettmann","id":"315"},{"full_name":"Schönfeld, Wolfgang","first_name":"Wolfgang","last_name":"Schönfeld"}],"date_created":"2020-10-01T09:30:28Z","status":"public","volume":193},{"language":[{"iso":"eng"}],"page":"343-350","citation":{"ieee":"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.","short":"H. Kleine Büning, T. Lettmann, E.W. Mayr, Theoretical Computer Science (1989) 343–350.","mla":"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.","bibtex":"@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} }","ama":"Kleine Büning H, Lettmann T, Mayr EW. Projections of vector addition system reachability sets are semilinear. Theoretical Computer Science. 1989:343-350. doi:10.1016/0304-3975(89)90055-8","apa":"Kleine Büning, H., Lettmann, T., & Mayr, E. W. (1989). Projections of vector addition system reachability sets are semilinear. Theoretical Computer Science, 343–350. https://doi.org/10.1016/0304-3975(89)90055-8","chicago":"Kleine Büning, Hans, Theodor Lettmann, and Ernst W. Mayr. “Projections of Vector Addition System Reachability Sets Are Semilinear.” Theoretical Computer Science, 1989, 343–50. https://doi.org/10.1016/0304-3975(89)90055-8."},"type":"journal_article","year":"1989","_id":"19818","date_updated":"2022-01-06T06:54:13Z","doi":"10.1016/0304-3975(89)90055-8","publication":"Theoretical Computer Science","department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"author":[{"last_name":"Kleine Büning","first_name":"Hans","full_name":"Kleine Büning, Hans"},{"first_name":"Theodor","orcid":"0000-0001-5859-2457","full_name":"Lettmann, Theodor","last_name":"Lettmann","id":"315"},{"first_name":"Ernst W.","full_name":"Mayr, Ernst W.","last_name":"Mayr"}],"date_created":"2020-10-01T08:20:05Z","status":"public","publication_identifier":{"issn":["0304-3975"]},"publication_status":"published","user_id":"315","title":"Projections of vector addition system reachability sets are semilinear"},{"status":"public","date_created":"2020-10-01T08:58:58Z","editor":[{"first_name":"G.","full_name":"Rahmstorf, G.","last_name":"Rahmstorf"}],"publication_status":"published","publication_identifier":{"isbn":["9783540192169","9783642736414"],"issn":["0343-3005"]},"author":[{"first_name":"Hans","full_name":"Kleine Büning, Hans","last_name":"Kleine Büning"},{"id":"315","last_name":"Lettmann","orcid":"0000-0001-5859-2457","full_name":"Lettmann, Theodor","first_name":"Theodor"}],"department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"publication":"Workshop Wissensrepräsentation in Expertensystemen","user_id":"315","title":"Perspektiven für die Logikprogrammierung","place":"Berlin, Heidelberg","language":[{"iso":"eng"}],"type":"conference","year":"1988","citation":{"ieee":"H. Kleine Büning and T. Lettmann, “Perspektiven für die Logikprogrammierung,” in Workshop Wissensrepräsentation in Expertensystemen, 1988, pp. 56–78.","short":"H. Kleine Büning, T. Lettmann, in: G. Rahmstorf (Ed.), Workshop Wissensrepräsentation in Expertensystemen, Berlin, Heidelberg, 1988, pp. 56–78.","mla":"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.","bibtex":"@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} }","chicago":"Kleine Büning, Hans, and Theodor Lettmann. “Perspektiven Für Die Logikprogrammierung.” In Workshop Wissensrepräsentation in Expertensystemen, edited by G. Rahmstorf, 56–78. Berlin, Heidelberg, 1988.","apa":"Kleine Büning, H., & Lettmann, T. (1988). Perspektiven für die Logikprogrammierung. In G. Rahmstorf (Ed.), Workshop Wissensrepräsentation in Expertensystemen (pp. 56–78). Berlin, Heidelberg.","ama":"Kleine Büning H, Lettmann T. Perspektiven für die Logikprogrammierung. In: Rahmstorf G, ed. Workshop Wissensrepräsentation in Expertensystemen. Berlin, Heidelberg; 1988:56-78."},"page":"56-78","_id":"19820","date_updated":"2022-01-06T06:54:13Z"},{"status":"public","date_created":"2020-10-01T09:08:05Z","editor":[{"last_name":"Börger","full_name":"Börger, Egon","first_name":"Egon"}],"publication_status":"published","publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783540181705","9783540477952"]},"author":[{"last_name":"Büning","full_name":"Büning, Hans Kleine","first_name":"Hans Kleine"},{"last_name":"Lettmann","id":"315","first_name":"Theodor","full_name":"Lettmann, Theodor","orcid":"0000-0001-5859-2457"}],"publication":"Computation Theory and Logic","department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"user_id":"315","title":"Representation independent query and update operations on propositional definite Horn formulas","place":"Berlin, Heidelberg","language":[{"iso":"eng"}],"year":"1987","citation":{"short":"H.K. Büning, T. Lettmann, in: E. Börger (Ed.), Computation Theory and Logic, Berlin, Heidelberg, 1987, pp. 208–223.","ieee":"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.","ama":"Büning HK, Lettmann T. Representation independent query and update operations on propositional definite Horn formulas. In: Börger E, ed. Computation Theory and Logic. Berlin, Heidelberg; 1987:208-223. doi:10.1007/3-540-18170-9_167","apa":"Büning, H. K., & Lettmann, T. (1987). Representation independent query and update operations on propositional definite Horn formulas. In E. Börger (Ed.), Computation Theory and Logic (pp. 208–223). Berlin, Heidelberg. https://doi.org/10.1007/3-540-18170-9_167","chicago":"Büning, Hans Kleine, and Theodor Lettmann. “Representation Independent Query and Update Operations on Propositional Definite Horn Formulas.” In Computation Theory and Logic, edited by Egon Börger, 208–23. Berlin, Heidelberg, 1987. https://doi.org/10.1007/3-540-18170-9_167.","mla":"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.","bibtex":"@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} }"},"type":"book_chapter","page":"208-223","doi":"10.1007/3-540-18170-9_167","date_updated":"2022-01-06T06:54:13Z","_id":"19821"},{"user_id":"315","title":"Classes of first order formulas under various satisfiability definitions","place":"Berlin, Heidelberg","date_created":"2020-10-01T08:56:14Z","status":"public","publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783540167808","9783540398615"]},"publication_status":"published","department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"publication":"8th International Conference on Automated Deduction","author":[{"last_name":"Kleine Büning","full_name":"Kleine Büning, H.","first_name":"H."},{"orcid":"0000-0001-5859-2457","full_name":"Lettmann, Theodor","first_name":"Theodor","id":"315","last_name":"Lettmann"}],"doi":"10.1007/3-540-16780-3_119","date_updated":"2022-01-06T06:54:13Z","_id":"19819","language":[{"iso":"eng"}],"citation":{"chicago":"Kleine Büning, H., and Theodor Lettmann. “Classes of First Order Formulas under Various Satisfiability Definitions.” In 8th International Conference on Automated Deduction. Berlin, Heidelberg, 1986. https://doi.org/10.1007/3-540-16780-3_119.","ama":"Kleine Büning H, Lettmann T. Classes of first order formulas under various satisfiability definitions. In: 8th International Conference on Automated Deduction. Berlin, Heidelberg; 1986. doi:10.1007/3-540-16780-3_119","apa":"Kleine Büning, H., & Lettmann, T. (1986). Classes of first order formulas under various satisfiability definitions. In 8th International Conference on Automated Deduction. Berlin, Heidelberg. https://doi.org/10.1007/3-540-16780-3_119","bibtex":"@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} }","mla":"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.","short":"H. Kleine Büning, T. Lettmann, in: 8th International Conference on Automated Deduction, Berlin, Heidelberg, 1986.","ieee":"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."},"year":"1986","type":"book_chapter"}]