Screen LibraryKI 2013: advances in artificial intelligence : 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013 : proceedings /
This book constitutes the refereed proceedings of the 35th Annual German Conference on Artificial Intelligence, KI 2013, held in Koblenz, Germany, in September 2013. The 24 revised full papers presented together with 8 short papers were carefully reviewed and selected from 70 submissions. The papers...
Saved in:
| Corporate Authors: | ; |
|---|---|
| Group Author: | ; |
| Published: |
Springer,
|
| Publisher Address: | Heidelberg : |
| Publication Dates: | [2013] |
| Literature type: | eBook |
| Language: | English |
| Series: |
Lecture notes in computer science. Lecture notes in artificial intelligence,
8077 LNCS sublibrary. SL 7, Artificial intelligence |
| Subjects: | |
| Online Access: |
http://dx.doi.org/10.1007/978-3-642-40942-4 |
| Summary: |
This book constitutes the refereed proceedings of the 35th Annual German Conference on Artificial Intelligence, KI 2013, held in Koblenz, Germany, in September 2013. The 24 revised full papers presented together with 8 short papers were carefully reviewed and selected from 70 submissions. The papers contain research results on theory and applications of all aspects of AI. |
| Carrier Form: | 1 online resource (xx, 313 pages) : illustrations. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: |
9783642409424 (electronic bk.) 3642409423 (electronic bk.) |
| Index Number: | Q334 |
| CLC: | TP18-532 |
| Contents: |
Using State-Based Planning Heuristics for Partial-Order Causal-Link Planning / Workflow Clustering Using Semantic Similarity Measures / Empathy and Its Modulation in a Virtual Human / Cognitive Workload of Humans Using Artificial Intelligence Systems: Towards Objective Measurement Applying Eye-Tracking Technology / Computing Role-Depth Bounded Generalizations in the Description Logic ELOR / Parallel Variable Elimination on CNF Formulas / Agent-Based Multimodal Transport Planning in Dynamic Environments / On GPU-Based Nearest Neighbor Queries for Large-Scale Photometric Catalogs in Astronomy / On Mutation Rate Tuning and Control for the (1+1)-EA / Variable Neighborhood Search for Continuous Monitoring Problem with Inter-Depot Routes / Advances in Accessing Big Data with Expressive Ontologies / Estimating the Driver's Workload / Pattern-Database Heuristics for Partially Observable Nondeterministic Planning / Automated Theorem Proving with Web Services / Local SVM Constraint Surrogate Models for Self-adaptive Evolution Strategies / Changes of Relational Probabilistic Belief States and Their Computation under Optimum Entropy Semantics / Translating Single-Player GDL into PDDL / Comparison of Sensor-Feedback Prediction Methods for Robust Behavior Execution / Ingredients and Recipe for a Robust Mobile Speech-Enabled Cooking Assistant for German / A Philosophical Foundation for Ontology Alignments - The Structuralistic Approach / Contraction Hierarchies on Grid Graphs / - Mastering Left and Right - Different Approaches to a Problem That Is Not Straight Forward / Move Prediction in Go - Modelling Feature Interactions Using Latent Factors / Algorithmic Debugging for Intelligent Tutoring: How to Use Multiple Models and Improve Diagnosis / Combining Conditional Random Fields and Background Knowledge for Improved Cyber Security / Adapting a Virtual Agent's Conversational Behavior by Social Strategies / Encoding HTN Heuristics in PDDL Planning Instances / Towards Benchmarking Cyber-Physical Systems in Factory Automation Scenarios / Syntactic Similarity for Ranking Database Answers Obtained by Anti-Instantiation / Towards the Intelligent Home: Using Reinforcement-Learning for Optimal Heating Control / A Prolog-Based Tutor for Multi-column Subtraction with Multiple Algorithms Support / |