• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 32 matches

• 2013
• 
  Pascal Bercher, Thomas Geier, Susanne Biundo:
  Using State-Based Planning Heuristics for Partial-Order Causal-Link Planning. KI 2013: 1-12
• 
  Ralph Bergmann, Gilbert Müller, Daniel Wittkowsky:
  Workflow Clustering Using Semantic Similarity Measures. KI 2013: 13-24
• 
  Hana Boukricha, Ipke Wachsmuth, Maria Nella Carminati, Pia Knoeferle:
  Empathy and Its Modulation in a Virtual Human. KI 2013: 25-36
• 
  Ricardo Buettner:
  Cognitive Workload of Humans Using Artificial Intelligence Systems: Towards Objective Measurement Applying Eye-Tracking Technology. KI 2013: 37-48
• 
  André van Delden, Till Mossakowski:
  - Mastering Left and Right - Different Approaches to a Problem That Is Not Straight Forward. KI 2013: 248-259
• 
  Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan:
  Computing Role-Depth Bounded Generalizations in the Description Logic. KI 2013: 49-60
• 
  Carsten Elfers, Stefan Edelkamp, Hartmut Messerschmidt:
  Combining Conditional Random Fields and Background Knowledge for Improved Cyber Security. KI 2013: 284-287
• 
  Kilian Gebhardt, Norbert Manthey:
  Parallel Variable Elimination on CNF Formulas. KI 2013: 61-73
• 
  Christoph Greulich, Stefan Edelkamp, Max Gath:
  Agent-Based Multimodal Transport Planning in Dynamic Environments. KI 2013: 74-85
• 
  Justin Heinermann, Oliver Kramer, Kai Lars Polsterer, Fabian Gieseke:
  On GPU-Based Nearest Neighbor Queries for Large-Scale Photometric Catalogs in Astronomy. KI 2013: 86-97
• 
  Oliver Kramer:
  On Mutation Rate Tuning and Control for the (1+1)-EA. KI 2013: 98-105
• 
  Nikita Mattar, Ipke Wachsmuth:
  Adapting a Virtual Agent's Conversational Behavior by Social Strategies. KI 2013: 288-291
• 
  Vera Mersheeva, Gerhard Friedrich:
  Variable Neighborhood Search for Continuous Monitoring Problem with Inter-Depot Routes. KI 2013: 106-117
• 
  Christoph Mies, Joachim Hertzberg:
  Encoding HTN Heuristics in PDDL Planning Instances - (Extended Abstract). KI 2013: 292-295
• 
  Ralf Möller, Christian Neuenstadt, Özgür L. Özçep, Sebastian Wandelt:
  Advances in Accessing Big Data with Expressive Ontologies. KI 2013: 118-129
• 
  Tim Niemueller, Daniel Ewert, Sebastian Reuter, Ulrich Karras, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer:
  Towards Benchmarking Cyber-Physical Systems in Factory Automation Scenarios. KI 2013: 296-299
• 
  Christina Ohm, Bernd Ludwig:
  Estimating the Driver's Workload - Using Smartphone Data to Adapt In-Vehicle Information Systems. KI 2013: 130-139
• 
  Manuela Ortlieb, Robert Mattmüller:
  Pattern-Database Heuristics for Partially Observable Nondeterministic Planning. KI 2013: 140-151
• 
  Björn Pelzer:
  Automated Theorem Proving with Web Services. KI 2013: 152-163
• 
  Jendrik Poloczek, Oliver Kramer:
  Local SVM Constraint Surrogate Models for Self-adaptive Evolution Strategies. KI 2013: 164-175
• 
  Nico Potyka, Christoph Beierle, Gabriele Kern-Isberner:
  Changes of Relational Probabilistic Belief States and Their Computation under Optimum Entropy Semantics. KI 2013: 176-187
• 
  Thorsten Rauber, Peter Kissmann, Jörg Hoffmann:
  Translating Single-Player GDL into PDDL. KI 2013: 188-199
• 
  Christian Rauch, Elmar Berghöfer, Tim Köhler, Frank Kirchner:
  Comparison of Sensor-Feedback Prediction Methods for Robust Behavior Execution. KI 2013: 200-211
• 
  Ulrich Schäfer, Frederik Arnold, Simon Ostermann, Saskia Reifers:
  Ingredients and Recipe for a Robust Mobile Speech-Enabled Cooking Assistant for German. KI 2013: 212-223
• 
  Christian Schäufler, Clemens Beckstein, Stefan Artmann:
  A Philosophical Foundation for Ontology Alignments - The Structuralistic Approach. KI 2013: 224-235
• 
  Sabine Storandt:
  Contraction Hierarchies on Grid Graphs. KI 2013: 236-247
• 
  Lena Wiese:
  Syntactic Similarity for Ranking Database Answers Obtained by Anti-Instantiation. KI 2013: 300-303
• 
  Martin Wistuba, Lars Schmidt-Thieme:
  Move Prediction in Go - Modelling Feature Interactions Using Latent Factors. KI 2013: 260-271
• 
  Alexander Zenger, Jochen Schmidt, Michael Krödel:
  Towards the Intelligent Home: Using Reinforcement-Learning for Optimal Heating Control. KI 2013: 304-307
• 
  Claus Zinn:
  Algorithmic Debugging for Intelligent Tutoring: How to Use Multiple Models and Improve Diagnosis. KI 2013: 272-283

skipping 2 more matches