KI 2005: Advances in Artificial Intelligence

Invited Talks.- Hierarchy in Fluid Construction Grammars.- Description Logics in Ontology Applications.- 175 Miles Through the Desert.- Knowledge Representation and Reasoning.- A New n-Ary Existential Quantifier in Description Logics.- Subsumption in w.r.t. Hybrid TBoxes.- Dependency Calculus: Reasoning in a General Point Relation Algebra.- Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs.- Machine Learning.- Design of Geologic Structure Models with Case Based Reasoning.- Applying Constrained Linear Regression Models to Predict Interval-Valued Data.- On Utilizing Stochastic Learning Weak Estimators for Training and Classification of Patterns with Non-stationary Distributions.- Noise Robustness by Using Inverse Mutations.- Diagnosis.- Development of Flexible and Adaptable Fault Detection and Diagnosis Algorithm for Induction Motors Based on Self-organization of Feature Extraction.- Computing the Optimal Action Sequence by Niche Genetic Algorithm.- Diagnosis of Plan Execution and the Executing Agent.- Automatic Abstraction of Time-Varying System Models for Model Based Diagnosis.- Neural Networks.- Neuro-Fuzzy Kolmogorov's Network for Time Series Prediction and Pattern Classification.- Design of Optimal Power Distribution Networks Using Multiobjective Genetic Algorithm.- New Stability Results for Delayed Neural Networks.- Planning.- Metaheuristics for Late Work Minimization in Two-Machine Flow Shop with Common Due Date.- An Optimal Algorithm for Disassembly Scheduling with Assembly Product Structure.- Hybrid Planning Using Flexible Strategies.- Controlled Reachability Analysis in AI Planning: Theory and Practice.- Robotics.- Distributed Multi-robot Localization Based on Mutual Path Detection.- Modeling Moving Objects in a Dynamically Changing Robot Application.- Heuristic-Based Laser Scan Matching for Outdoor 6D SLAM.- A Probabilistic Multimodal Sensor Aggregation Scheme Applied for a Mobile Robot.- Behavior Recognition and Opponent Modeling for