-
1
-
Temporal Issues in Qualitative Reasoning
-
14
-
Current Issues In Language Understanding
-
26
-
Equational Theorem Proving and Rewrite Rule Systems
-
40
-
Strukturierte Wissenserhebung für Expertensysteme — Methodik und Repräsentation
-
48
-
Ein Erfahrungsbericht zur Strukturierung medizinischen Wissens in VIE-MED, einem Expertensystem für den Bereich der ärztlichen Primärversorgung
-
58
-
ARTEX — Configuration-Driven Diagnosis for Routing Systems
-
65
-
Ein System zur fallbasierten Wissensverarbeitung in technischen Diagnosesituationen
-
71
-
Das Blackboard-System BASAR
-
81
-
Ein Neues Konzept Wissensbasierter Systeme Zur Lösung Der Wegeprobleme Für Autonome Mobile Roboter
-
87
-
Learning Heuristics for a Theorem Prover using Back Propagation
-
96
-
Zeitbeschränkte Logische Programmierung
-
106
-
An effective decision algorithm for prepositional temporal logic
-
114
-
The Range Form of Databases and Queries or: How to Avoid Floundering
-
124
-
Die Anwendung Generalisierter Quantoren in einem natürlichsprachigen Datenbank-Interface
-
134
-
“Sprechende Objekte” Erzeugung natürlichsprachlicher Phrasen aus Objektrahmen und Regeln
-
143
-
Lernen von Syntax natürlicher Sprache
-
149
-
Extending Explanation-Based Generalization
-
154
-
Wissensbasiertes Lernen in der Musik: Die Integration induktiver und deduktiver Lernmethoden
-
164
-
Dynamische Generierung von Units in einer Sprache für Neurale Netzwerke
-
171
-
An Outline of a New Algorithm for Game Tree Search
-
177
-
Eine Neue Methode zur Parallelisierung von Produktionensystemen
-
188
-
Variant Construction Using Constraint Propagation Techniques Over Semantic Networks
-
198
-
SAFIR — Intelligente Software für den Zugriff zu unterschiedlichen Datenbanken
-
206
-
AI AND COGNITIVE SCIENCE — Themes for the Next Decade
-
212
-
Konnektionismus in der AI
-
218
-
A Note on K. Bock’s “Syntactic Adjustment Effect” Problem
-
224
-
Erfahrungen mit einem Neuralen Netz, das BRIDGE spielen lernt
-
230
-
Detection of Minimal Microfeatures by Internal Feedback
-
240
-
Cognitive Modelling: Von der symbolischen AI zum ’connectionist approach’
-
250
-
Zur Möglichkeit der Konstruktion von Theorien durch die Minimierung der Entropie des Beobachteten auf der Basis konnektionistischer Modelle
-
260
-
Begriffsbildung/modellierung
-
261
-
Begriffsbildung im Bereich Natürlichsprachiger Systeme
-
270
-
Begriffsdefinitionen und Referenzidentifikation definiter Beschreibungen Neues aus der Beziehungskiste
-
278
-
Die logische Rekonstruktion eines Gegenstandsbereiches — Eine Fallstudie —
-
288
-
Workshop Qualitatives Schließen
-
291
-
Qualitative Simulation des zeitlichen Verhaltens von Thyristorbrückengleichrichterschaltungen
-
298
-
Convex Relations Between Time Intervals
-
303
-
Repräsentation und Verarbeitung von zeitlichem Wissen
-
313
-
KI — Eine Teildisziplin der Philosophie
-
325
-
Heideggers Philosophie der Mathematik als Vorbild für eine Philosophie der Künatlichen Intelligenz
-
334
-
Zur philosophischen Relevanz der Konnektionismus-Debatte
-
340
-
Apophansis und Kognition
-
346
-
Können AI-Programme als Theorien betrachtet werden? Ein wissenschaftsphilosophischer Beitrag
-
359
-
Philosophical assumptions in Artificial Intelligence: a tentative criticism of a criticism
-
365
-
Situations, Topoi, and Dispositions
-
376
-
Meaning and Representations
-
379
-
Language limits and world limits in the age of AI
-
387
-
Künstliche Intelligenz und Gödel-Theoreme
-
397
-
Reflections upon Turing’s analysis of the process of computation and its relation to AI
-
407
-
Und Sie Kommt Doch !
-
415
-
Stellt Die KI-Forschung Den Kernbereich Der Informatik Dar
-
422
-
Rechner und menschliche Gemeinschaft. Drei Capriccios
-
430
-
Ethische Fragen der “Künstlichen Intelligenz”
-
440
-
Künstliche Intelligenz und Systemtechnik
-
442
-
Artificial Intelligence and Decision Making
-
443
-
Das Metonym „KI“
