|
" GWAI-81 : "
edited by Jörg H. Siekmann.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
759217
|
| Doc. No
|
:
|
b579188
|
| Main Entry
|
:
|
edited by Jörg H. Siekmann.
|
| Title & Author
|
:
|
GWAI-81 : : German Workshop on Artificial Intelligence Bad Honnef, January 26-31, 1981\ edited by Jörg H. Siekmann.
|
| Publication Statement
|
:
|
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint : Springer, 1981
|
| Series Statement
|
:
|
Subreihe Künstliche Intelligenz, In Zusammenarbeit mit dem Fachbereich 1 "Künstliche Intelligenz" der GI, 47.
|
| Page. NO
|
:
|
(XII, 320 pages 14 illustrations)
|
| ISBN
|
:
|
3662023288
|
|
|
:
|
: 9783662023280
|
| 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) --; 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).
|
| Subject
|
:
|
Artificial intelligence.
|
| LC Classification
|
:
|
Q334.E358 1981
|
| Added Entry
|
:
|
Jörg H Siekmann
|
| |