default search action

combined dblp search
author search
venue search
publication search

ask others

6. GWAI 1982: Baf Honnef

> 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/1982
- ask others
- share record
  persistent 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
  authority control:
- export record
  dblp key:
  - conf/ki/Neumann82a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Neumann82a
Bernd Neumann:
Knowledge Sources for Understanding and Describing Image Sequences. 1-21
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Novak82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Novak82
Hans-Joachim Novak:
On the Selection of Verbs for Natural Language Description of Traffic Scenes. 22-31
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Radig82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Radig82
Bernd Radig:
Symbolic Description and Matching of Image Sequences. 32-41

Akquisition und Repräsentation von Wissen

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

Unifikation und Deduktion

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

Natürlichsprachliche Systeme

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

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.