عنوان

GWAI-81 :

شابک

3662023288

شابک

9783662023280

شماره

b579188

عنوان اصلي

GWAI-81 :

نام عام مواد

[Book]

ساير اطلاعات عنواني

German Workshop on Artificial Intelligence Bad Honnef, January 26-31, 1981

نام نخستين پديدآور

edited by Jörg H. Siekmann.

محل نشرو پخش و غیره

Berlin, Heidelberg

نام ناشر، پخش کننده و غيره

Springer Berlin Heidelberg : Imprint : Springer

تاریخ نشرو بخش و غیره

1981

نام خاص و کميت اثر

(XII, 320 pages 14 illustrations)

عنوان فروست

Subreihe Künstliche Intelligenz, In Zusammenarbeit mit dem Fachbereich 1 "Künstliche Intelligenz" der GI, 47.

متن يادداشت

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) --; Natürlichsprachliche KI-Systeme --; Natürlichsprachliche 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 rechnergestützten Generierung von Inferenzregeln durch Regelschemata (Fachvortrag) --; Expertensysteme/Verarbeitung Natürlicher 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 Überzeugungssystemen (Fachvortrag) --; Structures for Knowledge-Based Chess Programs (Fachvortrag) --; Informationsgewinnung durch automatisches Erzeugen zielbezogener Fragen (Fachvortrag).

موضوع مستند نشده

Artificial intelligence.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

edited by Jörg H. Siekmann.

مستند نام اشخاص تاييد نشده

Jörg H Siekmann

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y