E-Book, Englisch, 320 Seiten, eBook
Siekmann GWAI-81
1981
ISBN: 978-3-662-02328-0
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
German Workshop on Artificial Intelligence Bad Honnef, January 26–31, 1981
E-Book, Englisch, 320 Seiten, eBook
Reihe: Subreihe Künstliche Intelligenz
ISBN: 978-3-662-02328-0
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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 Systemfor 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).
