The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Michael J. Kearns
    Computational Game Theory and AI. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:1- [Conf]
  2. Fatma Ozcan, V. S. Subrahmanian, Leana Golubchik
    Optimal Agent Selection. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:2-17 [Conf]
  3. Anatoli Degtyarev, Michael Fisher
    Towards First-Order Temporal Resolution. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:18-32 [Conf]
  4. Ralf Küsters, Ralf Molitor
    Approximating Most Specific Concepts in Description Logics with Existential Restrictions. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:33-47 [Conf]
  5. Thomas Ragg
    Bayesian Learning and Evolutionary Parameter Optimization. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:48-62 [Conf]
  6. Liviu Badea, Doina Tilivea
    Abductive Partial Order Planning with Dependent Fluents. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:63-77 [Conf]
  7. Maren Bennewitz, Wolfram Burgard, Sebastian Thrun
    Constraint-Based Optimization of Priority Schemes for Decoupled Path Planning Techniques. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:78-93 [Conf]
  8. Alexander Bochman
    Possible Worlds Semantics for Credulous and Contraction Inference. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:94-105 [Conf]
  9. Mathias Broxvall
    The Point Algebra for Branching Time Revisited. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:106-121 [Conf]
  10. Stefan Brüning
    Exploiting Conditional Equivalences in Connection Calculi. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:122-137 [Conf]
  11. Deborah East, Miroslaw Truszczynski
    Propositional Satisfiability in Answer-Set Programming. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:138-153 [Conf]
  12. Stefan Edelkamp
    Prediction of Regular Search Tree Growth by Spectral Analysis. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:154-168 [Conf]
  13. Stefan Edelkamp, Ulrich Meyer
    Theory and Practice of Time-Space Trade-Offs in Memory Limited Search. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:169-184 [Conf]
  14. Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Stumptner, Markus Zanker
    Hierarchical Diagnosis of Large Configurator Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:185-197 [Conf]
  15. Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Zanker
    Towards Distributed Configuration. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:198-212 [Conf]
  16. Henrik Grosskreutz, Gerhard Lakemeyer
    Belief Update in the pGOLOG Framework. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:213-228 [Conf]
  17. Falk Hüffner, Stefan Edelkamp, Henning Fernau, Rolf Niedermeier
    Finding Optimal Solutions to Atomix. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:229-243 [Conf]
  18. Gero Iwan
    History-Based Diagnosis Templates in the Framework of the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:244-259 [Conf]
  19. Wojciech Jamroga
    A Defense Model for Games with Incomplete Information. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:260-274 [Conf]
  20. Zeynep Kiziltan, Pierre Flener, Brahim Hnich
    Towards Inferring Labelling Heuristics for CSP Application Domains. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:275-289 [Conf]
  21. Yves Martin, Michael Thielscher
    Addressing the Qualification Problem in FLUX. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:290-304 [Conf]
  22. Frank Schönherr, Mihaela Cistelecan, Joachim Hertzberg, Thomas Christaller
    Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:305-319 [Conf]
  23. Stephan Schulz
    Learning Search Control Knowledge for Equational Theorem Proving. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:320-334 [Conf]
  24. Gerd Stumme, Rafik Taouil, Yves Bastide, Nicolas Pasquier, Lotfi Lakhal
    Intelligent Structuring and Reducing of Association Rules with Formal Concept Analysis. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:335-350 [Conf]
  25. Markus Stumptner, Dominik Wieland, Franz Wotawa
    Comparing Two Models for Software Debugging. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:351-365 [Conf]
  26. Michael Thielscher
    Inferring Implicit State Knowledge and Plans with Sensing Actions. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:366-380 [Conf]
  27. George Anastassakis, Tim Ritchings, Themis Panayiotopoulos
    Multi-agent Systems as Intelligent Virtual Environments. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:381-395 [Conf]
  28. Sean Bechhofer, Ian Horrocks, Carole A. Goble, Robert Stevens
    OilEd: A Reason-able Ontology Editor for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:396-408 [Conf]
  29. Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
    Experiments with an Agent-Oriented Reasoning System. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:409-424 [Conf]
  30. Thorsten Belker, Michael Beetz
    Learning to Execute Navigation Plans. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:425-439 [Conf]
  31. Gerhard Fleischanderl, Thomas Havelka, Herwig Schreiner, Markus Stumptner, Franz Wotawa
    DiKe - A Model-Based Diagnosis Kernel and Its Application. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:440-454 [Conf]
  32. Gerhard Fleischanderl
    Constraints Applied to Configurations. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:455-458 [Conf]
  33. Jana Koehler
    From Theory to Practice: AI Planning for High Performance Elevator Control. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:459-462 [Conf]
  34. Kai Lebeth
    Semantic Networks in a Knowledge Management Portal. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:463-466 [Conf]
  35. Kurt Sundermeyer
    Collaborative Supply Net Management. [Citation Graph (0, 0)][DBLP]
    KI/ÖGAI, 2001, pp:467-470 [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