GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, January 26-31, 1981
Author(s)
Bibliographic Information
GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, January 26-31, 1981
(Informatik-Fachberichte, 47)
Springer-Verlag, 1981
Available at 15 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P||Bad Honnef||1981.12815606
Note
"Die erste Fachtagung Künstliche Intelligenz der Gesellschaft für Informatik ... wurde vom 26.1. bis 30.1. 1981 im Physikzentrum in Bad Honnef abgehalten"--P. iii
Includes bibliographical references
Description and Table of Contents
Description
Die erste Fachtagung KunstZiche InteZZigenz der Gesellschaft fur Informatik (wenngleich bereits der funfte Workshop zu diesem Thema in Deutschland) wurde vorn 26. 1. bis 30. 1. 1981 im Physikzentrum in Badffixmef abgehalten. Damit wird nach fast funfundzwanzigjahriger Verspatung [1] auch bei uns langsam ein Gebiet salonfahig, das zum Schaden der deut- schen Informatik bisher vernachlassigt wurde und das in den USA (und anderen Landern) bereits seit langem unter dem Namen "Artificial Intelligence" zu den Kernfachern der Informatik gehort [2]. Die Tagung wurde gepragt durch den Wechsel von eingeladenen Hauptvor- tragen von jeweils einstundiger Dauer mit anschliessender halbstundiger Diskussion und den speziellen Fachvortragen von jeweils halbstundiger Redezeit. Die Hauptvortrage (HV) geben auch in etwa die Forschungsschwerpunkte wieder, durch die die KunstZiche InteZZigenz in Deutschland vertreten ist: W. Radig (Harnburg) gibt in seinem HV "Modelle und Strukturen in der Bildverarbeitung" einen Uberblick uber die Forschung auf dem Gebiet Computersehen.
Der Beitrag konzentriert sich dabei besonders auf die Aspekte, die uber das traditionelle "pattern recognition" hinausgehen und steht damit in engem Zusammenhang mit dem zweiten HV: J. Foith (Karlsruht:) "Roboterforschung: Von Spielzeugwelten zur industriellen Anwendung". Dieser Beitrag durfte besonders fur Leser aus der Industrie von Interesse sein. Beide Gebiete demonstrieren besonders anschaulich, mit welchem Tempo der Verlust wissenscha[tZicher Konkurrenzfahigkeit zum Verlust industrieZZer Wettbewerbs fahigkeit fuhren kann: die Grund- lagenforschung wurde vor ca. 10 Jahren in den USA begonnen [3] und von der deutschen Informatik weitgehend ignoriert.
Table of Contents
Computersehen und Roboterforschung.- Models and Structures in Image Processing (Hauptvortrag).- On the Frame-to-Frame Correspondence between Grey Value Characteristics in the Images of Moving Objects (Fachvortrag).- Robotics Research: From Toy Worlds to Industrial Applications (Hauptvortrag).- Naturlichsprachliche KI-Systeme.- Naturlichsprachliche KI-Systeme: Entwicklungsstand und Forschungsperspektive (Hauptvortrag).- SWISS - A Natural Language Question Answering System for Scene Analysis (Fachvortrag).- Natural Language Inquiries abouth Motion in an Automatically Analyzed Traffic Scene (Fachvortrag).- Aspekte der rechnergestutzten Generierung von Inferenzregeln durch Regelschemata (Fachvortrag).- Expertensysteme/Verarbeitung Naturlicher Sprache.- Expert Systems: State of the Art and Future Prospects (Hauptvortrag).- An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types (Fachvortrag).- Context Directed Translation (Fachvortrag).- GLP: A Linguistic Processor (Abstract).- KI-Sprachen und Deren Anwendungen.- AI Languages and AI Machines: An Overview (Hauptvortrag).- A Concurrent Chart Parser (Abstract).- A Parallel Connection Graph Proof Procedure (Fachvortrag).- Integrated Knowledge-Based Information Manipulation Systems (Abstract).- Automatisches Beweisen und Connectiongraphverfahren.- Mating in Matrices (Hauptvortrag).- Subsumption and Connectionsgraphs (Fachvortrag).- Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof Procedure (Abstract).- Elimination of Redundant Links in Extended Connection Graphs (Fachvortrag).- Termersetzungssysteme und Automatisches Beweisen.- Term Reduction Systems and Algebraic Algorithms (Hauptvortrag).- A Noetherian Rewrite System for Idempotent Semigroups (Fachvortrag).- On the Completeness of Connection Graph Resolution (Abstract).- Generating small Models of First Order Axioms (Fachvortrag).- Programmverifikation/Sprache/Spiele.- Programmverification at Stanford: Past, Present Future (Hauptvortrag).- A System for Understanding Continuous German Speech (Fachvortrag).- Verarbeitung von externer und interner Situation in UEberzeugungssystemen (Fachvortrag).- Structures for Knowledge-Based Chess Programs (Fachvortrag).- Informationsgewinnung durch automatisches Erzeugen zielbezogener Fragen (Fachvortrag).
by "Nielsen BookData"