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.
Author(s): François Fages (auth.), Susanne Biundo, Thom Frühwirth, Günther Palm (eds.)
Series: Lecture Notes in Computer Science 3238 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2004
Language: English
Pages: 472
Tags: Artificial Intelligence (incl. Robotics)
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 -
