Advertisement

© 1987

3. Österreichische Artificial-Intelligence-Tagung

Wien, 22–25. September 1987

  • Ernst Buchberger
  • Johannes Retti
Conference proceedings

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

Table of contents

  1. Front Matter
    Pages N2-viii
    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

  4. Knowledge Base Management

    1. The RQA/FQI Strategy — Some Thoughts on the Evaluation of Recursive Queries in Knowledge Base Management Systems
      Wolfgang Nejdl
      Pages 24-34

  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

  7. Expertensysteme

    1. Lst-1 — ein wissensbasiertes System zur Durchführung und Berechnung des Lohnsteuerjahresausgleichs
      Hans-Peter Beiche
      Pages 92-103
    2. Wissensbasierte Fehlererkennung und Fehlerbehebung mit Hilfe eines objektorientierten Modells in ARTEX
      Gerhard Friedrich, Wolfgang Nejdl, Johannes Retti
      Pages 104-113
    3. Caching and Consistency, a Solution in RLL-1
      Hans Chalupsky
      Pages 114-124

  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
    PDF

About these proceedings

Keywords

Beweisen Expertensystem Logik Modellierung Problemlösen Prolog Wissen Wissensbank Wissensdatenbank logisches Programmieren natürliche Sprache wissensbasiertes System

Editors and affiliations

  • Ernst Buchberger
    • 1
  • Johannes Retti
    • 2
  1. 1.Institut für Medizinische Kybernetik und Artificial IntelligenceUniversität WienWienÖsterreich
  2. 2.Siemens AG ÖsterreichWienÖsterreich

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
  • Copyright Information Springer-Verlag Berlin Heidelberg 1987
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-18384-6
  • eBook ISBN 978-3-642-46620-5
  • Series ISSN 0343-3005
  • Edition Number 1
  • Number of Pages VIII, 181
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Theory of Computation
    Artificial Intelligence
    Mathematical Logic and Formal Languages
  • Buy this book on publisher's site