GWAI-82, 6th German Workshop on Artificial Intelligence : Bad Honnef, Sep. 27-Oct. 1, 1982
著者
書誌事項
GWAI-82, 6th German Workshop on Artificial Intelligence : Bad Honnef, Sep. 27-Oct. 1, 1982
（Informatik-Fachberichte, 58）
Springer, 1982
大学図書館所蔵 件 / 全9件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
English and German
Proceedings of a conference sponsored by Gesellschaft für Informatik, Fachausschuss 6--Kognitive Systeme, Unterausschuss Künstliche Intelligenz
Includes bibliographies
内容説明・目次
内容説明
GWAI-82, die sechste Fachtagung uber Kunstl iche Intell igenz fand yom 27.9. - 1.10.1982 im Physikzentrum in Bad Honnef statt. Die Fachtagung wurde yom FachausschuB 6 Kogni- tive Systeme (UnterausschuB Kunstl iche Intell igenz) der Gesellschaft fur Informatik organisiert. Die diesjahrige Fachtagung wurde von 120 Teilnehmern (davon ca. 11% auslandische Ga- ste) besucht. Wegen der beschrankten Kapazitat des Tagungsgebaudes konnten rd. 30 weitere Interessenten nicht berucksichtigt werden. Die Mehrzahl der Teilnehmer arbei- tet an Hochschul instituten und GroBforschungseinrichtungen. Erstmals kamen uber 12% der Teilnehmer auch aus der Industrie. Dies dokumentiert das jetzt auch in der deut- schen Software-Industrie deutlich einsetzende Interesse an der anwendungsspezifischen Umsetzung und Vermarktung von Ergebnissen und Techniken der KI-Forschung. Die Tagung umfaBte 32 Beitrage aus folgenden Kategorien: 3 eingeladene Hauptvortrage (Vortragsdauer/Diskussionsdauer: 60 Min./30 Min.), 16 begutachtete Fachvortrage (30 Min./15 Min.), 5 begutachtete Kurzvortrage (15 Min./l0 Min.), 1 Projektfortschritts- bericht (30 Min./15 Min.), 3 unbegutachtete Kurzberichte (15 Min./l0 Min.) und 5 Systemvorfuhrungen.
Der vorl iegende Band enthalt samtl iche Hauptvortrage und eine Aus- wahl der akzeptierten Fachvortrage. Die Arbeit des Programmkomitees wurde uberschattet durch den tragischen Tod unseres Kollegen J5rgen Foith, der als Mitgl ied des Programmkomitees die Tagung nicht mehr miterleben konnte.
目次
Beschreiben und Verstehen Von Bildfolgen.- Knowledge Sources for Understanding and Describing Image Sequences (Hauptvortrag).- On the Selection of Verbs for Natural Language Description of Traffic Scenes.- Symbolic Description and Matching of Image Sequences.- Akquisition und Reprasentation von Wissen.- Some Fundamental Issues in Knowledge Representation (Hauptvortrag).- Konsistenzuberprufung bei sich verandernden Wissensbasen.- Automatische Akquisition von inferentiellem Wissen.- Zur ReprAsentation indefinit deskribierter Objekte in Kl-Systemen.- N.N.: A View of Planning in Chess.- Unifikation und Deduktion.- Universal Unification (Hauptvortrag).- Der META-Beweiser fur die Zahlentheorie.- Proofs by Induction in 'Fairly' Specified Equational Theories.- Inductive Inference in Finite Algebraic Structures.- Universal Unification and a Class of Equational Theories.- Completeness of the Connection Graph Proof Procedure for Unit-Refutable Clause Sets.- NatAoerlichsprachliche systeme.- Rekonstruktion aufgabenorientierter Dialoge mit einem mehrstufigen Parsing- Algorithmus auf der Grundlage kaskadierter ATNs.- ATN-Steuerung durch Kasusrahmen.- Ellipsenrekonstruktion im Kotext: Forderungen an eine Ellipsenkomponente und ihre Realisierung in SWYSS.- Natural Language Access to PROLOG Database Systems.
「Nielsen BookData」 より