Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

7. GWAI 1983: Dassel/Solling

> Home > Conferences and Workshops > GWAI

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ki/1983
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/1983
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

- view
  authority control:
- export record
  dblp key:
  - conf/ki/Horn83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Horn83
Werner Horn:
ESDAT - An Expert System for Primary Medical Care. 1-10
- view
  authority control:
- export record
  dblp key:
  - conf/ki/PuppeP83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/PuppeP83
Frank Puppe, Bernhard Puppe:
Overview on MED1: A Heuristic Diagnostics System with an Efficient Control-Structure. 11-20

KI-Programmiersprachen

- view
  authority control:
- export record
  dblp key:
  - conf/ki/Nebel83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Nebel83
Bernhard Nebel:
Ist LISP eine 'langsame' Sprache? 21-30

Bild- und Sprachverstehen

- view
  authority control:
- export record
  dblp key:
  - conf/ki/Niemann83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Niemann83
Heinrich Niemann:
Control Strategies in Image and Speech Understanding. 31-49
- view
  authority control:
- export record
  dblp key:
  - conf/ki/BunkeS83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/BunkeS83
Horst Bunke, Gerhard Sagerer:
A System for Diagnostic Evaluation of Scintigraphic Image Sequences. 50-59
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Massone83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Massone83
Lina Massone:
SYRIO: A Knowledge-Based Approach to 2-D Robotic Vision. 60-68

Natüichsprachliche Systeme

- view
  authority control:
- export record
  dblp key:
  - conf/ki/Hussmann83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Hussmann83
Michael Hußmann:
Ein VEHIQUEL für den natürlichsprachlichen Zugang zu Datenbanken. 69-79
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Eimermacher83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Eimermacher83
Michael Eimermacher:
Parsing in PROLOG - Eine semantische Komponente. 80-89
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Busemann83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Busemann83
Stephan Busemann:
Oberflächentransformationen bei der Generierung geschriebener Deutscher Sprache. 90-99
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Novak83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Novak83
Hans-Joachim Novak:
On Verbalizing Real-World Events: An Interface of Natural Language and Vision. 100-107
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Horacek83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Horacek83
Helmut Horacek:
Zur Generierung zusammenhängender Texte. 108-117

Logik

- view
  authority control:
- export record
  dblp key:
  - conf/ki/Habel83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Habel83
Christopher Habel:
Logische Systeme und Repräsentationsprobleme. 118-142

Wissensräpresentation

- view
  authority control:
- export record
  dblp key:
  - conf/ki/MylopoulosL83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/MylopoulosL83
John Mylopoulos, Hector J. Levesque:
An Overview of Knowledge Representation. 143-157
- view
  authority control:
- export record
  dblp key:
  - conf/ki/MorikR83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/MorikR83
Katharina Morik, Claus-Rainer Rollinger:
Partnermodellierung im Evidenzraum. 158-168
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Emde83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Emde83
Werner Emde:
Kontrainduktives Lernen von Konzepten aus Fakten. 169-178

Problemlösen und automatisches Beweisen

- view
  authority control:
- export record
  dblp key:
  - conf/ki/Hertzberg83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Hertzberg83
Joachim Hertzberg:
On the Use of Operation Information in Problem Solving. 179-188
- view
  authority control:
- export record
  dblp key:
  - conf/ki/DilgerJ83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/DilgerJ83
Werner Dilger, Agnes Janson:
Unifikationsgraphen für intelligentes Backtracking in Deduktionssystemen. 189-196
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Eder83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Eder83
Elmar Eder:
Properties of Substitutions and Unifications. 197-206
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Schonfeld83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Schonfeld83
Wolfgang Schönfeld:
Proof Search for Unprovable Formulas. 207-215
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Ohlbach83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Ohlbach83
Hans Jürgen Ohlbach:
Ein regelbasiertes Klauselgraph-Beweisverfahren. 216-224
- view
  authority control:
- export record
  dblp key:
  - conf/ki/EisingerW83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/EisingerW83
Norbert Eisinger, M. Weigele:
A Technical Note on Splitting and Clausal Normal Form Algorithms. 225-232
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Horster83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Horster83
Patrick Horster:
Vollständige Reduktionssysteme. 233-240

a service of

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.