KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference in AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings

ISBN-13: 9783540231660 / Angielski / Miękka / 2004 / 472 str.

Susanne Biundo;Thom Frühwirth;Gunther Palm

Opis

This book constitutes the refereed proceedings of the 27th Annual German Conference on Artificial Intelligence, KI 2004, held in Ulm, Germany, in September 2004.

The 29 revised full papers presented together with 5 invited contributions were carefully reviewed and selected from 103 submissions. 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.

Spis treści

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.