GWAI-89. 13th German Workshop on Artificial Intelligence

1. Nicht - Klassische Deduktive Systeme.- Propagation of Temporally Indexed Values in Multiple Contexts.- Nicht-monotone Beweiser fur Autoepistemische Logik und Defaultlogik.- Problem Solver Control Over the ATMS.- Context Logic - An Introduction.- Proof Transformation Towards Human Reasoning Style.- Revising Domain Theories in Model-Based Reasoning Systems.- 2. Deduktive Systeme.- Plan Generation by Linear Proofs: On Semantics.- A New Deductive Approach to Planning.- Detecting Redundancy Caused by Congruent Links in Clause Graphs.- An Approach to Parallel Unification Using Transputers.- EQTHEOPOGLES - A Completion Theorem Prover for PLIEQ.- A Resolution Calculus Extended by Equivalence.- Linear Paramodulation modulo Equality.- 3. Neuronale Netze.- Explanation and Connectionism.- Optimierung des Lernverhaltens neuronaler Netze durch Berucksichtigung verschiedener Abstraktionsklassen bei der Netzwerktopologie.- NetSim: Ein Simulator fur Neuronale Netze.- 4. Bildverarbeitung.- Modellgestutztes Bildverstehen von Dokumenten.- Lernen von Strukturbeschreibungen fur ein wissensbasiertes Bildanalysesystem.- Zur Konstmktion einer geometrischen Szenenbeschreibung aus Stereobildfolgen unter Verwendung eines ATMS.- 5. Mensch-Maschine Kommunikation.- SPICOS II - Linguistische Analyse im Datenbankdialog.- Diskursreprasentation im Datenbank-Abfrage Dialog SPICOS II.- Das System ZORA - Wissenbasierte Generierung von Zeigegesten.- 6. Naturlich-Sprachliche Systeme.- Processing Contrast Relations.- Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype.- Prototypical Disambiguation of Word Meaning Exemplified by Adjective-Noun Combinations.- Zielgerichtete Wortschatzerweiterungen in naturlichsprachlichen Systemen.- OSKAR- Ein PROLOG-Programm zur Modellierung der Struktur und der Verarbeitung raumlichen Wissens.- Komplexe Individuen in Referentiellen Netzen.- Towards a Framework for Knowledge-Based Machine Translation.- Transfer in Machine Translation by Non-Confluent Term-Rewrite Systems.- Determining Consistency of Feature Terms with Distributed Disjunctions.- A Parsing System Based on a Deductive Database.- Kategoriales Parsing mit definiten Klauseln.- 7. Kognitive und tu torieile Systeme.- Ein erster Blick auf ANTLIMA: Visualisierung statischer raumlicher Relationen.- Two Views of Motion: On Representing Move Events in a Language-Vision System.- DEPIC-2D: Eine Komponente zur depiktionalen Reprasentation und Verarbeitung raumlichen Wissens.- Towards Principles of Ontology.- Automatische kognitive Diagnose in einem Programmier-Tutor.- 8. Programmsynthese.- Machine-Assisted Program Construction and Modification.- XPRTS - An Implementation Tool for Program Synthesis.- 9. Expertensysteme.- Modulare Expertensystemarchitekturen.- A Layered Algebraic Specification Technique for Expert Systems.- OFFICE-PLAN: Tackling the Synthesis Frontier.- Modifying the Model Set During Diagnosis.- Towards Structured Production Systems - Efficient Implementation of Meta-Level Architectures.- Dialogstrukturen in Gruppendiskussionen - Ein Modell fur argumentative Verhandlungen mehrerer Agenten.- Bayesian Integration of Uncertain and Conflicting Evidence.- Inferenzen bei Ungewissheit in Expertensystemen.- An Integrative Model of Learning by Being Told, from Examples and by Exploration.- Toward a Rapid Prototyping Environment for Expert Systems.- Computational Architectures for Computer-Integrated Engineering and Manufacturing: An Artificial Intelligence Perspective.- 10. Spezielle Seminare zu Grundlagen und Anwendungen der K.- Einfuhrungsseminar: Maschinelles Lernen.- Tutorial: High Level Tools for Knowledge Systems Design.- Sektion: Expertensystemlabor.- Fachseminar: Formale und kognitive Grundlagen von Wissensreprasentationen.- Feature-Logik.- Zur Implementierbarkeit Analogischer Reprasentationen.- Kognitive Kategorien.- KL-One-basierte, hybride Reprasentationssysteme.