Invited Talks -- Automated Reasoning Tools for Molecular Biology -- ?mega: Computer Supported Mathematics -- An Overview of Planning Technology in Robotics -- SmartWeb: Mobile Applications of the Semantic Web -- Machine Learning for Autonomous Robots -- Natural Language Processing -- Generation of Sentence Parse Trees Using Parts of Speech -- Application of Machine Learning Techniques to the Re-ranking of Search Results -- A Pragmatics-First Approach to the Analysis and Generation of Dialogues -- Hybrid Natural Language Generation in a Spoken Language Dialog System -- Error-Tolerant Finite-State Lookup for Trademark Search -- Knowledge Representation and Ontologies -- Mining Hierarchical Temporal Patterns in Multivariate Time Series -- Using Behavioral Knowledge for Situated Prediction of Movements -- Integration of Manual and Automatic Text Categorization. A Categorization Workbench for Text-Based Email and Spam -- Model Based Deduction for Database Schema Reasoning -- Planning and Search -- Applying Automatic Planning Systems to Airport Ground-Traffic Control – A Feasibility Study -- Generalizing the Relaxed Planning Heuristic to Non-linear Tasks -- Decision-Theoretic Planning for Playing Table Soccer -- External A* -- Neural Networks and Machine Learning -- Combining Recurrent Neural Networks and Support Vector Machines for Structural Pattern Recognition -- Genre Classification of Web Pages -- Integration of Statistical and Neural Methods to Design Classifiers in Case of Unequal Covariance Matrices -- Semiring Artificial Neural Networks and Weighted Automata -- A New Method to Fit a Linear Regression Model for Interval-Valued Data -- Reasoning -- Specifying Abnormal Action Qualifications with Sensing in FLUX -- On-Line Decision-Theoretic Golog for Unpredictable Domains -- Relation Variables in Qualitative Spatial Reasoning -- Default Reasoning over Domains and Concept Hierarchies -- Improving Fault Localization of Programs by Using Labeled Dependencies -- Improving the Scalability of Rule Base Verification Using Binary Decision Diagrams: An Empirical Study -- Modeling of Tutoring Processes in Intelligent Tutoring Systems -- Robotics and Machine Perception -- A New Method for Asynchronous Multisensor Information Fusion -- Adaptive Vision for Playing Table Soccer -- Shape-Based Robot Mapping -- Vision-Based Facial and Eye Gaze Tracking System.