GWAI-83 : 7th German Workshop on Artificial Intelligence, Dassel/Solling, September 19-23, 1983
Author(s)
Bibliographic Information
GWAI-83 : 7th German Workshop on Artificial Intelligence, Dassel/Solling, September 19-23, 1983
(Informatik-Fachberichte, 76)
Springer-Verlag, 1983
Available at 11 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||Dassel||1983.984059129
Note
English and German
Includes bibliographies
Description and Table of Contents
Description
GWAI-83, die siebte deutsche Fachtagung uber Kunstliche Intelligenz, fand vom 19.-23. Sept. 1983 in Dassel/Solling statt. Der Wechsel des Konferenzortes gegenuber dem fast schon traditionellen Bad Honnef in den davorliegenden Jahren war durch den Anstieg der Teilnehmerzahl notig geworden. Sie betrug 135 fur die GWAI-83 und durfte noch weiter steigen. Der vorliegende Band enthalt insgesamt 22 ausgewahlte Beitrage aus verschiedenen Themenbereichen der Kunstlichen Intelligenz .(KI), darunter drei eingeladene Ubersichtsbeitrage. Die Bereiche "Automatisches Beweisen" und "Naturlichsprachliche Systeme" sind mit den meisten Beitragen vertreten. Dies entspricht zwei wesentlichen Schwerpunkten der deutschen KI-Forschung. Daruberhinaus enthalt der Band Beitrage zu "Wissensreprasentation", "Bild- und Sprachverstehen", "Expertensysteme", "KI-Programmiersprachen" und "Logik". Bedauerlicherweise sind einige Bereiche der KI nur durch sehr wenige Beitrage oder uberhaupt nicht angesprochen, z.B. "KI-Aspekte der Robotik" , "Lernen", "Informelles Schliessen", "Kognition".
Dies ist aus der viel zu kleinen Anzahl von KI-Forschern erklarlich, die derzeit in Deutschland mit dem in explosiver Entwicklung begriffenen Forschungsgebiet KI SChritt halten mussen. Trotz dieser beschrankten Moglichkeiten hat sich das Programmkomitee, das fur die Auswahl der vorliegenden Beitrage verantwortlich war, um einen hohen Standard bemuht. Von den insgesamt 42 eingereichten Beitragen wurden weniger als die Halfte fur diesen Band akzeptiert. Die ausgewahlten Arbeiten stellen also besonders gelungene Beispiele deutscher (und in einem Fall auch italienischer) KI-Forschung dar. Den Autoren sei an dieser Stelle nochmals fur die Beitrage gedankt, insbesondere fur die Muhe beim Erstellen der Druckvorlagen.
Table of Contents
Expertensysteme.- Esdat - An Expert System for Primary Medical Care.- Overview on Med1: A Heuristic Diagnostics System with an Efficient Control-Structure.- Ki-Programmiersprachen.- Ist LISP eine 'langsame' Sprache?.- Bild- Und Sprachverstehen.- Control Strategies in Image and Speech Understanding (eingeladener UEbersichtsbeitrag).- A System for Diagnostic Evaluation of Scintigraphic Image Sequences.- Syrio: A Knowledge-Based Approach to 2-D Robotic Vision.- Naturlichsprachliche Systeme.- Ein Vehiquel fur den naturlichsprachlichen Zugang Zu datenbanken.- Parsing in PROLOG - Eine semantische Komponente.- Oberflachentransformationen bei der Generierung geschriebener deutscher Sprache.- On Verbalizing Real-World Events: An Interface of Natural Language and Vision.- Zur Generierung Zusammenhangender Texte.- Logik.- Logische Systeme und Reprasentationsprobleme (eingeladener UEbersichtsbeitrag).- Wissensreprasentation.- An Overview of Knowledge Representation (eingeladener UEbersichtsbeitrag).- Partnermodellierung Im Evidenzraum.- Kontrainduktives Lernen von Konzepten aus Fakten.- Problemloesen Und Automatisches Beweisen.- On the Use of Operation Information in Problem Solving.- Unifikationsgraphen fur Intelligentes Backtracking in Deduktionssystemen.- Properties of Substitutions and Unifications.- Proof Search for Unprovable Formulas.- Ein Regelbasiertes Klauselgraph-Beweisverfahren.- A Technical Note on Splitting and Clausal Normal Form Algorithms.- Vollstandige Reduktionssysteme.
by "Nielsen BookData"