Skip to main content
SpringerLink
Log in
Book cover

International Conference on Automated Deduction

CADE 1990: 10th International Conference on Automated Deduction pp 681Cite as

Tutorial on reasoning and representation with concept languages

  • Conference paper
  • First Online:

  • 175 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 449))

This is a preview of subscription content, log in via an institution.

Author information

Authors and Affiliations

  1. German Research Center on Artificial Intelligence, Kaiserslautern and Saarbrücken, West Germany

    Jürgen Müller, Franz Baader, Bernhard Nebel & Werner Nutt

  2. IBM Scientific Center, Stuttgart, West Germany

    Gert Smolka

Authors
  1. Jürgen Müller
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Franz Baader
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Bernhard Nebel
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Werner Nutt
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Gert Smolka
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Mark E. Stickel

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Müller, J., Baader, F., Nebel, B., Nutt, W., Smolka, G. (1990). Tutorial on reasoning and representation with concept languages. In: Stickel, M.E. (eds) 10th International Conference on Automated Deduction. CADE 1990. Lecture Notes in Computer Science, vol 449. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52885-7_141

Download citation

  • DOI: https://doi.org/10.1007/3-540-52885-7_141

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52885-2

  • Online ISBN: 978-3-540-47171-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation