KI 2006: Advances in Artificial Intelligence: 29th Annual German Conference on Ai, Ki 2006, Bremen, Germany, June 14-17, 2006, Proceedings

by Freksa, Christian; Kohlhase, Michael; Schill, Kerstin

• ISBN13: 9783540699118
• ISBN10: 3540699112
• Format: Paperback
• Copyright: 2007-03-05
• Publisher: Springer-Verlag New York Inc

Summary

This book constitutes the thoroughly refereed post-proceedings of the 29th Annual German Conference on Artificial Intelligence, KI 2006, held in Bremen, Germany, in June 2006 - co-located with RoboCup 2006, the innovative robot soccer world championship, and with ACTUATOR 2006, the 10th International Conference on New Actuators. The 29 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on cognition and emotion, semantic Web, analogy, natural language, reasoning, ontologies, spatio-temporal reasoning, machine learning, spatial reasoning, robot learning, classical AI problems, and agents. The book is completed with the extended abstracts of 8 lectures - especially invited for the public symposium '50 Years AI' held after the regular conference sessions.

Table of Contents

Invited Talk
Expressivity-Preserving Tempo Transformation for Music - A Case-Based Approach	p. 1
Cognition and Emotion
MicroPsi: Contributions to a Broad Architecture of Cognition	p. 7
Affective Cognitive Modeling for Autonomous Agents Based on Scherer's Emotion Theory	p. 19
Semantic Web
OWL and Qualitative Reasoning Models	p. 33
Techniques for Fast Query Relaxation in Content-Based Recommender Systems	p. 49
Analogy
Solving Proportional Analogies by E-Generalization	p. 64
Building Robots with Analogy-Based Anticipation	p. 76
Natural Language
Classification of Skewed and Homogenous Document Corpora with Class-Based and Corpus-Based Keywords	p. 91
Learning an Ensemble of Semantic Parsers for Building Dialog-Based Natural Language Interfaces	p. 102
Reasoning
Game-Theoretic Agent Programming in Golog Under Partial Observability	p. 113
Finding Models for Blocked 3-SAT Problems in Linear Time by Systematical Refinement of a Sub-model	p. 128
Towards the Computation of Stable Probabilistic Model Semantics	p. 143
DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics	p. 159
Invited Talk
Applications of Automated Reasoning	p. 174
Ontologies
On the Scalability of Description Logic Instance Retrieval	p. 188
Relation Instantiation for Ontology Population Using the Web	p. 202
Spatio-temporal Reasoning
GeTS - A Specification Language for Geo-Temporal Notions	p. 214
Active Monte Carlo Recognition	p. 229
Machine Learning
Cross System Personalization and Collaborative Filtering by Learning Manifold Alignments	p. 244
A Partitioning Method for Mixed Feature-Type Symbolic Data Using a Squared Euclidean Distance	p. 260
Spatial Reasoning
On Generalizing Orientation Information in OPRA[subscript m]	p. 274
Towards the Visualisation of Shape Features: The Scope Histogram	p. 289
Robot Learning
A Robot Learns to Know People-First Contacts of a Robot	p. 302
Recombinant Rule Selection in Evolutionary Algorithm for Fuzzy Path Planner of Robot Soccer	p. 317
Classical AI Problems
A Framework for Quasi-exact Optimization Using Relaxed Best-First Search	p. 331
Gray Box Robustness Testing of Rule Systems	p. 346
A Unifying Framework for Hybrid Planning and Scheduling	p. 361
Agents
A Hybrid Time Management Approach to Agent-Based Simulation	p. 374
Adaptive Multi-agent Programming in GTGolog	p. 389
Agent Logics as Program Logics: Grounding KARO	p. 404
On the Relationship Between Playing Rationally and Knowing How to Play: A Logical Account	p. 419
Special Event. 50 Years Artificial Intelligence
1956-1966 How Did It All Begin? - Issues Then and Now	p. 437
Fundamental Questions	p. 439
Towards the AI Summer	p. 443
History of AI in Germany and The Third Industrial Revolution	p. 445
Three Decades of Human Language Technology in Germany	p. 447
1996-2006 Autonomous Robots	p. 449
Projects and Vision in Robotics	p. 451
What Will Happen in Algorithm Country?	p. 455
Author Index	p. 457
Table of Contents provided by Ingram. All Rights Reserved.