SpringerLink
Log in

GWAI-87 11th German Workshop on Artificial Intelligence

Geseke, September 28–October 2, 1987 Proceedings

  • Conference proceedings
  • © 1987

Overview

Editors:
  1. Katharina Morik

    1. Projektgruppe KIT, Sekr. FR 5–8, Technische Universität Berlin, Berlin 10, Deutschland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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 GBP 35.99
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book GBP 44.99
Price includes VAT (United Kingdom)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (41 papers)

  1. Deduktive Systeme

    1. Erweiterungen des Basic ATMS

      • Oskar Dressler
      Pages 185-194

    2. Oldy But Goody Paramodulation Revisited

      • Ulrich Furbach
      Pages 195-200

    3. Program Verification by Symbolic Execution and Induction

      • M. Heisel, W. Reif, W. Stephan
      Pages 201-210

    4. Resolution on Formula-Trees

      • Ulf R. Schmerl
      Pages 211-220

    5. A Hyperresolution-based Proof Procedure and Its Implementation in Prolog

      • Rainer Manthey, Francois Bry
      Pages 221-230

    6. Narrowing Techniques Applied to Idempotent Unification

      • Alexander Herold
      Pages 231-240

    7. Theopogles — A Theorem Prover Based on First-Order Polynomials and a Special Knuth-Bendix Procedure

      • Juergen Mueller
      Pages 241-250

  2. Selbstrepräsentierende Systeme

    1. Computational Reflection

      • Pattie Maes
      Pages 251-265

  3. Kognitives Modellieren

    1. Cognitive Modelling and Education

      • A. de Haan
      Pages 266-276

  4. Spezielle Sektion: Kognition — Wissensstrukturen beim Aufgabenloesen

    1. Front Matter

      Pages 277-277
      Download chapter PDF

    2. Wissen und Können

      • Barbara Becker
      Pages 278-286

    3. Repräsentationsformen beim menschlichen Problemlösen

      • Gerhard Strube
      Pages 287-295

    4. Mentale Bilder und Wegbedeutungen

      • Klaus Rehkämper
      Pages 296-305

  5. Generierung in Natürlichsprachlichen Systemen

    1. Front Matter

      Pages 306-306
      Download chapter PDF

    2. Generation of content vs. generation of form: A review of recent work in the SEMSYN project

      • Dietmar Rösner
      Pages 307-314

    3. Ein erster Blick auf POPEL — Wie wird was gesagt?

      • Norbert Reithinger
      Pages 315-319

    4. How to say WHAT — IT or SOMETHING ?

      • Helmut Horacek
      Pages 320-329

    5. Generierung natürlichsprachlicher Äußerungen zur simultanen Beschreibung von zeitveränderlichen Szenen

      • Elisabeth André, Thomas Rist, Gerd Herzog
      Pages 330-338

  6. Repräsentationssysteme für Grammatik und Lexikon

    1. Front Matter

      Pages 339-339
      Download chapter PDF

    2. Endliche Automaten zur Verbflexion und ein spezielles deutsches Verblexikon

      • Dietrich Paulus
      Pages 340-344
Back to top

Editors and Affiliations

  • Projektgruppe KIT, Sekr. FR 5–8, Technische Universität Berlin, Berlin 10, Deutschland

    Katharina Morik

Bibliographic Information

  • Book Title: GWAI-87 11th German Workshop on Artificial Intelligence

  • Book Subtitle: Geseke, September 28–October 2, 1987 Proceedings

  • Editors: Katharina Morik

  • Series Title: Informatik-Fachberichte

  • DOI: https://doi.org/10.1007/978-3-642-73005-4

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1987

  • Softcover ISBN: 978-3-540-18388-4Published: 18 September 1987

  • eBook ISBN: 978-3-642-73005-4Published: 06 December 2012

  • Series ISSN: 0343-3005

  • Edition Number: 1

  • Number of Pages: XI, 405

  • Number of Illustrations: 18 b/w illustrations

  • Topics: Artificial Intelligence, Database Management

Publish with us

Policies and ethics

Back to top

Search

Navigation