[{"page":"953-957","_id":"15290","language":[{"iso":"eng"}],"user_id":"49109","editor":[{"last_name":"Zimmermann","first_name":"H.J.","full_name":"Zimmermann, H.J."}],"title":"Hierarchical  propagation of uncertain constraints","status":"public","year":"1997","author":[{"id":"48129","full_name":"Hüllermeier, Eyke","first_name":"Eyke","last_name":"Hüllermeier"}],"date_updated":"2022-01-06T06:52:20Z","date_created":"2019-12-11T14:56:55Z","type":"conference","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"publication":"in Proceedings EUFIT-97 5th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany","citation":{"bibtex":"@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} }","short":"E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-97 5th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1997, pp. 953–957.","ama":"Hüllermeier E. Hierarchical  propagation of uncertain constraints. In: Zimmermann HJ, ed. <i>In Proceedings EUFIT-97 5th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i>. ; 1997:953-957.","chicago":"Hüllermeier, Eyke. “Hierarchical  Propagation of Uncertain Constraints.” In <i>In Proceedings EUFIT-97 5th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i>, edited by H.J. Zimmermann, 953–57, 1997.","ieee":"E. Hüllermeier, “Hierarchical  propagation of uncertain constraints,” in <i>in Proceedings EUFIT-97 5th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i>, 1997, pp. 953–957.","apa":"Hüllermeier, E. (1997). Hierarchical  propagation of uncertain constraints. In H. J. Zimmermann (Ed.), <i>in Proceedings EUFIT-97 5th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i> (pp. 953–957).","mla":"Hüllermeier, Eyke. “Hierarchical  Propagation of Uncertain Constraints.” <i>In Proceedings EUFIT-97 5th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i>, edited by H.J. Zimmermann, 1997, pp. 953–57."}},{"publication":"in Proceedings 4.Internationaler Workshop Fuzzy-Neuro-Systeme. Soest Germany","citation":{"apa":"Hüllermeier, E. (1997). Approximation of fuzzy functions. In A. Grauel, W. Becker, &#38; F. Belli (Eds.), <i>in Proceedings 4.Internationaler Workshop Fuzzy-Neuro-Systeme. Soest Germany</i> (pp. 374–381).","ieee":"E. Hüllermeier, “Approximation of fuzzy functions,” in <i>in Proceedings 4.Internationaler Workshop Fuzzy-Neuro-Systeme. Soest Germany</i>, 1997, pp. 374–381.","short":"E. Hüllermeier, in: A. Grauel, W. Becker, F. Belli (Eds.), In Proceedings 4.Internationaler Workshop Fuzzy-Neuro-Systeme. Soest Germany, 1997, pp. 374–381.","chicago":"Hüllermeier, Eyke. “Approximation of Fuzzy Functions.” In <i>In Proceedings 4.Internationaler Workshop Fuzzy-Neuro-Systeme. Soest Germany</i>, edited by A. Grauel, W. Becker, and F. Belli, 374–81, 1997.","mla":"Hüllermeier, Eyke. “Approximation of Fuzzy Functions.” <i>In Proceedings 4.Internationaler Workshop Fuzzy-Neuro-Systeme. Soest Germany</i>, edited by A. Grauel et al., 1997, pp. 374–81.","ama":"Hüllermeier E. Approximation of fuzzy functions. In: Grauel A, Becker W, Belli F, eds. <i>In Proceedings 4.Internationaler Workshop Fuzzy-Neuro-Systeme. Soest Germany</i>. ; 1997:374-381.","bibtex":"@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} }"},"date_created":"2019-12-11T15:00:36Z","type":"conference","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"status":"public","title":"Approximation of fuzzy functions","year":"1997","author":[{"id":"48129","full_name":"Hüllermeier, Eyke","first_name":"Eyke","last_name":"Hüllermeier"}],"date_updated":"2022-01-06T06:52:20Z","page":"374-381","_id":"15291","language":[{"iso":"eng"}],"user_id":"49109","editor":[{"last_name":"Grauel","first_name":"A.","full_name":"Grauel, A."},{"last_name":"Becker","first_name":"W.","full_name":"Becker, W."},{"full_name":"Belli, F.","last_name":"Belli","first_name":"F."}]},{"publication":"In Proceedings ASIM Fachgruppentagung Soft Computing","citation":{"bibtex":"@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} }","ama":"Hüllermeier E. Modellierung und Simulation unsicherer dynamischer Systeme und Anwendungen in der Diagnose. In: Möller DPF, Richter O, eds. <i>In Proceedings ASIM Fachgruppentagung Soft Computing</i>. ; 1997.","mla":"Hüllermeier, Eyke. “Modellierung Und Simulation Unsicherer Dynamischer Systeme Und Anwendungen in Der Diagnose.” <i>In Proceedings ASIM Fachgruppentagung Soft Computing</i>, edited by D.P.F. Möller and O. Richter, 1997.","short":"E. Hüllermeier, in: D.P.F. Möller, O. Richter (Eds.), In Proceedings ASIM Fachgruppentagung Soft Computing, 1997.","chicago":"Hüllermeier, Eyke. “Modellierung Und Simulation Unsicherer Dynamischer Systeme Und Anwendungen in Der Diagnose.” In <i>In Proceedings ASIM Fachgruppentagung Soft Computing</i>, edited by D.P.F. Möller and O. Richter, 1997.","ieee":"E. Hüllermeier, “Modellierung und Simulation unsicherer dynamischer Systeme und Anwendungen in der Diagnose,” in <i>In Proceedings ASIM Fachgruppentagung Soft Computing</i>, 1997.","apa":"Hüllermeier, E. (1997). Modellierung und Simulation unsicherer dynamischer Systeme und Anwendungen in der Diagnose. In D. P. F. Möller &#38; O. Richter (Eds.), <i>In Proceedings ASIM Fachgruppentagung Soft Computing</i>."},"date_created":"2020-02-05T16:29:51Z","type":"conference","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"title":"Modellierung und Simulation unsicherer dynamischer Systeme und Anwendungen in der Diagnose","status":"public","year":"1997","author":[{"full_name":"Hüllermeier, Eyke","last_name":"Hüllermeier","first_name":"Eyke","id":"48129"}],"date_updated":"2022-01-06T06:52:34Z","language":[{"iso":"eng"}],"_id":"15811","user_id":"49109","editor":[{"last_name":"Möller","first_name":"D.P.F.","full_name":"Möller, D.P.F."},{"last_name":"Richter","first_name":"O.","full_name":"Richter, O."}]},{"date_created":"2020-02-28T17:39:47Z","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"type":"journal_article","citation":{"ama":"Hüllermeier E. A new approach to modelling and simulation of uncertain dynamical systems. <i>International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems</i>. 1997;5(2):117-137.","bibtex":"@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} }","mla":"Hüllermeier, Eyke. “A New Approach to Modelling and Simulation of Uncertain Dynamical Systems.” <i>International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems</i>, vol. 5, no. 2, 1997, pp. 117–37.","short":"E. Hüllermeier, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5 (1997) 117–137.","chicago":"Hüllermeier, Eyke. “A New Approach to Modelling and Simulation of Uncertain Dynamical Systems.” <i>International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems</i> 5, no. 2 (1997): 117–37.","apa":"Hüllermeier, E. (1997). A new approach to modelling and simulation of uncertain dynamical systems. <i>International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems</i>, <i>5</i>(2), 117–137.","ieee":"E. Hüllermeier, “A new approach to modelling and simulation of uncertain dynamical systems,” <i>International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems</i>, vol. 5, no. 2, pp. 117–137, 1997."},"issue":"2","publication":"International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems","_id":"16201","language":[{"iso":"eng"}],"page":"117-137","volume":5,"user_id":"49109","author":[{"id":"48129","first_name":"Eyke","last_name":"Hüllermeier","full_name":"Hüllermeier, Eyke"}],"status":"public","year":"1997","title":"A new approach to modelling and simulation of uncertain dynamical systems","intvolume":"         5","date_updated":"2022-01-06T06:52:45Z"},{"date_created":"2020-10-01T08:15:08Z","place":"Berlin, Heidelberg","department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"type":"book_chapter","citation":{"short":"H. Kleine Büning, T. Lettmann, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1996.","chicago":"Kleine Büning, Hans, and Theodor Lettmann. “Learning a Representation for Optimizable Formulas.” In <i>Lecture Notes in Computer Science</i>. Berlin, Heidelberg, 1996. <a href=\"https://doi.org/10.1007/3-540-61863-5_33\">https://doi.org/10.1007/3-540-61863-5_33</a>.","apa":"Kleine Büning, H., &#38; Lettmann, T. (1996). Learning a representation for optimizable formulas. In <i>Lecture Notes in Computer Science</i>. Berlin, Heidelberg. <a href=\"https://doi.org/10.1007/3-540-61863-5_33\">https://doi.org/10.1007/3-540-61863-5_33</a>","ieee":"H. Kleine Büning and T. Lettmann, “Learning a representation for optimizable formulas,” in <i>Lecture Notes in Computer Science</i>, Berlin, Heidelberg, 1996.","ama":"Kleine Büning H, Lettmann T. Learning a representation for optimizable formulas. In: <i>Lecture Notes in Computer Science</i>. Berlin, Heidelberg; 1996. doi:<a href=\"https://doi.org/10.1007/3-540-61863-5_33\">10.1007/3-540-61863-5_33</a>","bibtex":"@inbook{Kleine Büning_Lettmann_1996, place={Berlin, Heidelberg}, title={Learning a representation for optimizable formulas}, DOI={<a href=\"https://doi.org/10.1007/3-540-61863-5_33\">10.1007/3-540-61863-5_33</a>}, booktitle={Lecture Notes in Computer Science}, author={Kleine Büning, Hans and Lettmann, Theodor}, year={1996} }","mla":"Kleine Büning, Hans, and Theodor Lettmann. “Learning a Representation for Optimizable Formulas.” <i>Lecture Notes in Computer Science</i>, 1996, doi:<a href=\"https://doi.org/10.1007/3-540-61863-5_33\">10.1007/3-540-61863-5_33</a>."},"publication":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"_id":"19816","user_id":"315","doi":"10.1007/3-540-61863-5_33","author":[{"full_name":"Kleine Büning, Hans","first_name":"Hans","last_name":"Kleine Büning"},{"id":"315","orcid":"0000-0001-5859-2457","last_name":"Lettmann","first_name":"Theodor","full_name":"Lettmann, Theodor"}],"publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783540618638","9783540707196"]},"status":"public","title":"Learning a representation for optimizable formulas","year":"1996","publication_status":"published","date_updated":"2022-01-06T06:54:13Z"},{"publication":"in Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany","citation":{"mla":"Hüllermeier, Eyke. “Approminate Probabilistic Reasoning with Fuzzy Constraints.” <i>In Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i>, edited by H.J. Zimmermann, 1996.","bibtex":"@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} }","ama":"Hüllermeier E. Approminate probabilistic reasoning with fuzzy constraints. In: Zimmermann HJ, ed. <i>In Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i>. ; 1996.","ieee":"E. Hüllermeier, “Approminate probabilistic reasoning with fuzzy constraints,” in <i>in Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i>, 1996.","apa":"Hüllermeier, E. (1996). Approminate probabilistic reasoning with fuzzy constraints. In H. J. Zimmermann (Ed.), <i>in Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i>.","short":"E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1996.","chicago":"Hüllermeier, Eyke. “Approminate Probabilistic Reasoning with Fuzzy Constraints.” In <i>In Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i>, edited by H.J. Zimmermann, 1996."},"date_created":"2019-12-11T15:09:10Z","type":"conference","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"year":"1996","status":"public","title":"Approminate probabilistic reasoning with fuzzy constraints","author":[{"last_name":"Hüllermeier","first_name":"Eyke","full_name":"Hüllermeier, Eyke","id":"48129"}],"date_updated":"2022-01-06T06:52:20Z","language":[{"iso":"eng"}],"_id":"15292","user_id":"49109","editor":[{"first_name":"H.J.","last_name":"Zimmermann","full_name":"Zimmermann, H.J."}]},{"citation":{"apa":"Hüllermeier, E. (1996). A fuzzy simulation method. In P. G. Anderson &#38; K. Warwick (Eds.), <i>International Symposium on Soft Computing, Reading U.K.</i> (pp. B230–B236). ICSC Academic Press.","ieee":"E. Hüllermeier, “A fuzzy simulation method,” in <i>International Symposium on Soft Computing, Reading U.K.</i>, 1996, pp. B230–B236.","short":"E. Hüllermeier, in: P.G. Anderson, K. Warwick (Eds.), International Symposium on Soft Computing, Reading U.K., ICSC Academic Press, 1996, pp. B230–B236.","chicago":"Hüllermeier, Eyke. “A Fuzzy Simulation Method.” In <i>International Symposium on Soft Computing, Reading U.K.</i>, edited by P.G. Anderson and K. Warwick, B230–36. ICSC Academic Press, 1996.","mla":"Hüllermeier, Eyke. “A Fuzzy Simulation Method.” <i>International Symposium on Soft Computing, Reading U.K.</i>, edited by P.G. Anderson and K. Warwick, ICSC Academic Press, 1996, pp. B230–36.","ama":"Hüllermeier E. A fuzzy simulation method. In: Anderson PG, Warwick K, eds. <i>International Symposium on Soft Computing, Reading U.K.</i> ICSC Academic Press; 1996:B230-B236.","bibtex":"@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} }"},"publication":"International Symposium on Soft Computing, Reading U.K.","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"type":"conference","date_created":"2019-12-11T15:14:33Z","date_updated":"2022-01-06T06:52:20Z","author":[{"full_name":"Hüllermeier, Eyke","first_name":"Eyke","last_name":"Hüllermeier","id":"48129"}],"title":"A fuzzy simulation method","status":"public","year":"1996","editor":[{"full_name":"Anderson, P.G.","first_name":"P.G.","last_name":"Anderson"},{"full_name":"Warwick, K.","last_name":"Warwick","first_name":"K."}],"user_id":"49109","_id":"15293","publisher":"ICSC Academic Press","language":[{"iso":"eng"}],"page":"B230-B236"},{"department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"type":"conference","date_created":"2019-12-11T16:07:48Z","citation":{"apa":"Hüllermeier, E. (1996). Hierarchical constraint propagation based on interval arithmetic. In <i>in Proceedings Interval-96 international Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, Würzburg</i> (pp. 54–55).","ieee":"E. Hüllermeier, “Hierarchical constraint propagation based on interval arithmetic,” in <i>in Proceedings Interval-96 international Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, Würzburg</i>, 1996, pp. 54–55.","chicago":"Hüllermeier, Eyke. “Hierarchical Constraint Propagation Based on Interval Arithmetic.” In <i>In Proceedings Interval-96 International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, Würzburg</i>, 54–55, 1996.","short":"E. Hüllermeier, in: In Proceedings Interval-96 International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, Würzburg, 1996, pp. 54–55.","mla":"Hüllermeier, Eyke. “Hierarchical Constraint Propagation Based on Interval Arithmetic.” <i>In Proceedings Interval-96 International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, Würzburg</i>, 1996, pp. 54–55.","ama":"Hüllermeier E. Hierarchical constraint propagation based on interval arithmetic. In: <i>In Proceedings Interval-96 International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, Würzburg</i>. ; 1996:54-55.","bibtex":"@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} }"},"publication":"in Proceedings Interval-96 international Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, Würzburg","user_id":"49109","_id":"15304","language":[{"iso":"eng"}],"page":"54-55","date_updated":"2022-01-06T06:52:20Z","author":[{"id":"48129","full_name":"Hüllermeier, Eyke","last_name":"Hüllermeier","first_name":"Eyke"}],"title":"Hierarchical constraint propagation based on interval arithmetic","status":"public","year":"1996"},{"citation":{"ieee":"E. Hüllermeier, “Towards modelling of fuzzy functions,” in <i>in Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i>, 1995, pp. 150–154.","apa":"Hüllermeier, E. (1995). Towards modelling of fuzzy functions. In H. J. Zimmermann (Ed.), <i>in Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i> (pp. 150–154).","short":"E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1995, pp. 150–154.","chicago":"Hüllermeier, Eyke. “Towards Modelling of Fuzzy Functions.” In <i>In Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i>, edited by H.J. Zimmermann, 150–54, 1995.","mla":"Hüllermeier, Eyke. “Towards Modelling of Fuzzy Functions.” <i>In Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i>, edited by H.J. Zimmermann, 1995, pp. 150–54.","bibtex":"@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} }","ama":"Hüllermeier E. Towards modelling of fuzzy functions. In: Zimmermann HJ, ed. <i>In Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i>. ; 1995:150-154."},"publication":"in Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany","date_created":"2019-12-11T15:17:11Z","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"type":"conference","author":[{"full_name":"Hüllermeier, Eyke","last_name":"Hüllermeier","first_name":"Eyke","id":"48129"}],"title":"Towards modelling of fuzzy functions","year":"1995","status":"public","date_updated":"2022-01-06T06:52:20Z","_id":"15294","language":[{"iso":"eng"}],"page":"150-154","editor":[{"first_name":"H.J.","last_name":"Zimmermann","full_name":"Zimmermann, H.J."}],"user_id":"49109"},{"citation":{"apa":"Hüllermeier, E. (1995). Rule-based modelling in fuzzy simulation. In <i>in Proceedings ISFL-95 International Symposium on Logic, Zürich</i> (pp. B49–B56). ICSC Academic Press.","ieee":"E. Hüllermeier, “Rule-based modelling in fuzzy simulation,” in <i>in Proceedings ISFL-95 International Symposium on Logic, Zürich</i>, 1995, pp. B49–B56.","short":"E. Hüllermeier, in: In Proceedings ISFL-95 International Symposium on Logic, Zürich, ICSC Academic Press, 1995, pp. B49–B56.","chicago":"Hüllermeier, Eyke. “Rule-Based Modelling in Fuzzy Simulation.” In <i>In Proceedings ISFL-95 International Symposium on Logic, Zürich</i>, B49–56. ICSC Academic Press, 1995.","mla":"Hüllermeier, Eyke. “Rule-Based Modelling in Fuzzy Simulation.” <i>In Proceedings ISFL-95 International Symposium on Logic, Zürich</i>, ICSC Academic Press, 1995, pp. B49–56.","ama":"Hüllermeier E. Rule-based modelling in fuzzy simulation. In: <i>In Proceedings ISFL-95 International Symposium on Logic, Zürich</i>. ICSC Academic Press; 1995:B49-B56.","bibtex":"@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} }"},"publication":"in Proceedings ISFL-95 International Symposium on Logic, Zürich","date_created":"2019-12-11T15:19:57Z","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"type":"conference","author":[{"full_name":"Hüllermeier, Eyke","first_name":"Eyke","last_name":"Hüllermeier","id":"48129"}],"year":"1995","title":"Rule-based modelling in fuzzy simulation","status":"public","date_updated":"2022-01-06T06:52:20Z","language":[{"iso":"eng"}],"_id":"15295","publisher":"ICSC Academic Press","page":"B49-B56","user_id":"49109"},{"citation":{"apa":"Hüllermeier, E. (1995). Fuzzy polynomial and spline interpolation. In <i>in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin</i> (pp. 401–404). Gordon and Breach Publishers.","ieee":"E. Hüllermeier, “Fuzzy polynomial and spline interpolation,” in <i>in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin</i>, 1995, pp. 401–404.","short":"E. Hüllermeier, in: In Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin, Gordon and Breach Publishers, 1995, pp. 401–404.","chicago":"Hüllermeier, Eyke. “Fuzzy Polynomial and Spline Interpolation.” In <i>In Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin</i>, 401–4. Gordon and Breach Publishers, 1995.","mla":"Hüllermeier, Eyke. “Fuzzy Polynomial and Spline Interpolation.” <i>In Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin</i>, Gordon and Breach Publishers, 1995, pp. 401–04.","ama":"Hüllermeier E. Fuzzy polynomial and spline interpolation. In: <i>In Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin</i>. Gordon and Breach Publishers; 1995:401-404.","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} }"},"publication":"in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"type":"conference","date_created":"2019-12-11T16:11:03Z","date_updated":"2022-01-06T06:52:20Z","author":[{"id":"48129","full_name":"Hüllermeier, Eyke","last_name":"Hüllermeier","first_name":"Eyke"}],"title":"Fuzzy polynomial and spline interpolation","status":"public","year":"1995","user_id":"49109","publisher":"Gordon and Breach Publishers","_id":"15305","language":[{"iso":"eng"}],"page":"401-404"},{"_id":"16236","language":[{"iso":"eng"}],"publisher":"Metropolis","page":"413-454","editor":[{"last_name":"Flemmig","first_name":"J.","full_name":"Flemmig, J."}],"user_id":"49109","author":[{"first_name":"Eyke","last_name":"Hüllermeier","full_name":"Hüllermeier, Eyke","id":"48129"}],"title":"Konjunkturzyklen aufgrund von Investitionsinterdependenzen:  Simulation und empirische Überprüfung","status":"public","year":"1995","date_updated":"2022-01-06T06:52:46Z","date_created":"2020-03-03T17:20:32Z","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"type":"book_chapter","citation":{"apa":"Hüllermeier, E. (1995). Konjunkturzyklen aufgrund von Investitionsinterdependenzen:  Simulation und empirische Überprüfung. In J. Flemmig (Ed.), <i>Moderne Makroökonomie-Eine kritische Bestandsaufnahme</i> (pp. 413–454). Metropolis.","ieee":"E. Hüllermeier, “Konjunkturzyklen aufgrund von Investitionsinterdependenzen:  Simulation und empirische Überprüfung,” in <i>Moderne Makroökonomie-Eine kritische Bestandsaufnahme</i>, 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.","chicago":"Hüllermeier, Eyke. “Konjunkturzyklen Aufgrund von Investitionsinterdependenzen:  Simulation Und Empirische Überprüfung.” In <i>Moderne Makroökonomie-Eine Kritische Bestandsaufnahme</i>, edited by J. Flemmig, 413–54. Metropolis, 1995.","mla":"Hüllermeier, Eyke. “Konjunkturzyklen Aufgrund von Investitionsinterdependenzen:  Simulation Und Empirische Überprüfung.” <i>Moderne Makroökonomie-Eine Kritische Bestandsaufnahme</i>, edited by J. Flemmig, Metropolis, 1995, pp. 413–54.","ama":"Hüllermeier E. Konjunkturzyklen aufgrund von Investitionsinterdependenzen:  Simulation und empirische Überprüfung. In: Flemmig J, ed. <i>Moderne Makroökonomie-Eine Kritische Bestandsaufnahme</i>. Metropolis; 1995: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} }"},"publication":"Moderne Makroökonomie-Eine kritische Bestandsaufnahme"},{"title":"Approximate solution of a linear programming problem using a modified perceptron-algorithm.","status":"public","year":"1994","author":[{"full_name":"Hüllermeier, Eyke","last_name":"Hüllermeier","first_name":"Eyke","id":"48129"}],"date_updated":"2022-01-06T06:52:20Z","page":"195-199","language":[{"iso":"eng"}],"_id":"15296","user_id":"49109","editor":[{"first_name":"H.J.","last_name":"Zimmermann","full_name":"Zimmermann, H.J."}],"publication":"in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany","citation":{"apa":"Hüllermeier, E. (1994). Approximate solution of a linear programming problem using a modified perceptron-algorithm. In H. J. Zimmermann (Ed.), <i>in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i> (pp. 195–199).","ieee":"E. Hüllermeier, “Approximate solution of a linear programming problem using a modified perceptron-algorithm.,” in <i>in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i>, 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.","chicago":"Hüllermeier, Eyke. “Approximate Solution of a Linear Programming Problem Using a Modified Perceptron-Algorithm.” In <i>In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i>, edited by H.J. Zimmermann, 195–99, 1994.","mla":"Hüllermeier, Eyke. “Approximate Solution of a Linear Programming Problem Using a Modified Perceptron-Algorithm.” <i>In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i>, edited by H.J. Zimmermann, 1994, pp. 195–99.","ama":"Hüllermeier E. Approximate solution of a linear programming problem using a modified perceptron-algorithm. In: Zimmermann HJ, ed. <i>In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany</i>. ; 1994: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} }"},"date_created":"2019-12-11T15:23:29Z","type":"conference","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}]},{"doi":"10.1051/ita/1993270403271","user_id":"315","_id":"19814","language":[{"iso":"eng"}],"page":"327-340","date_updated":"2022-01-06T06:54:13Z","publication_status":"published","publication_identifier":{"issn":["0988-3754","1290-385X"]},"author":[{"last_name":"Flögel","first_name":"A.","full_name":"Flögel, A."},{"full_name":"Kleine Büning, H.","last_name":"Kleine Büning","first_name":"H."},{"id":"315","full_name":"Lettmann, Theodor","orcid":"0000-0001-5859-2457","first_name":"Theodor","last_name":"Lettmann"}],"status":"public","year":"1993","title":"On the restricted equivalence for subclasses of propositional logic","department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"type":"journal_article","date_created":"2020-10-01T08:10:48Z","citation":{"ieee":"A. Flögel, H. Kleine Büning, and T. Lettmann, “On the restricted equivalence for subclasses of propositional logic,” <i>RAIRO - Theoretical Informatics and Applications</i>, pp. 327–340, 1993.","apa":"Flögel, A., Kleine Büning, H., &#38; Lettmann, T. (1993). On the restricted equivalence for subclasses of propositional logic. <i>RAIRO - Theoretical Informatics and Applications</i>, 327–340. <a href=\"https://doi.org/10.1051/ita/1993270403271\">https://doi.org/10.1051/ita/1993270403271</a>","short":"A. Flögel, H. Kleine Büning, T. Lettmann, RAIRO - Theoretical Informatics and Applications (1993) 327–340.","chicago":"Flögel, A., H. Kleine Büning, and Theodor Lettmann. “On the Restricted Equivalence for Subclasses of Propositional Logic.” <i>RAIRO - Theoretical Informatics and Applications</i>, 1993, 327–40. <a href=\"https://doi.org/10.1051/ita/1993270403271\">https://doi.org/10.1051/ita/1993270403271</a>.","mla":"Flögel, A., et al. “On the Restricted Equivalence for Subclasses of Propositional Logic.” <i>RAIRO - Theoretical Informatics and Applications</i>, 1993, pp. 327–40, doi:<a href=\"https://doi.org/10.1051/ita/1993270403271\">10.1051/ita/1993270403271</a>.","bibtex":"@article{Flögel_Kleine Büning_Lettmann_1993, title={On the restricted equivalence for subclasses of propositional logic}, DOI={<a href=\"https://doi.org/10.1051/ita/1993270403271\">10.1051/ita/1993270403271</a>}, journal={RAIRO - Theoretical Informatics and Applications}, author={Flögel, A. and Kleine Büning, H. and Lettmann, Theodor}, year={1993}, pages={327–340} }","ama":"Flögel A, Kleine Büning H, Lettmann T. On the restricted equivalence for subclasses of propositional logic. <i>RAIRO - Theoretical Informatics and Applications</i>. 1993:327-340. doi:<a href=\"https://doi.org/10.1051/ita/1993270403271\">10.1051/ita/1993270403271</a>"},"publication":"RAIRO - Theoretical Informatics and Applications"},{"type":"report","department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"place":"´Heidelberg","date_created":"2020-10-01T09:30:28Z","citation":{"apa":"Dahn, B. I., Lettmann, T., &#38; Schönfeld, W. (1991). <i>ILFA Interface Concept</i> (Vol. 193). ´Heidelberg: Wissenschaftliche Zentrum der IBM Deutschland .","ieee":"B. I. Dahn, T. Lettmann, and W. Schönfeld, <i>ILFA Interface Concept</i>, 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.","chicago":"Dahn, Bernd I., Theodor Lettmann, and Wolfgang Schönfeld. <i>ILFA Interface Concept</i>. Vol. 193. IWBS Report. ´Heidelberg: Wissenschaftliche Zentrum der IBM Deutschland , 1991.","mla":"Dahn, Bernd I., et al. <i>ILFA Interface Concept</i>. Vol. 193, Wissenschaftliche Zentrum der IBM Deutschland , 1991.","ama":"Dahn BI, Lettmann T, Schönfeld W. <i>ILFA Interface Concept</i>. Vol 193. ´Heidelberg: 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} }"},"user_id":"315","volume":193,"_id":"19822","series_title":"IWBS Report","publisher":"Wissenschaftliche Zentrum der IBM Deutschland ","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:54:13Z","intvolume":"       193","title":"ILFA Interface Concept","status":"public","year":"1991","author":[{"full_name":"Dahn, Bernd I.","last_name":"Dahn","first_name":"Bernd I."},{"full_name":"Lettmann, Theodor","first_name":"Theodor","last_name":"Lettmann","orcid":"0000-0001-5859-2457","id":"315"},{"full_name":"Schönfeld, Wolfgang","last_name":"Schönfeld","first_name":"Wolfgang"}]},{"user_id":"315","doi":"10.1016/0304-3975(89)90055-8","_id":"19818","language":[{"iso":"eng"}],"page":"343-350","publication_status":"published","date_updated":"2022-01-06T06:54:13Z","publication_identifier":{"issn":["0304-3975"]},"author":[{"last_name":"Kleine Büning","first_name":"Hans","full_name":"Kleine Büning, Hans"},{"id":"315","full_name":"Lettmann, Theodor","last_name":"Lettmann","first_name":"Theodor","orcid":"0000-0001-5859-2457"},{"last_name":"Mayr","first_name":"Ernst W.","full_name":"Mayr, Ernst W."}],"year":"1989","status":"public","title":"Projections of vector addition system reachability sets are semilinear","department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"type":"journal_article","date_created":"2020-10-01T08:20:05Z","citation":{"apa":"Kleine Büning, H., Lettmann, T., &#38; Mayr, E. W. (1989). Projections of vector addition system reachability sets are semilinear. <i>Theoretical Computer Science</i>, 343–350. <a href=\"https://doi.org/10.1016/0304-3975(89)90055-8\">https://doi.org/10.1016/0304-3975(89)90055-8</a>","ieee":"H. Kleine Büning, T. Lettmann, and E. W. Mayr, “Projections of vector addition system reachability sets are semilinear,” <i>Theoretical Computer Science</i>, pp. 343–350, 1989.","short":"H. Kleine Büning, T. Lettmann, E.W. Mayr, Theoretical Computer Science (1989) 343–350.","chicago":"Kleine Büning, Hans, Theodor Lettmann, and Ernst W. Mayr. “Projections of Vector Addition System Reachability Sets Are Semilinear.” <i>Theoretical Computer Science</i>, 1989, 343–50. <a href=\"https://doi.org/10.1016/0304-3975(89)90055-8\">https://doi.org/10.1016/0304-3975(89)90055-8</a>.","mla":"Kleine Büning, Hans, et al. “Projections of Vector Addition System Reachability Sets Are Semilinear.” <i>Theoretical Computer Science</i>, 1989, pp. 343–50, doi:<a href=\"https://doi.org/10.1016/0304-3975(89)90055-8\">10.1016/0304-3975(89)90055-8</a>.","ama":"Kleine Büning H, Lettmann T, Mayr EW. Projections of vector addition system reachability sets are semilinear. <i>Theoretical Computer Science</i>. 1989:343-350. doi:<a href=\"https://doi.org/10.1016/0304-3975(89)90055-8\">10.1016/0304-3975(89)90055-8</a>","bibtex":"@article{Kleine Büning_Lettmann_Mayr_1989, title={Projections of vector addition system reachability sets are semilinear}, DOI={<a href=\"https://doi.org/10.1016/0304-3975(89)90055-8\">10.1016/0304-3975(89)90055-8</a>}, journal={Theoretical Computer Science}, author={Kleine Büning, Hans and Lettmann, Theodor and Mayr, Ernst W.}, year={1989}, pages={343–350} }"},"publication":"Theoretical Computer Science"},{"department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"type":"conference","date_created":"2020-10-01T08:58:58Z","place":"Berlin, Heidelberg","citation":{"chicago":"Kleine Büning, Hans, and Theodor Lettmann. “Perspektiven Für Die Logikprogrammierung.” In <i>Workshop Wissensrepräsentation in Expertensystemen</i>, edited by G. Rahmstorf, 56–78. Berlin, Heidelberg, 1988.","short":"H. Kleine Büning, T. Lettmann, in: G. Rahmstorf (Ed.), Workshop Wissensrepräsentation in Expertensystemen, Berlin, Heidelberg, 1988, pp. 56–78.","apa":"Kleine Büning, H., &#38; Lettmann, T. (1988). Perspektiven für die Logikprogrammierung. In G. Rahmstorf (Ed.), <i>Workshop Wissensrepräsentation in Expertensystemen</i> (pp. 56–78). Berlin, Heidelberg.","ieee":"H. Kleine Büning and T. Lettmann, “Perspektiven für die Logikprogrammierung,” in <i>Workshop Wissensrepräsentation in Expertensystemen</i>, 1988, pp. 56–78.","ama":"Kleine Büning H, Lettmann T. Perspektiven für die Logikprogrammierung. In: Rahmstorf G, ed. <i>Workshop Wissensrepräsentation in Expertensystemen</i>. Berlin, Heidelberg; 1988: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} }","mla":"Kleine Büning, Hans, and Theodor Lettmann. “Perspektiven Für Die Logikprogrammierung.” <i>Workshop Wissensrepräsentation in Expertensystemen</i>, edited by G. Rahmstorf, 1988, pp. 56–78."},"publication":"Workshop Wissensrepräsentation in Expertensystemen","editor":[{"first_name":"G.","last_name":"Rahmstorf","full_name":"Rahmstorf, G."}],"user_id":"315","_id":"19820","language":[{"iso":"eng"}],"page":"56-78","publication_status":"published","date_updated":"2022-01-06T06:54:13Z","author":[{"full_name":"Kleine Büning, Hans","first_name":"Hans","last_name":"Kleine Büning"},{"id":"315","full_name":"Lettmann, Theodor","orcid":"0000-0001-5859-2457","first_name":"Theodor","last_name":"Lettmann"}],"publication_identifier":{"isbn":["9783540192169","9783642736414"],"issn":["0343-3005"]},"title":"Perspektiven für die Logikprogrammierung","status":"public","year":"1988"},{"department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"type":"book_chapter","date_created":"2020-10-01T09:08:05Z","place":"Berlin, Heidelberg","citation":{"mla":"Büning, Hans Kleine, and Theodor Lettmann. “Representation Independent Query and Update Operations on Propositional Definite Horn Formulas.” <i>Computation Theory and Logic</i>, edited by Egon Börger, 1987, pp. 208–23, doi:<a href=\"https://doi.org/10.1007/3-540-18170-9_167\">10.1007/3-540-18170-9_167</a>.","ama":"Büning HK, Lettmann T. Representation independent query and update operations on propositional definite Horn formulas. In: Börger E, ed. <i>Computation Theory and Logic</i>. Berlin, Heidelberg; 1987:208-223. doi:<a href=\"https://doi.org/10.1007/3-540-18170-9_167\">10.1007/3-540-18170-9_167</a>","bibtex":"@inbook{Büning_Lettmann_1987, place={Berlin, Heidelberg}, title={Representation independent query and update operations on propositional definite Horn formulas}, DOI={<a href=\"https://doi.org/10.1007/3-540-18170-9_167\">10.1007/3-540-18170-9_167</a>}, booktitle={Computation Theory and Logic}, author={Büning, Hans Kleine and Lettmann, Theodor}, editor={Börger, EgonEditor}, year={1987}, pages={208–223} }","apa":"Büning, H. K., &#38; Lettmann, T. (1987). Representation independent query and update operations on propositional definite Horn formulas. In E. Börger (Ed.), <i>Computation Theory and Logic</i> (pp. 208–223). Berlin, Heidelberg. <a href=\"https://doi.org/10.1007/3-540-18170-9_167\">https://doi.org/10.1007/3-540-18170-9_167</a>","ieee":"H. K. Büning and T. Lettmann, “Representation independent query and update operations on propositional definite Horn formulas,” in <i>Computation Theory and Logic</i>, E. Börger, Ed. Berlin, Heidelberg, 1987, pp. 208–223.","chicago":"Büning, Hans Kleine, and Theodor Lettmann. “Representation Independent Query and Update Operations on Propositional Definite Horn Formulas.” In <i>Computation Theory and Logic</i>, edited by Egon Börger, 208–23. Berlin, Heidelberg, 1987. <a href=\"https://doi.org/10.1007/3-540-18170-9_167\">https://doi.org/10.1007/3-540-18170-9_167</a>.","short":"H.K. Büning, T. Lettmann, in: E. Börger (Ed.), Computation Theory and Logic, Berlin, Heidelberg, 1987, pp. 208–223."},"publication":"Computation Theory and Logic","editor":[{"full_name":"Börger, Egon","first_name":"Egon","last_name":"Börger"}],"user_id":"315","doi":"10.1007/3-540-18170-9_167","_id":"19821","language":[{"iso":"eng"}],"page":"208-223","publication_status":"published","date_updated":"2022-01-06T06:54:13Z","publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783540181705","9783540477952"]},"author":[{"last_name":"Büning","first_name":"Hans Kleine","full_name":"Büning, Hans Kleine"},{"id":"315","full_name":"Lettmann, Theodor","orcid":"0000-0001-5859-2457","last_name":"Lettmann","first_name":"Theodor"}],"title":"Representation independent query and update operations on propositional definite Horn formulas","year":"1987","status":"public"},{"publication":"8th International Conference on Automated Deduction","citation":{"ieee":"H. Kleine Büning and T. Lettmann, “Classes of first order formulas under various satisfiability definitions,” in <i>8th International Conference on Automated Deduction</i>, Berlin, Heidelberg, 1986.","apa":"Kleine Büning, H., &#38; Lettmann, T. (1986). Classes of first order formulas under various satisfiability definitions. In <i>8th International Conference on Automated Deduction</i>. Berlin, Heidelberg. <a href=\"https://doi.org/10.1007/3-540-16780-3_119\">https://doi.org/10.1007/3-540-16780-3_119</a>","short":"H. Kleine Büning, T. Lettmann, in: 8th International Conference on Automated Deduction, Berlin, Heidelberg, 1986.","chicago":"Kleine Büning, H., and Theodor Lettmann. “Classes of First Order Formulas under Various Satisfiability Definitions.” In <i>8th International Conference on Automated Deduction</i>. Berlin, Heidelberg, 1986. <a href=\"https://doi.org/10.1007/3-540-16780-3_119\">https://doi.org/10.1007/3-540-16780-3_119</a>.","mla":"Kleine Büning, H., and Theodor Lettmann. “Classes of First Order Formulas under Various Satisfiability Definitions.” <i>8th International Conference on Automated Deduction</i>, 1986, doi:<a href=\"https://doi.org/10.1007/3-540-16780-3_119\">10.1007/3-540-16780-3_119</a>.","bibtex":"@inbook{Kleine Büning_Lettmann_1986, place={Berlin, Heidelberg}, title={Classes of first order formulas under various satisfiability definitions}, DOI={<a href=\"https://doi.org/10.1007/3-540-16780-3_119\">10.1007/3-540-16780-3_119</a>}, booktitle={8th International Conference on Automated Deduction}, author={Kleine Büning, H. and Lettmann, Theodor}, year={1986} }","ama":"Kleine Büning H, Lettmann T. Classes of first order formulas under various satisfiability definitions. In: <i>8th International Conference on Automated Deduction</i>. Berlin, Heidelberg; 1986. doi:<a href=\"https://doi.org/10.1007/3-540-16780-3_119\">10.1007/3-540-16780-3_119</a>"},"place":"Berlin, Heidelberg","date_created":"2020-10-01T08:56:14Z","type":"book_chapter","department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"title":"Classes of first order formulas under various satisfiability definitions","year":"1986","status":"public","author":[{"last_name":"Kleine Büning","first_name":"H.","full_name":"Kleine Büning, H."},{"full_name":"Lettmann, Theodor","last_name":"Lettmann","first_name":"Theodor","orcid":"0000-0001-5859-2457","id":"315"}],"publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783540167808","9783540398615"]},"date_updated":"2022-01-06T06:54:13Z","publication_status":"published","_id":"19819","language":[{"iso":"eng"}],"doi":"10.1007/3-540-16780-3_119","user_id":"315"}]