GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung Ottenstein/Niederösterreich, September 22–26, 1986
Decision makinq in larqe domains very often involves the necessity to handle unclear situations. So the ability to base ones decisions on estimates is important in real life as well as in complicated qames. Siqnificantly, even the analysis of chess positions by qrandmasters often results in the conc...
| Other Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1986, 1986
|
| Edition: | 1st ed. 1986 |
| Series: | Subreihe Künstliche Intelligenz, In Zusammenarbeit mit dem Fachbereich 1 "Künstliche Intelligenz" der GI
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Wortorientiertes Parsing mit erweiterter ChartRepräsentation
- An Efficient Parser for Lexical Functional Grammar
- Kognitive Prozesse
- Wissenspsychologie: Forschungsfragen, Anwendungsperspektiven, Bezüge zur KI (Eingeladener Vortrag)
- The Construction of Programming Knowledge from System Explorations and Explanatory Text: A Cognitive Model
- Maschinelles Lernen
- Learning Expert Knowledge and Theorem Proving (Eingeladener Vortrag)
- Machine Learning as a Tool for Building a Deterministic Parser
- Generierung struktureller Konzepte im Version-Space
- Bildverstehen
- Über die Repräsentation von dreidimensionalen natürlichen Objekten (Eingeladener Vortrag)
- Hierarchien über Relationengebilden
- Architektur und Anwendung des bildverstehenden Expertensystems VES
- Theorembeweisen
- The Semantic Clause Graph Procedure — AFirst Overview
- Against the ‘Anti Waltz Effect’ in Equality Reasoning
- Effiziente Reduktionsstrategien in Termersetzungssystemen
- Topologische Multisetordnungen
- Using Resolution and Paramodulation for Induction Proofs
- Lazy Theory Unification in Prolog: An Extension of the Warren Abstract Machine
- Programmsynthese
- Knuth-Bendix Completion Versus Fold/Unfold: A Comparative Study in Program Synthesis
- KI–Programmierung
- Controlled Prolog: A Front-End to Prolog Incorporating Meta Knowledge
- FORK: Ein System zur objekt-und regelorientierten Programmierung
- Expertensysteme
- A Framework for the Multiple Representation of Structure and Function in Expert Systems
- Hybride Diagnosebewertung
- Hybrid Knowledge Acquisition
- COMODEL: ein Repräsentationsformalismus für technische Expertensysteme
- AI — NIE! Versuch über eine wahrscheinliche zukünftige Reaktion der Öffentlichkeit (Eingeladener Vortrag)
- Suchen, Problemlösen
- Decision Making in Unclear Situations
- State Space Algorithms for Searching Game Trees
- Repräsentatiorn von Wissern
- Explicit and Implicit Beliefs
- Facetten-Logik: eine untypische Logik zum prototypischen Schließen
- Semantic Networks with Number Restricted Roles or Another Story about Clyde
- Data Models in Knowledge Representation Systems: A Case Study
- NIGEL Gets to Know Logic: An Experiment in Natural Language Generation Taking a Logical, Knowledge-Based View
- Natürlichsprachliche Systeme
- Syntaktische und semantische Generalisierungen im strukturierten Lexikon (Eingeladener Vortrag)
- The Choice of Words in the Generation Process of a Natural Language Interface
- Generierung mit Lexical-Functional Grammar (LFG)
- Processing Descriptions Containing Words and Gestures — A System Architecture