| 2001 | Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots. | Frank Schnherr, Mihaela Cistelecan, Joachim Hertzberg, Thomas Christaller |
| 2001 | Bayesian Learning and Evolutionary Parameter Optimization. | Thomas Ragg |
| 2001 | Optimal Agent Selection. | Fatma Ozcan, V. S. Subrahmanian, Leana Golubchik |
| 2001 | Addressing the Qualification Problem in FLUX. | Yves Martin, Michael Thielscher |
| 2001 | Semantic Networks in a Knowledge Management Portal. | Kai Lebeth |
| 2001 | Approximating Most Specific Concepts in Description Logics with Existential Restrictions. | Ralf Ksters, Ralf Molitor |
| 2001 | From Theory to Practice: AI Planning for High Performance Elevator Control. | Jana Koehler |
| 2001 | Towards Inferring Labelling Heuristics for CSP Application Domains. | Zeynep Kiziltan, Pierre Flener, Brahim Hnich |
| 2001 | Computational Game Theory and AI. | Michael J. Kearns |
| 2001 | A Defense Model for Games with Incomplete Information. | Wojciech Jamroga |
| 2001 | History-Based Diagnosis Templates in the Framework of the Situation Calculus. | Gero Iwan |
| 2001 | Finding Optimal Solutions to Atomix. | Falk Hffner, Stefan Edelkamp, Henning Fernau, Rolf Niedermeier |
| 2001 | Belief Update in the pGOLOG Framework. | Henrik Grosskreutz, Gerhard Lakemeyer |
| 2001 | DiKe - A Model-Based Diagnosis Kernel and Its Application. | Gerhard Fleischanderl, Thomas Havelka, Herwig Schreiner, Markus Stumptner, Franz Wotawa |
| 2001 | Constraints Applied to Configurations. | Gerhard Fleischanderl |
| 2001 | Towards Distributed Configuration. | Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Zanker |
| 2001 | Hierarchical Diagnosis of Large Configurator Knowledge Bases. | Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Stumptner, Markus Zanker |
| 2001 | Theory and Practice of Time-Space Trade-Offs in Memory Limited Search. | Stefan Edelkamp, Ulrich Meyer |
| 2001 | Prediction of Regular Search Tree Growth by Spectral Analysis. | Stefan Edelkamp |
| 2001 | Propositional Satisfiability in Answer-Set Programming. | Deborah East, Miroslaw Truszczynski |
| 2001 | Towards First-Order Temporal Resolution. | Anatoli Degtyarev, Michael Fisher |
| 2001 | Exploiting Conditional Equivalences in Connection Calculi. | Stefan Brning |
| 2001 | The Point Algebra for Branching Time Revisited. | Mathias Broxvall |
| 2001 | Possible Worlds Semantics for Credulous and Contraction Inference. | Alexander Bochman |
| 2001 | Experiments with an Agent-Oriented Reasoning System. | Christoph Benzmller, Mateja Jamnik, Manfred Kerber, Volker Sorge |