7. GWAI 1983: Dassel/Solling

Bernd Neumann (Ed.): 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 BibTeX

@proceedings{DBLP:conf/ki/1983,
  editor    = {Bernd Neumann},
  title     = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling,
               Germany, September 19-23, 1983},
  booktitle = {GWAI},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {76},
  year      = {1983},
  isbn      = {3-540-12871-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Expertensysteme

Werner Horn: ESDAT - An Expert System for Primary Medical Care. 1-10 BibTeX
Frank Puppe, Bernhard Puppe: Overview on MED1: A Heuristic Diagnostics System with an Efficient Control-Structure. 11-20 BibTeX

KI-Programmiersprachen

Bernhard Nebel: Ist LISP eine 'langsame' Sprache? 21-30 BibTeX

Bild- und Sprachverstehen

Heinrich Niemann: Control Strategies in Image and Speech Understanding. 31-49 BibTeX
Horst Bunke, Gerhard Sagerer: A System for Diagnostic Evaluation of Scintigraphic Image Sequences. 50-59 BibTeX
Lina Massone: SYRIO: A Knowledge-Based Approach to 2-D Robotic Vision. 60-68 BibTeX

Natüichsprachliche Systeme

Michael Hußmann: Ein VEHIQUEL für den natürlichsprachlichen Zugang zu Datenbanken. 69-79 BibTeX
Michael Eimermacher: Parsing in PROLOG - Eine semantische Komponente. 80-89 BibTeX
Stephan Busemann: Oberflächentransformationen bei der Generierung geschriebener Deutscher Sprache. 90-99 BibTeX
Hans-Joachim Novak: On Verbalizing Real-World Events: An Interface of Natural Language and Vision. 100-107 BibTeX
Helmut Horacek: Zur Generierung zusammenhängender Texte. 108-117 BibTeX

Logik

Christopher Habel: Logische Systeme und Repräsentationsprobleme. 118-142 BibTeX

Wissensräpresentation

John Mylopoulos, Hector J. Levesque: An Overview of Knowledge Representation. 143-157 BibTeX
Katharina Morik, Claus-Rainer Rollinger: Partnermodellierung im Evidenzraum. 158-168 BibTeX
Werner Emde: Kontrainduktives Lernen von Konzepten aus Fakten. 169-178 BibTeX

Problemlösen und automatisches Beweisen

Joachim Hertzberg: On the Use of Operation Information in Problem Solving. 179-188 BibTeX
Werner Dilger, Agnes Janson: Unifikationsgraphen für intelligentes Backtracking in Deduktionssystemen. 189-196 BibTeX
Elmar Eder: Properties of Substitutions and Unifications. 197-206 BibTeX
Wolfgang Schönfeld: Proof Search for Unprovable Formulas. 207-215 BibTeX
Hans Jürgen Ohlbach: Ein regelbasiertes Klauselgraph-Beweisverfahren. 216-224 BibTeX
Norbert Eisinger, M. Weigele: A Technical Note on Splitting and Clausal Normal Form Algorithms. 225-232 BibTeX
Patrick Horster: Vollständige Reduktionssysteme. 233-240 BibTeX