GWAI-85

9th German Workshop on Artificial Intelligence Dassel/Solling, September 23–27, 1985

  • Herbert Stoyan
Conference proceedings

Part of the Informatik-Fachberichte book series (INFORMATIK, volume 118)

Table of contents

  1. Front Matter
    Pages I-X
  2. Philosophische Fragen der-Künstlichen Intelligenz, Cognitive Science

  3. KI — Programmiersprachen und — Maschinen

    1. Front Matter
      Pages 35-35
    2. Mario Fendler, Rainer Wichlacz
      Pages 36-45
  4. Automatische Beweisverfahren

    1. Front Matter
      Pages 56-56
    2. Karl-Hans Bläsius
      Pages 57-76
    3. Hans Jürgen Ohlbach
      Pages 77-100
    4. R. Book, J. H. Siekmann
      Pages 111-117
    5. Manfred Schmidt-Schauß
      Pages 118-132
  5. Logik-orientiertes Programmieren und Programmsynthese

    1. Front Matter
      Pages 133-133
    2. Hervé Callaire
      Pages 134-134
    3. Stefan Böttcher
      Pages 164-175
    4. S. Hölldobler, U. Furbach, T. LauBermair
      Pages 176-185
  6. Verarbeitung natürlicher Sprache

    1. Front Matter
      Pages 186-186

About these proceedings

Keywords

Expertensystem Philosophie Roboter Robotik Verifikation Wissen Wissensbank Wissensdatenbank Wissensrepräsentation künstliche Intelligenz logisches Programmieren

Editors and affiliations

  • Herbert Stoyan
    • 1
  1. 1.Institut für Mathematische Maschinen und Datenverarbeitung VIFriedrich-Alexander-Universität Erlangen-NürnbergErlangenDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-71145-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 1986
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-16451-7
  • Online ISBN 978-3-642-71145-9
  • Series Print ISSN 0343-3005
  • About this book