The papers are organized in topical sections on natural language processing, knowledge representation and ontologies, planning and search, neural networks and machine learning, reasoning, and robotics and machine perception.

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 inQualitative 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.

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com