Skip to main content
  • Conference proceedings
  • © 1989

5. Österreichische Artificial-Intelligence-Tagung

Igls/Tirol, 28.-31. März 1989 Proceedings

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

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

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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

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

Table of contents (56 papers)

  1. Front Matter

    Pages I-XI
  2. Teil 1

    1. Eingeladene Hauptvortäge

      1. Temporal Issues in Qualitative Reasoning
        • Roy Leitch, Mark Wiegand
        Pages 1-13
    2. Logik / Deduktion

      1. Learning Heuristics for a Theorem Prover using Back Propagation
        • Wolfgang Ertel, Johann M. Ph. Schumann, Christian B. Suttner
        Pages 87-95
      2. Zeitbeschränkte Logische Programmierung
        • Andreas Zell
        Pages 96-105

Editors and Affiliations

  • Siemens AG Österreich, Wien, Österreich

    Johannes Retti

  • EDV-Zentrum der Universität Innsbruck, Innsbruck, Österreich

    Karl Leidlmair

Bibliographic Information

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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