E-Book, Englisch, Deutsch, Band 58, 246 Seiten, eBook
Reihe: Informatik-Fachberichte
Wahlster GWAI-82
1982
ISBN: 978-3-642-68826-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
6th German Workshop on Artificial Intelligence Bad Honnef, Sept. 27. – Oct. 1, 1982
E-Book, Englisch, Deutsch, Band 58, 246 Seiten, eBook
Reihe: Informatik-Fachberichte
ISBN: 978-3-642-68826-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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 Repräsentation von Wissen.- Some Fundamental Issues in Knowledge Representation (Hauptvortrag).- Konsistenzüberprüfung bei sich verändernden Wissensbasen.- Automatische Akquisition von inferentiellem Wissen.- Zur Repräsentation indefinit deskribierter Objekte in Kl-Systemen.- N.N.: A View of Planning in Chess.- Unifikation und Deduktion.- Universal Unification (Hauptvortrag).- Der META-Beweiser für 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.- NatÜrlichsprachliche 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.




