13. GWAI 1989: Eringerfeld, Germany

Dieter Metzing (Ed.): GWAI-89, 13th German Workshop on Artificial Intelligence, Eringerfeld, 18.-22. September 1989, Proceedings. Informatik-Fachberichte 216 Springer 1989, ISBN 3-540-51743-X

1. Nicht-Klassische Deduktive Systeme

Oskar Dressler, Hartmut Freitag: Propagation of Temporally Indexed Values in Multiple Contexts. 2-6
Ulrich Junker: Nicht-monotone Beweiser für Autoepistemische Logik und Defaultlogik. 7-16
Oskar Dressler, Adam Farquhar: Problem Solver Control Over the ATMS. 17-26
Hans Jürgen Ohlbach: Context Logic - An Introduction. 27-36
Xiaorong Huang: Proof Transformation Towards Human Reasoning Style. 37-42
Wolfgang Nejdl, Johannes Kroupa: Revising Domain Theories in Model-Based Reasoning Systems. 43-47

2. Deduktive Systeme

Wolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig: Plan Generation by Linear Proofs: On Semantics. 49-62
Steffen Hölldobler, Josef Schneeberger: A New Deductive Approach to Planning. 63-73
Rolf Socher-Ambrosius: Detecting Redundancy Caused by Congruent Links in Clause Graphs. 74-82
Jochen Hager, Martin Moser: An Approach to Parallel Unification Using Transputers. 83-91
Jörg Denzinger, Jürgen Müller: EQTHEOPOGLES - A Completion Theorem Prover for PLIEQ. 92-101
Jürgen Müller, Rolf Socher-Ambrosius: A Resolution Calculus Extende by Equivalence. 102-106
Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber: Linear Paramodulation modulo Equality. 107-116

3. Neuronale Netze

Joachim Diederich: Explanation and Connectionism. 118-127
Karl-Heinz Krachenfels, Kerstin Schill: Optimierung des Lernverhaltens neuronaler Netze durch Berücksichtigung verschiedener Abstraktionsklassen bei der Netzwerktopologie. 128-133
Andreas Zell, Thomas Korb, Tilman Sommer, Rolf Bayer: NetSim: Ein Simulator für Neuronale Netze. 134-143

4. Bildverarbeitung

Joachim Kreich: Modellgestütztes Bildverstehen von Dokumenten. 145-154
Bärbel Mertsching, Georg Hartmann: Lernen von Strukturbeschreibungen für ein wissensbasiertes Bildanalysesystem. 155-160
Leonie S. Dreschler-Fischer, Carsten Schröder: Zur Konstruktion einer geometrischen Szenenbeschreibung aus Stereobildfolgen unter Verwendung eines ATMS. 161-165

5. Mensch-Maschine Kommunikation

Gerhard Th. Niedermair: SPICOS II - Linguistische Analyse im Datenbankdialog. 167-178
Michael Streit: Diskursrepräsentation im Datenbank-Abfrage Dialog SPICOS II. 179-189
Jürgen Jung, Axel Kresse, Norbert Reithinger, Ralph Schäfer: Das System ZORA - Wissensbasierte Generierung von Zeigegesten. 190-194

6. Natürlich-Sprachliche Systeme

Bart Geurts: Processing Contrast Relations. 196-202
Toni Bollinger, Ulrich Hedtstück, Claus-Rainer Rollinger: Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype. 203-212
Gabriele Scheler: Prototypical Disambiguation of Word Meaning Exemplified by Adjective-Noun Combinations. 213-223
Helmar Gust, Petra Ludewig: Zielgerichtete Wortschatzerweiterungen in natürlichsprachlichen Systemen. 224-233
Ewald Lang, Kai-Uwe Carstensen: OSKAR - Ein PROLOG-Programm zur Modellierung der Stuktur und der Verarbeitung räumlichen Wissens. 234-243
Carola Eschenbach: Komplexe Individuen in Referentiellen Netzen. 244-253
Jörg Schütz: Towards a Framework for Knowledge-Based Machine Translation. 254-263
Wilhelm Weisweber: Transfer in Machine Translation by Non-Confluent Term-Rewrite Systems. 264-269
Jochen Dörre, Andreas Eisele: Determining Consistency of Feature Terms with Distributed Disjunctions. 270-279
Burkhard Freitag, Günther Specht: A Parsing System Based on a Deductive Database. 280-289
Sebastian Millies: Kategoriales Parsing mit definiten Klauseln. 290-299

7. Kognitive und tutorielle Systeme

Jörg R. J. Schirra: Ein erster Blick auf ANTLIMA: Visualisierung statischer räumlicher Relationen. 301-311
Ellen Hays: Two Views of Motion: On Representing Move Events in a Language-Vision System. 312-317
Mohammed Nadjib Khenkhar: DEPIC-2D: Eine Komponente zur depiktionalen Repräsentation und Verarbeitung räumlichen Wissens. 318-322
Helmut Horacek: Towards Principles of Ontology. 323-330
Gerhard Weber: Automatische kognitive Diagnose in einem Programmier-Tutor. 331-336

8. Programmsynthese

Maritta Heisel, Wolfgang Reif, Werner Stephan: Machine-Assisted Program Construction and Modification. 338-347
Gerd Neugebauer, Bertram Fronhöfer, Christoph Kreitz: XPRTS - An Implementation Tool for Program Synthesis. 348-357

9. Expertensysteme

Ingo Syska, Roman Cunis, Andreas Günter, Heiner Bode, Heino Peters: Modulare Expertensystemarchitekturen. 359-368
Angi Voß: A Layered Algebraic Specification Technique for Expert Systems. 369-378
Werner Karbach, Marc Linster, Angi Voß: OFFICE-PLAN: Tackling the Synthesis-Frontier. 379-387
Adam Farquhar: Modifying the Model Set During Diagnosis. 388-397
Michael Beetz, Winfried Barth: Towards Structured Production Systems - Efficient Implementation of Meta-Level Architectures. 398-408
Udo Hahn: Dialogstrukturen in Gruppendiskussionen - Ein Modell für argumentative Verhandlungen mehrerer Agenten. 409-420
Gerhard Paass: Bayesian Integration of Uncertain and Conflicting Evidence. 421-427
Marcus Spies: Inferenzen bei Ungewißheit in Expertensystemen. 428-432
Otto Kühn, Franz Schmalhofer: An Integrative Model of Learning by Being Told, from Examples and by Exploration. 433-437
William R. Swartout: Toward a Rapid Prototyping Environment for Expert Systems. 438-454
Peter Raulefs: Computational Architectures for Computer-Integrated Engineering and Manufacturing: An Artificial Intelligence Perspective. 455-471

10. Spezielle Seminare zu Grundlagen und Anwendungen der KI

Werner Mellis, Toni Bollinger: Einführungsseminar: Maschinelles Lernen. 473
B. Chandrasekaran: Tutorial: High Level Tools for Knowledge Systems Design. 474
Thomas Christaller, Angi Voß: Sektion: Expertensystemlabor. 475
Daniel Hernández, Bernhard Nebel, Gert Smolka, Ipke Wachsmuth: Fachseminar: Formale und kognitive Grundlagen von Wissensrepräsentationen. 476
Gert Smolka: Feature-Logik. 477-478
Daniel Hernández: Zur Implementierbarkeit Analogischer Repräsentationen. 479-481
Ipke Wachsmuth: Kognitive Kategorien. 482-483
Bernhard Nebel: KL-One-basierte, hybride Repräsentationssysteme. 484-485

Last update Wed May 22 16:06:40 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page