The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Anthony G. Cohn
    Qualitative Spatial Representation and Reasoning Techniques. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:1-30 [Conf]
  2. Kurt Konolige
    COLBERT: A Language for Reactive Control in Sapphira. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:31-52 [Conf]
  3. Pat Langley
    Machine Learning for Adaptive User Interfaces. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:53-62 [Conf]
  4. Stefan Gerberding, Brigitte Pientka
    Structured Incremental Proof Planning. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:63-74 [Conf]
  5. Thomas Kolbe, Sabine Glesner
    Many-Sorted Logic in a Learning Theorem Prover. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:75-86 [Conf]
  6. Michael Kühn
    Rigid Hypertableaux. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:87-98 [Conf]
  7. Wenjin Lu
    Minimal Model Generation Based on E-hyper Tableaux. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:99-110 [Conf]
  8. Erica Melis, Jon Whittle
    External Analogy in Inductive Theorem Proving. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:111-122 [Conf]
  9. Manfred Kerber, Michael Kohlhase
    Mechanising Partiality With Re-implementation. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:123-134 [Conf]
  10. Enno Sandner
    From Linear Proofs to Direct Logic with Exponentials. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:135-146 [Conf]
  11. Martin Strecker, Maria Sorea
    Integrating an Equality Prover into a Software Development System Based on Type Theory. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:147-158 [Conf]
  12. Peter Grünwald
    Causation and Nonmonotonic Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:159-170 [Conf]
  13. David A. Basin, Seán Matthews, Luca Viganò
    Labelled Quantified Modal Logics. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:171-182 [Conf]
  14. Barbara Messing
    Defining Decision Rules in Signed Horn Clauses. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:183-194 [Conf]
  15. Bettina Berendt
    Modelling Subjective Distances. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:195-206 [Conf]
  16. Carola Eschenbach, Lars Kulik
    An Axiomatic Approach to the Spatial Relations Underlying Left-Right and in Front of-Behind. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:207-218 [Conf]
  17. Ralf Röhrig
    Representation and Processing of Qualitative Orientation Knowledge. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:219-230 [Conf]
  18. Bernd Ludwig
    A Contribution to the Question of Authenticity of Resus Using Part-of-Speech Tagging. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:231-242 [Conf]
  19. Susanne Schacht, Udo Hahn
    Making Objects More Knowledgeable. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:243-254 [Conf]
  20. Klemens Schnattinger, Udo Hahn
    Constraining the Acquisition of Concepts by the Quality of Heterogeneous Evidence. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:255-266 [Conf]
  21. Steffen Staab
    Conceptualizing Adjectives. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:267-278 [Conf]
  22. Hans Weber, Jörg Spilker, Günther Görz
    Parsing N Best Trees from a Word Lattice. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:279-288 [Conf]
  23. Wolfram Burgard, Dieter Fox, Daniel Hennig
    Fast Grid-Based Position TRacking for Mobile Robots. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:289-300 [Conf]
  24. Michael Haag, Wolfgang Theilmann, Kart Schäfer, Hans-Hellmut Nagel
    Integration of Image Sequence Evaluation and Fuzzy Metric Temporal Logic Programming. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:301-312 [Conf]
  25. Steffen Hölldobler, Yvonne Kalinke, Helko Lehmann
    Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:313-324 [Conf]
  26. Stefan K. Bamberger
    Cooperating Diagnostic Expert Systems to Solve Complex Diagnosis Tasks. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:325-336 [Conf]
  27. Olaf Steinmann, Antje Strohmaier, Thomas Stützle
    Tabu Search vs. Random Walk. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:337-348 [Conf]
  28. Antje Strohmaier
    Multi-flip Networks: Parallelizing GenSAT. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:349-360 [Conf]
  29. Thomas Weis
    Resource-Adaptive Action Planning in a Dialogue System for Repair Support. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:361-372 [Conf]
  30. Alberto Artosi, Paola Cattabriga, Guido Governatori
    A Modal Computational Framework for Default Reasoning. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:373-376 [Conf]
  31. Lassaad Cheikhrouhou
    Planning Diagonalization Proofs. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:377-380 [Conf]
  32. Stefan Edelkamp
    Suffix Tree Automata in State Space Search. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:381-384 [Conf]
  33. Bertram Fronhöfer
    Connection Cutting for Contraction Free Logic. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:385-388 [Conf]
  34. Dov M. Gabbay, Rolf Nossum, Michael Thielscher
    Agents in Proactive Environments. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:389-392 [Conf]
  35. Sven Hartrumpf, Marion Schulz
    Reducing Lexical Redundancy by Augmenting Conceptual Knowledge. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:393-396 [Conf]
  36. Jörg Nilson, Gabriella Kókai
    A Graphical User Interface for an ECG Classifier System. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:397-400 [Conf]
  37. Nenad Stojanovic, Ljiljana Stoiljkovic, D. Milenovic, V. Stoiljkovic
    Expert System in Additional Finishing. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:401-404 [Conf]
  38. Leendert W. N. van der Torre, Yao-Hua Tan
    Reasoning About Exceptions (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:405-408 [Conf]
  39. Hanno Walischewski
    Learning and Interpretation of the Layout of Structured Documents. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:409-412 [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