KI2005 – Accepted Papers

• F. Baader, C. Lutz, E. Karabaev, M. Theissen
  A New n-ary Existential Quantifier in Description Logics
• M. Lauer, S. Lange, M. Riedmiller
  Modeling Moving Objects in a Dynamically Changing Robot Application
• G. Torta, P. Torasso
  Automatic Abstraction of Time-Varying System Models for Model Based Diagnosis
• S. Frintrop, G. Backer, E. Rome
  Selecting what is Important: Training Visual Attention
• M. Ragni, A. Scivos
  Dependency Calculus Reasoning in a General Point Relation Algebra
• Y. Bodyanskiy, V. Kolodyazhniy, P. Otto
  Neuro-Fuzzy Kolmogorov's Network for Time Series Prediction and Pattern Classification
• N. Roos, C. Witteveen
  Diagnosis of plan execution and the executing agent
• Y. Zemali
  Controlled Reachability Analysis in AI Planning: Theory and Practice
• A. Nuechter, K. Lingemann, J. Hertzberg, H. Surmann
  Heuristic-Based Laser Scan Matching for Outdoor 6D SLAM
• M. Minor, S. Köppen
  Design of Geologic Structure Models with Case Based Reasoning
• S. Brandt, J. Model
  Subsumption in EL w.r.t. hybrid TBoxes
• B. Schattenberg, A. Weigl, S. Biundo
  Hybrid Planning Using Flexible Strategies
• V. Amiranashvili, G. Lakemeyer
  Distributed Multi-Robot Localization Based on Mutual Path Detection
• B. John Oommen, Luis Rueda
  On Utilizing Stochastic Learning Weak Estimators for Training and Classification of Patterns with Non-Stationary Distributions
• H. Kim, D. Lee, P. Xirouchakis
  An Optimal Algorithm for Disassembly Scheduling with Assembly Product Structure
• S. Klatt, K. Oliva
  On the Road to High-Quality POS-Tagging
• E. Schaffernicht, C. Martin, A. Scheidig, H. Gross
  A Probabilistic Multimodal Sensor Aggregation Scheme Applied for a Mobile Robot
• M. Ragni, S. Wölfl
  Temporalizing Spatial Calculi
• R. Salomon
  Noise Robustness by Using Inverse Mutations
• C. Gros
  Self-sustained thought processes in a dense associative network
• Z. Qiang
  New Stability Results for Delayed Neural Networks
• M. Kerber
  Why is the Lucas-Penrose Argument Invalid?
• L. chen, J. huang
  Computing the Optimal Action Sequence by Niche Genetic Algorithm
• X. Hongbo, H. Hai, W. Zhizhong
  Multiple Feature Domains Information Fusion for Computer-Aided Clinical Electromyography
• E. Pesch, J. Blazewicz, M. Sterna, F. Werner
  Metaheuristics for Late Work Minimization in Two Machine Flow Shops with Common Due Date
• E. Lima Neto, F. Tenorio de Carvalho, E. Freire
  Constrained Linear Regression Models to Predict Interval-valued Data
• H. Bae, S. Kim, J. Kim
  Development of Flexible and Adaptable Fault Detection and Diagnosis Algorithm for Induction Motors Based on Self-Organization of Feature Extraction
• T. Weigel, K. Rechert, B. Nebel
  Behavior Recognition and Opponent Modeling for Adaptive Table Soccer Playing
• F. Rashidi
  Design of Optimal Power Distribution Networks Using Multiobjective Genetic Algorithms