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