Conferences in DBLP

Deutsche Jahrestagung für Künstliche Intelligenz (ki)
1982 (conf/ki/1982)

1. Bernd Neumann
   Knowledge Sources for Understanding and Describing Image Sequences. [Citation Graph (0, 0)][DBLP]
   GWAI, 1982, pp:1-21 [Conf]
   
2. Hans-Joachim Novak
   On the Selection of Verbs for Natural Language Description of Traffic Scenes. [Citation Graph (0, 0)][DBLP]
   GWAI, 1982, pp:22-31 [Conf]
   
3. Bernd Radig
   Symbolic Description and Matching of Image Sequences. [Citation Graph (0, 0)][DBLP]
   GWAI, 1982, pp:32-41 [Conf]
   
4. Peter Schefe
   Some Fundamental Issues in Knowledge Representation. [Citation Graph (0, 0)][DBLP]
   GWAI, 1982, pp:42-62 [Conf]
   
5. Thomas Christaller
   Konsistenzüberprüfung bei sich verändernden Wissensbasen. [Citation Graph (0, 0)][DBLP]
   GWAI, 1982, pp:63-71 [Conf]
   
6. Werner Emde, Christopher Habel, Claus-Rainer Rollinger
   Automatische Akquisition von inferentiellem Wissen. [Citation Graph (0, 0)][DBLP]
   GWAI, 1982, pp:72-81 [Conf]
   
7. Christopher Habel
   Zur Repräsentation indefinit deskribierter Objekte in KI-Systemen. [Citation Graph (0, 0)][DBLP]
   GWAI, 1982, pp:82-91 [Conf]
   
8. Kai von Luck, Bernd Owsnicki-Klewe
   N.N.: A View of Planning in Chess. [Citation Graph (0, 0)][DBLP]
   GWAI, 1982, pp:92-101 [Conf]
   
9. Jörg H. Siekmann, Peter Szabó
   Universal Unification. [Citation Graph (0, 0)][DBLP]
   GWAI, 1982, pp:102-141 [Conf]
   
10. W. Benda, Günter Hornung, Peter Raulefs, F. Vollmann
    Der META-Beweiser für die Zahlentheorie. [Citation Graph (0, 0)][DBLP]
    GWAI, 1982, pp:142-153 [Conf]
    
11. Michel Bidoit
    Proofs by Induction in "Fairly" Specified Equational Theories. [Citation Graph (0, 0)][DBLP]
    GWAI, 1982, pp:154-166 [Conf]
    
12. Mordechai Halpern
    Inductive Inference in Finite Algebraic Structures. [Citation Graph (0, 0)][DBLP]
    GWAI, 1982, pp:167-176 [Conf]
    
13. Alexander Herold
    Universal Unification and a Class of Equational Theories. [Citation Graph (0, 0)][DBLP]
    GWAI, 1982, pp:177-190 [Conf]
    
14. Gert Smolka
    Completeness of the Connection Graph Proof Procedure for Unit-Refutable Clause Sets. [Citation Graph (0, 0)][DBLP]
    GWAI, 1982, pp:191-204 [Conf]
    
15. Manfred Gehrke
    Rekonstruktion aufgabenorientierter Dialoge mit einem mehrstufigen Parsing-Algorithmus auf der Grundlage kaskadierter ATNs. [Citation Graph (0, 0)][DBLP]
    GWAI, 1982, pp:205-214 [Conf]
    
16. Wolfgang Hoeppner
    ATN-Steuerung durch Kasusrahmen. [Citation Graph (0, 0)][DBLP]
    GWAI, 1982, pp:215-226 [Conf]
    
17. Michael Hußmann
    Ellipsenrekonstruktion im Kontext: Forderungen an eine Ellipsenkomponente und ihre Realisierung in SWYSS. [Citation Graph (0, 0)][DBLP]
    GWAI, 1982, pp:227-236 [Conf]
    
18. Camilla Schwind
    Natural Language Access to PROLOG Database Systems. [Citation Graph (0, 0)][DBLP]
    GWAI, 1982, pp:237-246 [Conf]