Ebook: KI 2008: Advances in Artificial Intelligence: 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings

This book constitutes the thoroughly refereed proceedings of the 31th Annual German Conference on Artificial Intelligence, KI 2008, held in Kaiserslautern, Germany, September 2008.

The 15 revised full papers presented together with 2 invited contributions and 30 posters were carefully reviewed and selected from 77 submissions. The papers cover important areas such as pattern recognition, multi-agent systems, machine learning, natural language processing, constraint reasoning, knowledge representation and management, planning, and temporal reasoning.

---

This book constitutes the thoroughly refereed proceedings of the 31th Annual German Conference on Artificial Intelligence, KI 2008, held in Kaiserslautern, Germany, September 2008.

The 15 revised full papers presented together with 2 invited contributions and 30 posters were carefully reviewed and selected from 77 submissions. The papers cover important areas such as pattern recognition, multi-agent systems, machine learning, natural language processing, constraint reasoning, knowledge representation and management, planning, and temporal reasoning.

---

This book constitutes the thoroughly refereed proceedings of the 31th Annual German Conference on Artificial Intelligence, KI 2008, held in Kaiserslautern, Germany, September 2008.

The 15 revised full papers presented together with 2 invited contributions and 30 posters were carefully reviewed and selected from 77 submissions. The papers cover important areas such as pattern recognition, multi-agent systems, machine learning, natural language processing, constraint reasoning, knowledge representation and management, planning, and temporal reasoning.

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

---

This book constitutes the thoroughly refereed proceedings of the 31th Annual German Conference on Artificial Intelligence, KI 2008, held in Kaiserslautern, Germany, September 2008.

The 15 revised full papers presented together with 2 invited contributions and 30 posters were carefully reviewed and selected from 77 submissions. The papers cover important areas such as pattern recognition, multi-agent systems, machine learning, natural language processing, constraint reasoning, knowledge representation and management, planning, and temporal reasoning.

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