The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Dov M. Gabbay
    How to Construct a Logic for Your Application. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:1-29 [Conf]
  2. Peter Baumgartner
    A Model Elimination Calculus with Built-in Theories. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:30-42 [Conf]
  3. Christoph Weidenbach
    A New Sorted Logic. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:43-54 [Conf]
  4. Xiaorong Huang
    An Explanatory Framework for Human Theorem Proving. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:55-66 [Conf]
  5. Joachim Posegga, Bertram Ludäscher
    Towards First-order Deduction Based on Shannon Graphs. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:67-75 [Conf]
  6. Reinhard Bachmann, Thomas Malsch, Susanne Ziegler
    Success and Failure of Expert Systems in Different Fields of Industrial Application. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:77-86 [Conf]
  7. Marc Linster
    Viewing Knowledge Engineering as a Symbiosis of Modeling to Make Sense and Modeling to Implement Systems. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:87-99 [Conf]
  8. Sonja Branskat
    Cases as a Basis for Knowledge Acquisition in the Pre-Formal Phases of Knowledge Engineering. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:100-109 [Conf]
  9. Carl-Helmut Coulon, Frank van Harmelen, Werner Karbach, Angi Voß
    Controlling Generate & Test in Any Time. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:110-121 [Conf]
  10. Achim Weigel, Rainer Bleisinger
    Efficient Computation of Solutions for Contradictory Time Interval Networks. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:122-131 [Conf]
  11. Franz Baader, Philipp Hanschke
    Extensions of Concept Languages for a Mechanical Engineering Application. [Citation Graph (1, 0)][DBLP]
    GWAI, 1992, pp:132-143 [Conf]
  12. Philipp Hanschke, Knut Hinkelmann
    Combining Terminological and Rule-based Reasoning for Abstraction Processes. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:144-155 [Conf]
  13. Knut Hinkelmann
    Forward Logic Evaluation: Compiling a Partially Evaluated Meta-Interpreter into the WAM. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:156-165 [Conf]
  14. Erich Prem, Markus Mackinger, Georg Dorffner, Gerold Porenta, Heinz Sochor
    Concept Support as a Method for Programming Neural Networks with Symbolic Knowledge. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:166-175 [Conf]
  15. Jürgen Herrmann, Renate Beckmann
    A Heuristic Inductive Generalization Method and its Application to VLSI-Design. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:176-186 [Conf]
  16. Ralph Bergmann
    Learning Plan Abstractions. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:187-198 [Conf]
  17. Alexander Linden
    On Discontinuous Q-Functions in Reinforcment Learning. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:199-209 [Conf]
  18. Karsten Poeck, Martin Tins
    An Intelligent Tutoring System for Classification Problem Solving. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:210-220 [Conf]
  19. Martin Schröder
    Knowledge-based Processing of Medical Language: A Language Engineering Approach. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:221-234 [Conf]
  20. Heike Kranzdorf, Ulrike Griefahn
    Text Planning in ITEX: A Hybrid Approach. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:235-246 [Conf]
  21. Marion Schulz, Daniela Schmidt
    Yes/No Questions with Negation: Towards Integrating Semantics and Pragmatics. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:247-254 [Conf]
  22. Esther König
    An Efficient Decision Algorithm for Feature Logic. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:255-266 [Conf]
  23. Stefan Decker, Christoph Lingenfelder
    Universally Quantified Queries in Language with Order-Sorted Logics. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:267-271 [Conf]
  24. Justus Meier
    A Semantic View of Explanation. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:272-282 [Conf]
  25. Dietmar Janetzko, Stefan Wess, Erica Melis
    Goal-Driven Similarity Assessment. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:283-298 [Conf]
  26. Jacques H. J. Lenting, Peter J. Braspenning
    Delegated Negotiation for Resource Re-Allocation. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:299-312 [Conf]
  27. Paul de Greef, Keith L. Clark, Frank G. McCabe
    Towards a Specification Language for Cooperation Methods. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:313-319 [Conf]
  28. Martin Kramer
    Improving Operating System Usage. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:320-333 [Conf]
  29. Matthias E. Kölln
    The Role of User Models for Conflicts in a Constraint-based Model of Generation. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:334-346 [Conf]
  30. Ernst Buchberger
    Criteria in Natural Language Generation: Minimal Criteria and Their Impacts. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:347-356 [Conf]
  31. Renate A. Schmidt
    Terminological Representation, Natural Language & Relation Algebra. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:357-371 [Conf]
  32. Andreas Lux, Michael Kolb
    Linking Humans and Intelligent Systems - or: What are User Agents Good for? [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:372-385 [Conf]
  33. Hauke Kindler, D. Densow, T. M. Fliedner
    A Advisor for the Management of the Acute Radiation Syndrome. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:386-396 [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