ask others

6. GWAI 1982: Baf Honnef

> Home > Conferences and Workshops > GWAI

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/1982
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/1982
Wolfgang Wahlster:
GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, September 27 - October 1, 1982, Proceedings. Informatik-Fachberichte 58, Springer 1982, ISBN 3-540-11960-4

Beschreiben und Verstehen von Bildfolgen

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Neumann82a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Neumann82a
Bernd Neumann:
Knowledge Sources for Understanding and Describing Image Sequences. GWAI 1982: 1-21
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Novak82
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Novak82
Hans-Joachim Novak:
On the Selection of Verbs for Natural Language Description of Traffic Scenes. GWAI 1982: 22-31
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Radig82
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Radig82
Bernd Radig:
Symbolic Description and Matching of Image Sequences. GWAI 1982: 32-41

Akquisition und Repräsentation von Wissen

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Schefe82
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Schefe82
Peter Schefe:
Some Fundamental Issues in Knowledge Representation. GWAI 1982: 42-62
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Christaller82
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Christaller82
Thomas Christaller:
Konsistenzüberprüfung bei sich verändernden Wissensbasen. GWAI 1982: 63-71
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/EmdeHR82
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/EmdeHR82
Werner Emde, Christopher Habel, Claus-Rainer Rollinger:
Automatische Akquisition von inferentiellem Wissen. GWAI 1982: 72-81
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Habel82
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Habel82
Christopher Habel:
Zur Repräsentation indefinit deskribierter Objekte in KI-Systemen. GWAI 1982: 82-91
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/LuckO82
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/LuckO82
Kai von Luck, Bernd Owsnicki-Klewe:
N.N.: A View of Planning in Chess. GWAI 1982: 92-101

Unifikation und Deduktion

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/SiekmannS82
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/SiekmannS82
Jörg H. Siekmann, Peter Szabó:
Universal Unification. GWAI 1982: 102-141
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/BendaHRV82
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/BendaHRV82
W. Benda, Günter Hornung, Peter Raulefs, F. Vollmann:
Der META-Beweiser für die Zahlentheorie. GWAI 1982: 142-153
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Bidoit82
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Bidoit82
Michel Bidoit:
Proofs by Induction in "Fairly" Specified Equational Theories. GWAI 1982: 154-166
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Halpern82
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Halpern82
Mordechai Halpern:
Inductive Inference in Finite Algebraic Structures. GWAI 1982: 167-176
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Herold82
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Herold82
Alexander Herold:
Universal Unification and a Class of Equational Theories. GWAI 1982: 177-190
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Smolka82
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Smolka82
Gert Smolka:
Completeness of the Connection Graph Proof Procedure for Unit-Refutable Clause Sets. GWAI 1982: 191-204

Natürlichsprachliche Systeme

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Gehrke82
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Gehrke82
Manfred Gehrke:
Rekonstruktion aufgabenorientierter Dialoge mit einem mehrstufigen Parsing-Algorithmus auf der Grundlage kaskadierter ATNs. GWAI 1982: 205-214
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Hoeppner82
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Hoeppner82
Wolfgang Hoeppner:
ATN-Steuerung durch Kasusrahmen. GWAI 1982: 215-226
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Hussmann82
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Hussmann82
Michael Hußmann:
Ellipsenrekonstruktion im Kontext: Forderungen an eine Ellipsenkomponente und ihre Realisierung in SWYSS. GWAI 1982: 227-236
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Schwind82
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Schwind82
Camilla Schwind:
Natural Language Access to PROLOG Database Systems. GWAI 1982: 237-246

maintained by

at