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

Table of Contents......Page 10
Automated Reasoning Tools for Molecular Biology......Page 14
ΩMEGA: Computer Supported Mathematics......Page 16
An Overview of Planning Technology in Robotics......Page 42
Smart Web: Mobile Applications of the Semantic Web......Page 63
Machine Learning for Autonomous Robots......Page 65
Generation of Sentence Parse Trees Using Parts of Speech......Page 69
Application of Machine Learning Techniques to the Re-ranking of Search Results......Page 80
A Pragmatics-First Approach to the Analysis and Generation of Dialogues......Page 95
Hybrid Natural Language Generation in a Spoken Language Dialog System......Page 110
Error-Tolerant Finite-State Lookup for Trademark Search......Page 125
Mining Hierarchical Temporal Patterns in Multivariate Time Series......Page 140
Using Behavioral Knowledge for Situated Prediction of Movements......Page 154
Integration of Manual and Automatic Text Categorization. A Categorization Workbench for Text-Based Email and Spam......Page 169
Model Based Deduction for Database Schema Reasoning......Page 181
Applying Automatic Planning Systems to Airport Ground-Traffic Control – A Feasibility Study......Page 196
Generalizing the Relaxed Planning Heuristic to Non-linear Tasks......Page 211
Decision-Theoretic Planning for Playing Table Soccer......Page 226
External A*......Page 239
Combining Recurrent Neural Networks and Support Vector Machines for Structural Pattern Recognition......Page 254
Genre Classification of Web Pages......Page 269
Integration of Statistical and Neural Methods to Design Classifiers in Case of Unequal Covariance Matrices......Page 283
Semiring Artificial Neural Networks and Weighted Automata. And an Application to Digital Image Encoding......Page 294
A New Method to Fit a Linear Regression Model for Interval-Valued Data......Page 308
Specifying Abnormal Action Qualifications with Sensing in FLUX......Page 320
On-Line Decision-Theoretic Golog for Unpredictable Domains......Page 335
Relation Variables in Qualitative Spatial Reasoning......Page 350
Default Reasoning over Domains and Concept Hierarchies......Page 364
Improving Fault Localization of Programs by Using Labeled Dependencies......Page 379
Improving the Scalability of Rule Base Verification Using Binary Decision Diagrams: An Empirical Study......Page 394
Modeling of Tutoring Processes in Intelligent Tutoring Systems......Page 409
A New Method for Asynchronous Multisensor Information Fusion......Page 423
Adaptive Vision for Playing Table Soccer......Page 437
Shape-Based Robot Mapping......Page 452
Vision-Based Facial and Eye Gaze Tracking System......Page 466
Author Index......Page 480