


default search action
7. GWAI 1983: Dassel/Solling
- Bernd Neumann:
GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling, Germany, September 19-23, 1983. Informatik-Fachberichte 76, Springer 1983, ISBN 3-540-12871-9
Expertensysteme
- Werner Horn:
ESDAT - An Expert System for Primary Medical Care. 1-10 - Frank Puppe, Bernhard Puppe:
Overview on MED1: A Heuristic Diagnostics System with an Efficient Control-Structure. 11-20
KI-Programmiersprachen
- Bernhard Nebel:
Ist LISP eine 'langsame' Sprache? 21-30
Bild- und Sprachverstehen
- Heinrich Niemann:
Control Strategies in Image and Speech Understanding. 31-49 - Horst Bunke, Gerhard Sagerer:
A System for Diagnostic Evaluation of Scintigraphic Image Sequences. 50-59 - Lina Massone:
SYRIO: A Knowledge-Based Approach to 2-D Robotic Vision. 60-68
Natüichsprachliche Systeme
- Michael Hußmann:
Ein VEHIQUEL für den natürlichsprachlichen Zugang zu Datenbanken. 69-79 - Michael Eimermacher:
Parsing in PROLOG - Eine semantische Komponente. 80-89 - Stephan Busemann:
Oberflächentransformationen bei der Generierung geschriebener Deutscher Sprache. 90-99 - Hans-Joachim Novak:
On Verbalizing Real-World Events: An Interface of Natural Language and Vision. 100-107 - Helmut Horacek:
Zur Generierung zusammenhängender Texte. 108-117
Logik
- Christopher Habel:
Logische Systeme und Repräsentationsprobleme. 118-142
Wissensräpresentation
- John Mylopoulos, Hector J. Levesque:
An Overview of Knowledge Representation. 143-157 - Katharina Morik, Claus-Rainer Rollinger:
Partnermodellierung im Evidenzraum. 158-168 - Werner Emde:
Kontrainduktives Lernen von Konzepten aus Fakten. 169-178
Problemlösen und automatisches Beweisen
- Joachim Hertzberg:
On the Use of Operation Information in Problem Solving. 179-188 - Werner Dilger, Agnes Janson:
Unifikationsgraphen für intelligentes Backtracking in Deduktionssystemen. 189-196 - Elmar Eder:
Properties of Substitutions and Unifications. 197-206 - Wolfgang Schönfeld:
Proof Search for Unprovable Formulas. 207-215 - Hans Jürgen Ohlbach:
Ein regelbasiertes Klauselgraph-Beweisverfahren. 216-224 - Norbert Eisinger, M. Weigele:
A Technical Note on Splitting and Clausal Normal Form Algorithms. 225-232 - Patrick Horster:
Vollständige Reduktionssysteme. 233-240

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.