KI 2004 : advances in artificial intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004 : proceedings

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. Front Matter....Pages - Automated Reasoning Tools for Molecular Biology....Pages 1-2 Ω mega : Computer Supported Mathematics....Pages 3-28 An Overview of Planning Technology in Robotics....Pages 29-49 SmartWeb: Mobile Applications of the Semantic Web....Pages 50-51 Machine Learning for Autonomous Robots....Pages 52-55 Generation of Sentence Parse Trees Using Parts of Speech....Pages 56-66 Application of Machine Learning Techniques to the Re-ranking of Search Results....Pages 67-81 A Pragmatics-First Approach to the Analysis and Generation of Dialogues....Pages 82-96 Hybrid Natural Language Generation in a Spoken Language Dialog System....Pages 97-111 Error-Tolerant Finite-State Lookup for Trademark Search....Pages 112-126 Mining Hierarchical Temporal Patterns in Multivariate Time Series....Pages 127-140 Using Behavioral Knowledge for Situated Prediction of Movements....Pages 141-155 Integration of Manual and Automatic Text Categorization. A Categorization Workbench for Text-Based Email and Spam....Pages 156-167 Model Based Deduction for Database Schema Reasoning....Pages 168-182 Applying Automatic Planning Systems to Airport Ground-Traffic Control – A Feasibility Study....Pages 183-197 Generalizing the Relaxed Planning Heuristic to Non-linear Tasks....Pages 198-212 Decision-Theoretic Planning for Playing Table Soccer....Pages 213-225 External A*....Pages 226-240 Combining Recurrent Neural Networks and Support Vector Machines for Structural Pattern Recognition....Pages 241-255 Genre Classification of Web Pages....Pages 256-269 Integration of Statistical and Neural Methods to Design Classifiers in Case of Unequal Covariance Matrices....Pages 270-280 Semiring Artificial Neural Networks and Weighted Automata....Pages 281-294 A New Method to Fit a Linear Regression Model for Interval-Valued Data....Pages 295-306 Specifying Abnormal Action Qualifications with Sensing in FLUX....Pages 307-321 On-Line Decision-Theoretic Golog for Unpredictable Domains....Pages 322-336 Relation Variables in Qualitative Spatial Reasoning....Pages 337-350 Default Reasoning over Domains and Concept Hierarchies....Pages 351-365 Improving Fault Localization of Programs by Using Labeled Dependencies....Pages 366-380 Improving the Scalability of Rule Base Verification Using Binary Decision Diagrams: An Empirical Study....Pages 381-395 Modeling of Tutoring Processes in Intelligent Tutoring Systems....Pages 396-409 A New Method for Asynchronous Multisensor Information Fusion....Pages 410-423 Adaptive Vision for Playing Table Soccer....Pages 424-438 Shape-Based Robot Mapping....Pages 439-452 Vision-Based Facial and Eye Gaze Tracking System....Pages 453-465 Back Matter....Pages - KI2004wasthe27theditionoftheannualGermanConferenceonArti?cialInt- ligence, which traditionally brings together academic and industrial researchers from all areas of AI and which enjoys increasing international attendance. KI 2004 received 103 submissions from 26 countries. This volume contains the 30 papers that were ?nally selected for presentation at the conference. The papers cover quite a broad spectrum of “classical” subareas of AI, like na- ral language processing, neural networks, knowledge representation, reasoning, planning, and search. When looking at this year’s contributions, it was exciting to observe that there was a strong trend towards actual real-world applications of AI technology. A majority of contributions resulted from or were motivated by applications in a variety of areas. Examples include applications of pl- ning, where the technology is being exploited for taxiway tra?c control and game playing; natural language processing and knowledge representation are enabling advanced Web-based information processing; and the integration of - sults from automated reasoning, neural networks and machine perception into robotics leads to signi?cantly improved capabilities of autonomous systems. The technical programme of KI 2004 was highlighted by invited talks from outstanding researchers in the areas of automated reasoning, robot planning, constraintreasoning,machinelearning,andsemanticWeb:Jorg ̈ Siekmann(DFKI andUniversityofSaarland,Saarbruc ̈ ken),MalikGhallab(LAAS-CNRS,Toulouse), Franco ̧ is Fages (INRIA Rocquencourt), Martin Riedmiller (University of - nabru ̈ck),andWolfgangWahlster(DFKIandUniversityofSaarland,Saarbruc ̈ ken). Their invited papers are also presented in this volume. KI2004wasthe27theditionoftheannualGermanConferenceonArti?cialInt- ligence, which traditionally brings together academic and industrial researchers from all areas of AI and which enjoys increasing international attendance. KI 2004 received 103 submissions from 26 countries. This volume contains the 30 papers that were?nally selected for presentation at the conference. The papers cover quite a broad spectrum of "classical" subareas of AI, like na- ral language processing, neural networks, knowledge representation, reasoning, planning, and search. When looking at this year's contributions, it was exciting to observe that there was a strong trend towards actual real-world applications of AI technology. A majority of contributions resulted from or were motivated by applications in a variety of areas. Examples include applications of pl- ning, where the technology is being exploited for taxiway tra?c control and game playing; natural language processing and knowledge representation are enabling advanced Web-based information processing; and the integration of - sults from automated reasoning, neural networks and machine perception into robotics leads to signi?cantly improved capabilities of autonomous systems. The technical programme of KI 2004 was highlighted by invited talks from outstanding researchers in the areas of automated reasoning, robot planning, constraintreasoning, machinelearning, andsemanticWeb:Jorg · Siekmann(DFKI andUniversityofSaarland, Saarbruc · ken), MalikGhallab(LAAS-CNRS, Toulouse), Franco ı is Fages (INRIA Rocquencourt), Martin Riedmiller (University of - nabru ·ck), andWolfgangWahlster(DFKIandUniversityofSaarland, Saarbruc · ken). Their invited papers are also presented in this volume In recent years, molecular biology has engaged in a large-scale effort to elucidate high-level cellular processes in terms of their biochemical basis at the molecular level.