Randy GoebelYuzuru Tanaka and Jun Fujima and Micke KuwaharaDamian Borth and Christian Schulze and Adrian Ulges and Thomas M. BreuelLassaad Cheikhrouhou and Andreas Nonnengart and Werner Stephan and Frank Koob and Georg RockKristof Csorba and Istvan VajkStefan Edelkamp and Peter KissmannKathrin Eichler and Holmer Hemsen and Markus Lockelt and Gunter Neumann and Norbert ReithingerRonny Hartanto and Joachim HertzbergAndreas Hess and Philipp Dopichaj and Christian MaassMartin Hofmann and Emanuel Kitzelmann and Ute SchmidLothar Hotz and Bernd Neumann and Kasim TerzicThomas Keller and Sebastian KupferschmidWathanyoo Khaisongkram and Pongsathorn Raksincharoensak and Masamichi Shimosaka and Taketoshi Mori and Tomomasa Sato and Masao NagaiDarko Obradovic and Stephan BaumannTobias PietzschUlrich Schafer and Hans Uszkoreit and Christian Federmann and Torsten Marek and Yajing ZhangViorica Sofronie-StokkermansAxel Tidemann and Yiannis DemirisBenjamin Adrian and Andreas DengelMartin Atzmueller and Florian LemmerichJulien Bidot and Bernd Schattenberg and Susanne BiundoTim Braun and Henning Bitsch and Karsten BernsStefan Edelkamp and Peter KissmannStefan Edelkamp and Peter KissmannRoman EnglertStefan Goldmann and Ralf SalomonArmin Hornung and Dapeng ZhangLei Liu and Sen Zhang and Lu Hong Diao and Shu Ying Yan and Cun Gen CaoWalter Kasper and Jorg Steffen and Yajing ZhangYohannes Kassahun and Jose de Gea and Jan Hendrik Metzen and Mark Edgington and Frank KirchnerHans-Ulrich KriegerYohei Kurata and Hui ShiChristoph Mies and Alexander Ferrein and Gerhard LakemeyerHiroshi Miyake and Koichi Kise and Andreas DengelDarko Obradovic and Armin StahlNadine Pfeiffer-Lessmann and Ipke WachsmuthWalid S. SabaRyosuke Saga and Masahiro Terachi and Zhongqi Sheng and Hiroshi TsujiMarc Schroder and Patrick Gebhard and Marcela Charfuelan and Christoph Endres and Michael Kipp and Sathish Pammi and Martin Rumpler and Oytun TurkLutz Schroder and Dirk PattinsonJakob SchwendnerRenata M.C.R. de Souza and Francisco Jose A. Cysneiros and Diego C.F. Queiroz and Roberta A. de A. FagundesH. Joe SteinhauerSamuel Strupp and Norbert Schmitz and Karsten BernsRustam TagiewAtsushi Takahashi and Shingo Aoki and Hiroshi Tsuji and Shuki InoueAxel Tidemann and Pinar OzturkThierry Declerck and Christian Federmann and Bernd Kiefer and Hans-Ulrich KriegerManuel Moller and Michael SintekGrzegorz J. NalepaGrzegorz J. Nalepa and Igor WojnickiDarko ObradovicBernd Schurmann and Roland Volk

Invited Talks
Folk Reducibility and AI-Complete Problems	p. 1
Meme Media and Knowledge Federation	p. 2
Papers
Navidgator - Similarity Based Browsing for Image and Video Databases	p. 22
Automating Interactive Protocol Verification	p. 30
Iterative Search for Similar Documents on Mobile Devices	p. 38
Limits and Possibilities of BDDs in State Space Search	p. 46
Interactive Dynamic Information Extraction	p. 54
Fusing DL Reasoning with HTN Planning	p. 62
Multi-value Classification of Very Short Texts	p. 70
Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework	p. 78
High-Level Expectations for Low-Level Image Processing	p. 87
Automatic Bidding for the Game of Skat	p. 95
Automobile Driving Behavior Recognition Using Boosting Sequential Labeling Method for Adaptive Driver Assistance Systems	p. 103
Identifying and Analysing Germany's Top Blogs	p. 111
Planar Features for Visual SLAM	p. 119
Extracting and Querying Relations in Scientific Papers	p. 127
Efficient Hierarchical Reasoning about Functions over Numerical Domains	p. 135
A Drum Machine That Learns to Groove	p. 144
Posters
Believing Finite-State Cascades in Knowledge-Based Information Extraction	p. 152
A Methodological Approach for the Effective Modeling of Bayesian Networks	p. 160
Plan Repair in Hybrid Planning	p. 169
Visual Terrain Traversability Estimation Using a Combined Slope/Elevation Model	p. 177
Symbolic Classification of General Two-Player Games	p. 185
Partial Symbolic Pattern Databases for Optimal Sequential Planning	p. 193
Optimal Scheduling with Resources for Application Execution in 3G Networks	p. 201
ESO: Evolutionary Self-organization in Smart-Appliances Ensembles	p. 209
On-Line Detection of Rule Violations in Table Soccer	p. 217
Extracting and Verifying Hyponymy Relations Based on Multiple Patterns and Features	p. 225
News Annotations for Navigation by Semantic Similarity	p. 233
EANT+KALMAN: An Efficient Reinforcement Learning Method for Continuous State Partially Observable Domains	p. 241
Where Temporal Description Logics Fail: Representing Temporally-Changing Relationships	p. 249
Interpreting Motion Expressions in Route Instructions Using Two Projection-Based Spatial Models	p. 258
Repairing Decision-Theoretic Policies Using Goal-Oriented Planning	p. 267
A Recognition Interface for Bridging the Semantic Desktop and the Physical World	p. 276
Learning by Observing: Case-Based Decision Making in Complex Strategy Games	p. 284
Toward Alignment with a Virtual Human - Achieving Joint Attention	p. 292
Concerning Olga, the Beautiful Little Street Dancer: Adjectives as Higher-Order Polymorphic Functions	p. 300
FACT-Graph: Trend Visualization by Frequency and Co-occurrence	p. 308
Enhancing Animated Agents in an Instrumented Poker Game	p. 316
Shallow Models for Non-iterative Modal Logics	p. 324
Homography Based State Estimation for Aerial Robots	p. 332
A Symbolic Pattern Classifier for Interval Data Based on Binary Probit Analysis	p. 340
Object Configuration Reconstruction from Incomplete Binary Object Relation Descriptions	p. 348
Visual-Based Emotion Detection for Natural Man-Machine Interaction	p. 356
Simplest Scenario for Mutual Nested Modeling in Human-Machine-Interaction	p. 364
Bayesian Network for Future Home Energy Consumption	p. 372
Learning Dance Movements by Imitation: A Multiple Model Approach	p. 380
Demos
Ontology-Based Information Extraction and Reasoning for Business Intelligence Applications	p. 389
A Scalable Architecture for Cross-Modal Semantic Annotation and Retrieval	p. 391
Prototype Prolog API for Mindstorms NXT	p. 393
VARDA Rule Design and Visualization Tool-Chain	p. 395
COSAIR: A Platform for AI Education and Research in Computer Strategy Games	p. 397
Research Center Ambient Intelligence: Assisted Bicycle Team Training	p. 399
Author Index	p. 403