Program KI 2005, September 11-14, Koblenz, Germany

Short PDF, Long PDF, and PDA version available. Program of co-located MATES

Sunday, September 11th
10:00 Tutorial 2:
Connectionist Knowledge Representation and Reasoning
Workshops 1-11
11:30 Coffee Break
12:00 Tutorial 2 (cont'd) Workshops 1-11
13:30 Lunch
14:30 Tutorial 1:
Techniques in Evolutionary Robotics and Neurodynamics
Workshops 1-11
16:00 Coffee Break
16:30 Tutorial 1 (cont'd) Workshops 1-11
18:00 End of Technical Program 17:30 Fachbereich KI - Leitungssitzung
18:00 BBQ on campus for all workshop/tutorial participants

Rooms for Tutorials and Workshops
Tutorial 1 E113
Tutorial 2 D239
Workshop 2 E313
Workshop 3 E314
Workshop 4 E413
Workshop 5 E414
Workshop 6 F313
Workshop 7 F314
Workshop 10 D238
Workshop 11 H009
Fachbereich KI Leitungssitzung D239

Monday, September 12th
9:00 Opening Session (Auditorium A)
Invited Talk: 175 miles through the desert (Auditorium A)

Sebastian Thrun, University of Stanford
10:30 Coffee Break
11:00 Robotics 1 (Auditorium A)
Distributed Multi-Robot Localization Based on Mutual Path Detection

Vazha Amiranashvili, Gerhard Lakemeyer
Modeling Moving Objects in a Dynamically Changing Robot Application

Martin Lauer, Sascha Lange, Martin Riedmiller
Heuristic-Based Laser Scan Matching for Outdoor 6D SLAM

Andreas Nüchter, Kai Lingemann, Joachim Hertzberg, Hartmut Surmann
12:30 Lunch
14:00 Machine Learning 1 (Auditorium A)
Design of Geologic Structure Models with Case Based Reasoning

Mirjam Minor, Sandro Köppen
Constrained Linear Regression Models to Predict Interval-valued Data

Eufrasio de A. Lima Neto, Francisco de A. T. de Carvalho, Eduarda S. Freire
15:00 Coffee Break
15:30 Diagnosis 1 (Auditorium A)
Development of Flexible and Adaptable Fault Detection and Diagnosis Algorithm for Induction Motors Based on Self-Organization of Feature Extraction

Hyeon Bae, Sungshin Kim, Jang-Mok Kim, Kwang-Baek Kim
Computing the Optimal Action Sequence by Niche Genetic Algorithm

Lin Chen, Jie Huang, Zheng-Hu Gong
16:30 Coffee Break
17:00 Diagnosis 2 (Auditorium A)
Diagnosis of Plan Execution and the Executing Agent

Nico Roos, Cees Witteveen
Automatic Abstraction of Time-Varying System Models for Model Based Diagnosis

Pietro Torasso, Gianluca Torta
18:00 End of Technical Program
18:00 Welcome Reception

Tuesday, September 13th
9:00 Invited Talk: Emergent Semantics in Multi-Agent Systems (Auditorium A)

Luc Steels, University of Brussels
10:00 Coffee Break
10:30 Robotics 2 (Auditorium A)
A Probabilistic Multimodal Sensor Aggregation Scheme Applied for a Mobile Robot

Erik Schaffernicht, Christian Martin, Andrea Scheidig, Horst-Michael Gross
Behavior Recognition and Opponent Modeling for Adaptive Table Soccer Playing

Thilo Weigel, Klaus Rechert, Bernhard Nebel
11:30 Neural Networks 1 (Auditorium A)
Neuro-Fuzzy Kolmogorov's Network for Time Series Prediction and Pattern Classification

Yevgeniy Bodyanskiy, Vitaliy Kolodyazhniy, Peter Otto
Design of Optimal Power Distribution Networks Using Multiobjective Genetic Algorithms

Alireza Hadi, Farzan Rashidi
12:30 Lunch
14:00 Machine Learning 2 (Auditorium A)
On Utilizing Stochastic Learning Weak Estimators for Training and Classification of Patterns with Non-Stationary Distributions

B. John Oommen, Luis Rueda
Noise Robustness by Using Inverse Mutations

Ralf Salomon
15:00 Coffee Break
15:30 Cognitive Modelling / Philosophy / Natural Language (Auditorium A)
Selecting what is Important: Training Visual Attention

Simone Frintrop, Gerriet Backer, Erich Rome
Why is the Lucas-Penrose Argument Invalid?

Manfred Kerber
On the Road to High-Quality POS-Tagging

Stefan Klatt, Karel Oliva
17:00 End of Technical Program
19:00 Conference Dinner

Wednesday, September 14th
9:00 Neural Networks 2 (Auditorium A)
Self-Sustained Thought Processes in a Dense Associative Network

Claudius Gros
New Stability Results for Delayed Neural Networks

Zhang Qiang
10:00 Coffee Break
10:30 Planning (Auditorium A) Knowledge Representation and Reasoning (Auditorium B)
Metaheuristics for Late Work Minimization in Two-Machine Flow Shops with Common Due Date

Jacek Blazewicz, Erwin Pesch, Malgorzata Sterna, Frank Werner
Dependency Calculus Reasoning in a General Point Relation Algebra

Marco Ragni, Alexander Scivos
An Optimal Algorithm for Disassembly Scheduling with Assembly Product Structure

Hwa-Joong Kim, Dong-Ho Lee, Paul Xirouchakis
A New n-ary Existential Quantifier in Description Logics

Franz Baader, Eldar Karabaev, Carsten Lutz, Manfred Theißen
Hybrid Planning Using Flexible Strategies

Bernd Schattenberg, Andreas Weigl, Susanne Biundo
Temporalizing Spatial Calculi

Marco Ragni, Stefan Wölfl
Controlled Reachability Analysis in AI Planning: Theory and Practice

Yacine Zemali
Subsumption in EL w.r.t. hybrid TBoxes

Sebastian Brandt, Jörg Model
12:30 Lunch
14:00 Invited Talk: Description Logics in Ontology Applications (Auditorium A)

Ian Horrocks, University of Manchester
15:00 Coffee Break / End of Conference