default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13. GWAI 1989: Eringerfeld, Germany
- Dieter Metzing:
GWAI-89, 13th German Workshop on Artificial Intelligence, Eringerfeld, Germany, 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
