|
" GWAI-87 11th German Workshop on Artifical Intelligence : "
edited by Katharina Morik.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
753168
|
| Doc. No
|
:
|
b573129
|
| Main Entry
|
:
|
edited by Katharina Morik.
|
| Title & Author
|
:
|
GWAI-87 11th German Workshop on Artifical Intelligence : : Geseke, September 28-October 2, 1987 Proceedings\ edited by Katharina Morik.
|
| Publication Statement
|
:
|
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint : Springer, 1987
|
| Series Statement
|
:
|
Subreihe Künstliche Intelligenz, 152.
|
| Page. NO
|
:
|
(XI, 405 pages)
|
| ISBN
|
:
|
3540183884
|
|
|
:
|
: 3642730051
|
|
|
:
|
: 9783540183884
|
|
|
:
|
: 9783642730054
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
Artificial intelligence.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Database management.
|
| Added Entry
|
:
|
Katharina Morik
|
| |