Conferences in DBLP

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

1. Werner Horn
   ESDAT - An Expert System for Primary Medical Care. [Citation Graph (0, 0)][DBLP]
   GWAI, 1983, pp:1-10 [Conf]
   
2. Frank Puppe, Bernhard Puppe
   Overview on MED1: A Heuristic Diagnostics System with an Efficient Control-Structure. [Citation Graph (0, 0)][DBLP]
   GWAI, 1983, pp:11-20 [Conf]
   
3. Bernhard Nebel
   Ist LISP eine 'langsame' Sprache? [Citation Graph (0, 0)][DBLP]
   GWAI, 1983, pp:21-30 [Conf]
   
4. Heinrich Niemann
   Control Strategies in Image and Speech Understanding. [Citation Graph (0, 0)][DBLP]
   GWAI, 1983, pp:31-49 [Conf]
   
5. Horst Bunke, Gerhard Sagerer
   A System for Diagnostic Evaluation of Scintigraphic Image Sequences. [Citation Graph (0, 0)][DBLP]
   GWAI, 1983, pp:50-59 [Conf]
   
6. Lina Massone
   SYRIO: A Knowledge-Based Approach to 2-D Robotic Vision. [Citation Graph (0, 0)][DBLP]
   GWAI, 1983, pp:60-68 [Conf]
   
7. Michael Hußmann
   Ein VEHIQUEL für den natürlichsprachlichen Zugang zu Datenbanken. [Citation Graph (0, 0)][DBLP]
   GWAI, 1983, pp:69-79 [Conf]
   
8. Michael Eimermacher
   Parsing in PROLOG - Eine semantische Komponente. [Citation Graph (0, 0)][DBLP]
   GWAI, 1983, pp:80-89 [Conf]
   
9. Stephan Busemann
   Oberflächentransformationen bei der Generierung geschriebener Deutscher Sprache. [Citation Graph (0, 0)][DBLP]
   GWAI, 1983, pp:90-99 [Conf]
   
10. Hans-Joachim Novak
    On Verbalizing Real-World Events: An Interface of Natural Language and Vision. [Citation Graph (0, 0)][DBLP]
    GWAI, 1983, pp:100-107 [Conf]
    
11. Helmut Horacek
    Zur Generierung zusammenhängender Texte. [Citation Graph (0, 0)][DBLP]
    GWAI, 1983, pp:108-117 [Conf]
    
12. Christopher Habel
    Logische Systeme und Repräsentationsprobleme. [Citation Graph (0, 0)][DBLP]
    GWAI, 1983, pp:118-142 [Conf]
    
13. John Mylopoulos, Hector J. Levesque
    An Overview of Knowledge Representation. [Citation Graph (0, 0)][DBLP]
    GWAI, 1983, pp:143-157 [Conf]
    
14. Katharina Morik, Claus-Rainer Rollinger
    Partnermodellierung im Evidenzraum. [Citation Graph (0, 0)][DBLP]
    GWAI, 1983, pp:158-168 [Conf]
    
15. Werner Emde
    Kontrainduktives Lernen von Konzepten aus Fakten. [Citation Graph (0, 0)][DBLP]
    GWAI, 1983, pp:169-178 [Conf]
    
16. Joachim Hertzberg
    On the Use of Operation Information in Problem Solving. [Citation Graph (0, 0)][DBLP]
    GWAI, 1983, pp:179-188 [Conf]
    
17. Werner Dilger, Agnes Janson
    Unifikationsgraphen für intelligentes Backtracking in Deduktionssystemen. [Citation Graph (0, 0)][DBLP]
    GWAI, 1983, pp:189-196 [Conf]
    
18. Elmar Eder
    Properties of Substitutions and Unifications. [Citation Graph (0, 0)][DBLP]
    GWAI, 1983, pp:197-206 [Conf]
    
19. Wolfgang Schönfeld
    Proof Search for Unprovable Formulas. [Citation Graph (0, 0)][DBLP]
    GWAI, 1983, pp:207-215 [Conf]
    
20. Hans Jürgen Ohlbach
    Ein regelbasiertes Klauselgraph-Beweisverfahren. [Citation Graph (0, 0)][DBLP]
    GWAI, 1983, pp:216-224 [Conf]
    
21. Norbert Eisinger, M. Weigele
    A Technical Note on Splitting and Clausal Normal Form Algorithms. [Citation Graph (0, 0)][DBLP]
    GWAI, 1983, pp:225-232 [Conf]
    
22. Patrick Horster
    Vollständige Reduktionssysteme. [Citation Graph (0, 0)][DBLP]
    GWAI, 1983, pp:233-240 [Conf]