عنوان

GWAI-87 11th German Workshop on Artifical Intelligence :

(Number (ISBN

3540183884

(Number (ISBN

3642730051

(Number (ISBN

9783540183884

(Number (ISBN

9783642730054

Number

b573129

Title Proper

GWAI-87 11th German Workshop on Artifical Intelligence :

General Material Designation

[Book]

Other Title Information

Geseke, September 28-October 2, 1987 Proceedings

First Statement of Responsibility

edited by Katharina Morik.

Place of Publication, Distribution, etc.

Berlin, Heidelberg

Name of Publisher, Distributor, etc.

Springer Berlin Heidelberg : Imprint : Springer

Date of Publication, Distribution, etc.

1987

Specific Material Designation and Extent of Item

(XI, 405 pages)

Series Title

Subreihe Künstliche Intelligenz, 152.

Text of Note

Bildverstehen --; Das 'Bootstrap-Problem' bei der geometrischen Szenenrekonstruktion --; eine Ubersicht --; Konfliktlösung auf statistischer Basis bei der Bildanalyse mit Produktionsregeln --; EPEX: Bildfolgendeutung auf Episodenebene --; On Modelling Events with an 'Analogical' Representation --; Natürlichsprachliche Systeme und die Verarbeitung gesprochener Sprache --; KI-Methoden in der Maschinellen Übersetzung? --; Generierung aus f-Strukturen als strukturgesteuerte Ableitung --; FREGE --; Ein objektorientierter FRont-End-Generator --; Concretion Inferences in Natural Language Understanding --; Modelling Heuristic Parsing Strategies --; Deeper Reasons for Shallow Processing --; An Organization of Lexical Knowledge for Generation --; A Knowledge-Based Framework for Effective Probabilistic Control Strategies in Signal Understanding --; Wissensrepräsentation und KI-Programmierung --; Issues of Integration and Balancing in Hybrid Knowledge Representation Systems --; Der Aspekt der Zeitstruktur in zeitlogischen Formalisierungen der KI --; Higher-order Concepts in a Tractable Knowledge Representation --; Using Logic Programming for Fault Diagnosis in Digital Circuits --; Expertensysteme --; Specifying Meta-Level Architectures for Rule-Based Systems --; Guiding the Maintenance of a Model-Based Advisory System by Explanation-based Learning --; Deduktive Systeme --; An Efficient Interpreter for a Rule-Based Non-Monotonic Deduction System --; Belief Revision in Diagnosis --; Erweiterungen des Basic ATMS --; Oldy but Goody --; Paramodulation Revisited --; Program Verification by Symbolic Execution and Induction --; Resolution on Formula Trees --; A Hyperresolution-based Proof Procedure and its Implementation in PROLOG --; Narrowing Techniques Applied to Idempotent Unification --; THEOPOGLES --; A Theorem Prover Based on First-order Polynomials and a Special Knuth-Bendix Procedure --; Selbstrepräsentierende Systeme --; Computational Reflection --; Kognitives Modellieren --; Cognitive Modelling and Education --; Spezielle Sektionen Kognition --; Wissensstrukturen beim Aufgabenlösen --; Wissen und Können: Anmerkungen zur Wissensrepräsentation beim Aufgabenlösen --; Repräsentationsformen beim menschlichen Problemlösen --; Mentale Bilder und Wegbedeutungen --; Generierung in natürlichsprachlichen Systemen --; Generation of Content vs. Generation of Form: A Review of Recent Work in the SEMSYN Project --; Ein erster Blick auf POPEL: Wie wird was gesagt? --; How to say WHAT --; IT or SOMETHING --; Generierung natürlichsprachlicher AuBerungen zur simultanen Beschreibung von zeitveränderlichen Szenen --; Repräsentationssysteme für Grammatik und Lexikon --; Endliche Automaten zur Verbflexion und ein spezielles deutsches Verblexikon --; Zur lexikalischen Wissensquelle des Generierungssystems SEMSYN --; Generierung mit GPSG --; Künstliche Intelligenz und Datenbanksysteme --; Systesarchitektur und konzeptuelle Modellierung --; Architectural Concepts for Large Knowledge Bases --; Interfacing PROLOG and External Data Management Systems: A Model --; Abbildung von Frames auf neuere Datenmodelle.

Artificial intelligence.

Computer science.

Database management.

edited by Katharina Morik.

Katharina Morik

Electronic name

[Book]

Y