default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID36. KI 2013: Koblenz, Germany
- Ingo J. Timm, Matthias Thimm:
KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings. Lecture Notes in Computer Science 8077, Springer 2013, ISBN 978-3-642-40941-7 - Pascal Bercher
, Thomas Geier, Susanne Biundo:
Using State-Based Planning Heuristics for Partial-Order Causal-Link Planning. 1-12 - Ralph Bergmann, Gilbert Müller, Daniel Wittkowsky:
Workflow Clustering Using Semantic Similarity Measures. 13-24 - Hana Boukricha, Ipke Wachsmuth, Maria Nella Carminati, Pia Knoeferle:
Empathy and Its Modulation in a Virtual Human. 25-36 - Ricardo Buettner:
Cognitive Workload of Humans Using Artificial Intelligence Systems: Towards Objective Measurement Applying Eye-Tracking Technology. 37-48 - Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan:
Computing Role-Depth Bounded Generalizations in the Description Logic. 49-60 - Kilian Gebhardt, Norbert Manthey:
Parallel Variable Elimination on CNF Formulas. 61-73 - Christoph Greulich, Stefan Edelkamp, Max Gath:
Agent-Based Multimodal Transport Planning in Dynamic Environments. 74-85 - Justin Heinermann, Oliver Kramer, Kai Lars Polsterer, Fabian Gieseke:
On GPU-Based Nearest Neighbor Queries for Large-Scale Photometric Catalogs in Astronomy. 86-97 - Oliver Kramer:
On Mutation Rate Tuning and Control for the (1+1)-EA. 98-105 - Vera Mersheeva, Gerhard Friedrich:
Variable Neighborhood Search for Continuous Monitoring Problem with Inter-Depot Routes. 106-117 - Ralf Möller, Christian Neuenstadt, Özgür L. Özçep, Sebastian Wandelt:
Advances in Accessing Big Data with Expressive Ontologies. 118-129 - Christina Ohm, Bernd Ludwig:
Estimating the Driver's Workload - Using Smartphone Data to Adapt In-Vehicle Information Systems. 130-139 - Manuela Ortlieb, Robert Mattmüller:
Pattern-Database Heuristics for Partially Observable Nondeterministic Planning. 140-151 - Björn Pelzer:
Automated Theorem Proving with Web Services. 152-163 - Jendrik Poloczek, Oliver Kramer:
Local SVM Constraint Surrogate Models for Self-adaptive Evolution Strategies. 164-175 - Nico Potyka, Christoph Beierle, Gabriele Kern-Isberner:
Changes of Relational Probabilistic Belief States and Their Computation under Optimum Entropy Semantics. 176-187 - Thorsten Rauber, Peter Kissmann, Jörg Hoffmann:
Translating Single-Player GDL into PDDL. 188-199 - Christian Rauch, Elmar Berghöfer, Tim Köhler, Frank Kirchner:
Comparison of Sensor-Feedback Prediction Methods for Robust Behavior Execution. 200-211 - Ulrich Schäfer, Frederik Arnold, Simon Ostermann, Saskia Reifers:
Ingredients and Recipe for a Robust Mobile Speech-Enabled Cooking Assistant for German. 212-223 - Christian Schäufler, Clemens Beckstein, Stefan Artmann:
A Philosophical Foundation for Ontology Alignments - The Structuralistic Approach. 224-235 - Sabine Storandt:
Contraction Hierarchies on Grid Graphs. 236-247 - André van Delden, Till Mossakowski:
- Mastering Left and Right - Different Approaches to a Problem That Is Not Straight Forward. 248-259 - Martin Wistuba, Lars Schmidt-Thieme:
Move Prediction in Go - Modelling Feature Interactions Using Latent Factors. 260-271 - Claus Zinn:
Algorithmic Debugging for Intelligent Tutoring: How to Use Multiple Models and Improve Diagnosis. 272-283 - Carsten Elfers, Stefan Edelkamp, Hartmut Messerschmidt:
Combining Conditional Random Fields and Background Knowledge for Improved Cyber Security. 284-287 - Nikita Mattar, Ipke Wachsmuth:
Adapting a Virtual Agent's Conversational Behavior by Social Strategies. 288-291 - Christoph Mies, Joachim Hertzberg:
Encoding HTN Heuristics in PDDL Planning Instances - (Extended Abstract). 292-295 - Tim Niemueller, Daniel Ewert, Sebastian Reuter, Ulrich Karras, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer:
Towards Benchmarking Cyber-Physical Systems in Factory Automation Scenarios. 296-299 - Lena Wiese:
Syntactic Similarity for Ranking Database Answers Obtained by Anti-Instantiation. 300-303 - Alexander Zenger, Jochen Schmidt, Michael Krödel:
Towards the Intelligent Home: Using Reinforcement-Learning for Optimal Heating Control. 304-307 - Claus Zinn:
A Prolog-Based Tutor for Multi-column Subtraction with Multiple Algorithms Support - (Software Demonstration). 308-311
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-28 22:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
