KI 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...
| Corporate Authors: | German Conference on Artificial Intelligence Koblenz, Germany) |
|---|---|
| Other Authors: | German Conference on Artificial Intelligence, Timm, Ingo J.,, Thimm, Matthias,, SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Heidelberg :
Springer,
[2013]
|
| Physical Description: |
1 online resource (xx, 313 pages) : illustrations. |
| Series: |
Lecture notes in computer science ;
8077. Lecture notes in computer science. Lecture notes in artificial intelligence. LNCS sublibrary. Artificial intelligence. |
| Subjects: |
| 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. |
|---|---|
| Item Description: |
Using State-Based Planning Heuristics for Partial-Order Causal-Link Planning / Pascal Bercher, Thomas Geier -- Workflow Clustering Using Semantic Similarity Measures / Ralph Bergmann, Gilbert Müller -- Empathy and Its Modulation in a Virtual Human / Hana Boukricha, Ipke Wachsmuth -- Cognitive Workload of Humans Using Artificial Intelligence Systems: Towards Objective Measurement Applying Eye-Tracking Technology / Ricardo Buettner -- Computing Role-Depth Bounded Generalizations in the Description Logic ELOR / Andreas Ecke, Rafael Peñaloza -- Parallel Variable Elimination on CNF Formulas / Kilian Gebhardt, Norbert Manthey -- Agent-Based Multimodal Transport Planning in Dynamic Environments / Christoph Greulich, Stefan Edelkamp -- On GPU-Based Nearest Neighbor Queries for Large-Scale Photometric Catalogs in Astronomy / Justin Heinermann, Oliver Kramer. On Mutation Rate Tuning and Control for the (1+1)-EA / Oliver Kramer -- Variable Neighborhood Search for Continuous Monitoring Problem with Inter-Depot Routes / Vera Mersheeva, Gerhard Friedrich -- Advances in Accessing Big Data with Expressive Ontologies / Ralf Möller, Christian Neuenstadt -- Estimating the Driver's Workload / Christina Ohm, Bernd Ludwig -- Pattern-Database Heuristics for Partially Observable Nondeterministic Planning / Manuela Ortlieb, Robert Mattmüller -- Automated Theorem Proving with Web Services / Björn Pelzer -- Local SVM Constraint Surrogate Models for Self-adaptive Evolution Strategies / Jendrik Poloczek, Oliver Kramer -- Changes of Relational Probabilistic Belief States and Their Computation under Optimum Entropy Semantics / Nico Potyka, Christoph Beierle -- Translating Single-Player GDL into PDDL / Thorsten Rauber, Peter Kissmann. Comparison of Sensor-Feedback Prediction Methods for Robust Behavior Execution / Christian Rauch, Elmar Berghöfer, Tim Köhler -- Ingredients and Recipe for a Robust Mobile Speech-Enabled Cooking Assistant for German / Ulrich Schäfer, Frederik Arnold -- A Philosophical Foundation for Ontology Alignments -- The Structuralistic Approach / Christian Schäufler, Clemens Beckstein -- Contraction Hierarchies on Grid Graphs / Sabine Storandt -- -- Mastering Left and Right -- Different Approaches to a Problem That Is Not Straight Forward / André van Delden, Till Mossakowski -- Move Prediction in Go -- Modelling Feature Interactions Using Latent Factors / Martin Wistuba, Lars Schmidt-Thieme -- Algorithmic Debugging for Intelligent Tutoring: How to Use Multiple Models and Improve Diagnosis / Claus Zinn. Combining Conditional Random Fields and Background Knowledge for Improved Cyber Security / Carsten Elfers, Stefan Edelkamp -- Adapting a Virtual Agent's Conversational Behavior by Social Strategies / Nikita Mattar, Ipke Wachsmuth -- Encoding HTN Heuristics in PDDL Planning Instances / Christoph Mies, Joachim Hertzberg -- Towards Benchmarking Cyber-Physical Systems in Factory Automation Scenarios / Tim Niemueller, Daniel Ewert -- Syntactic Similarity for Ranking Database Answers Obtained by Anti-Instantiation / Lena Wiese -- Towards the Intelligent Home: Using Reinforcement-Learning for Optimal Heating Control / Alexander Zenger, Jochen Schmidt -- A Prolog-Based Tutor for Multi-column Subtraction with Multiple Algorithms Support / Claus Zinn. Includes bibliographical references and index. 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. |
| Physical Description: |
1 online resource (xx, 313 pages) : illustrations. |
| Bibliography: |
Includes bibliographical references and index. |
| ISBN: |
9783642409424 3642409423 3642409415 9783642409417 |
| ISSN: |
0302-9743 ; |