The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Ansgar Beckermann
    Kann die Künstliche Intelligenz-Forschung Fragen der Philosophie beantworten? [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:2-25 [Conf]
  2. Joachim Diederich
    Parallelverarbeitung in Netzwerk-basierten Systemen. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:26-34 [Conf]
  3. Mario Fendler, Rainer Wichlacz
    SYCON: Ein Rahmensystem zur Constraint-Propagierung auf Netzwerken von beliebigen Symbolischen Constraints. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:36-45 [Conf]
  4. K. Aspetsberger, Stefan Bayerl
    Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:46-55 [Conf]
  5. Karl-Hans Bläsius
    Equality Reasoning with Equality-paths. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:57-76 [Conf]
  6. Hans Jürgen Ohlbach
    Theory Unification in Abstract Clause Graphs. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:77-100 [Conf]
  7. Richard Göbel
    Completion of Globally Finite Term Rewriting Systems for Inductive Proofs. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:101-110 [Conf]
  8. Ronald V. Book, Jörg H. Siekmann
    On the Unification Hierarchy. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:111-117 [Conf]
  9. Manfred Schmidt-Schauß
    Unification in a Many-sorted Calculus with Declarations. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:118-132 [Conf]
  10. Hervé Gallaire
    Logic Programming Development (Abstract). [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:134- [Conf]
  11. Werner Alexi
    Extraction und Verifikation von Programmen durch Analyse formaler Beweise (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:135-152 [Conf]
  12. Astrid Schmücker-Schend
    Vermeidung Überflüssiger Berechnungen in Hornklausel-Programmen durch Vor-Laufzeit-Untersuchungen. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:153-163 [Conf]
  13. Stefan Böttcher
    Ein Beweisverfahren für Datenbankprädikate. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:164-175 [Conf]
  14. Steffen Hölldobler, Ulrich Furbach, Thomas Laußermair
    Extended Unification and its Implementation. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:176-185 [Conf]
  15. Stephan Busemann, Wolfgang Hoeppner, Heinz Marburger, Katharina Morik
    Representing and Processing Copula and Full-Verb Sentences in HAM-ANS. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:187-196 [Conf]
  16. Gudula Retz-Schmidt
    Script-Based Generation and Evaluation of Expectations in Traffic Scenes. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:197-203 [Conf]
  17. Rüdiger Wirth
    Halbautomatische Erweiterung eines Thesaurus. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:204-211 [Conf]
  18. John McCarthy
    What is Common Sense and How to Formalize it? (Condensed Slides). [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:213-217 [Conf]
  19. Gerhard Brewka
    Über normale Vögel, anwendbare Regeln und einen Default-Beweiser. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:218-229 [Conf]
  20. Peter Schefe
    Zur Rekonstruktion von Wissen in neueren Repräsentationssprachen der Künstlichen Intelligenz. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:230-244 [Conf]
  21. Kai von Luck, Bernhard Nebel, Christof Peltason, Albrecht Schmiedel
    BACK to Consistency and Incompleteness. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:245-256 [Conf]
  22. Johan de Kleer
    Assumptionbased Truth Maintenance (Abstract). [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:258- [Conf]
  23. Hans Voß
    Representing and Analyzing Time and Causality in HIQUAL Models. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:259-271 [Conf]
  24. Frank Puppe, Bernhard Puppe
    MED2: How Domain Characteristics Induce Expert System Features. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:272-284 [Conf]
  25. Peter Heinen, Heinrich Reusch, Michael M. Richter, Thomas Wetter
    Formal Description of Objects, Processes, and Levels of Expert Reasoning. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:285-294 [Conf]
  26. Henning Bergmann, Annedore Paeseler
    Wissensaqisition für das Natürlichsprachliche Zugangssystem HAM-ANS. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:295-299 [Conf]
  27. Ioan Georgescu
    Constructive Theory Formation in Knowledge Based Systems. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:300-312 [Conf]
  28. Reinhold Haux
    Expert Systems in Statistics: Some Problems and Some New Views. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:313-322 [Conf]
  29. Michael Gerlach
    Wissensbasierte Interpretation relationaler Bildbeschreibungen. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:324-335 [Conf]
  30. Michael Mohnhaupt
    `No-Match' Punkte: Informationsquelle für die Detektion von Bewegung. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:336-347 [Conf]
  31. Christian Sielaff
    Hierarchische Decomposition und Synthese von Objekten. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:348-355 [Conf]
  32. Klaus A. Hörmann
    Planungssysteme in der Robotik. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:357-372 [Conf]
  33. Jean Patrick Tsang
    Representation and Manipulation of Process Plans in Generic Expert Planning Systems. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:373-394 [Conf]
  34. Manfred Pinkal
    Situationssemantic und Diskursrepräsentationstheorie: Einordnung und Anwendungsaspekte. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:397-407 [Conf]
  35. Uwe Reyle
    Prinzipien der Diskursrepräsentationstheorie. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:408-446 [Conf]
  36. Michael Herweg
    Grundzüge der Situationssemantik. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:447-451 [Conf]
  37. Alice ter Meulen
    Processing Pronouns: A Comparison of Situations Semantics and Discourse Representation Theory. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:452-471 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002