Skip to main content
SpringerLink
Log in
SpringerLink
Log in

3. Österreichische Artificial-Intelligence-Tagung

Wien, 22–25. September 1987

  • Conference proceedings
  • © 1987

Overview

Editors:
  1. Ernst Buchberger

    1. Institut für Medizinische Kybernetik und Artificial Intelligence, Universität Wien, Wien, Österreich

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Johannes Retti

    1. Siemens AG Österreich, Wien, Österreich

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Subreihe Künstliche Intelligenz (2252)

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

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Pages N2-viii
    Download chapter PDF

  2. Bildverstehen

    1. Ereignismodellierung zur Inkrementellen High-Level Bildfolgenanalyse

      • Thomas Rist, Gerd Herzog, Elisabeth André
      Pages 1-11

  3. Problemlösen

    1. Probabilities in Game-Playing: Possible Meanings and Applications

      • Helmut Horacek, Hermann Kaindl, Marcus Wagner
      Pages 12-23

  5. Natürlichsprachige Systeme

    1. Towards Automatic Semantic Classification for a Natural Language Understanding System

      • Steven Zsolnai, Harald Trost
      Pages 35-48

    2. Parsing Phonetic Segments into Syllables

      • Georg Dorffner, Stan C. Kwasny, Robert F. Port
      Pages 49-63

  6. Knowledge Engineering

    1. Knowledge Engineering mit KNOPF

      • Herbert Groiss, Werner Staringer
      Pages 64-71

    2. PAMELA — Eine Deklarative Programmiersprache für Echtzeit-Anwendungen

      • Franz Barachini
      Pages 72-81

    3. Ein Werkzeug zum Wissenserwerb

      • Paul Tavolato, Werner Horn
      Pages 82-91

  8. Logic & Programming

    1. VIP — eine integrierte Programmierumgebung für Prolog

      • Andreas Krall, Eva Kühn
      Pages 125-132

    2. On The Integration of Equality, Sorts, and Logic Programming

      • Christoph Beierle, Udo Pletat
      Pages 133-144

    3. Taxonomical Reasoning in Logic Programming

      • I. Varsek
      Pages 145-156

    4. Synthesis of Specifications from Programs

      • N. Tareb, Y. Kodratoff
      Pages 157-167

    5. Reasoning about Theories with a Finite Model

      • Thomas Käufl
      Pages 168-175

    6. Automatisches Beweisen für Logiksysteme, in Denen Widersprüche Behandelt Werden Können

      • Matthias Baaz
      Pages 176-181

  9. Back Matter

    Pages 185-185
    Download chapter PDF
Back to top

Keywords

Editors and Affiliations

  • Institut für Medizinische Kybernetik und Artificial Intelligence, Universität Wien, Wien, Österreich

    Ernst Buchberger

  • Siemens AG Österreich, Wien, Österreich

    Johannes Retti

Bibliographic Information

  • Book Title: 3. Österreichische Artificial-Intelligence-Tagung

  • Book Subtitle: Wien, 22–25. September 1987

  • Editors: Ernst Buchberger, Johannes Retti

  • Series Title: Informatik-Fachberichte

  • DOI: https://doi.org/10.1007/978-3-642-46620-5

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1987

  • Softcover ISBN: 978-3-540-18384-6Published: 09 September 1987

  • eBook ISBN: 978-3-642-46620-5Published: 08 March 2013

  • Series ISSN: 0343-3005

  • Edition Number: 1

  • Number of Pages: VIII, 181

  • Topics: Theory of Computation, Artificial Intelligence, Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation