• 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 36 matches

• 2001
• 
  George Anastassakis, Tim Ritchings, Themis Panayiotopoulos:
  Multi-agent Systems as Intelligent Virtual Environments. KI/ÖGAI 2001: 381-395
• 
  Liviu Badea, Doina Tilivea:
  Abductive Partial Order Planning with Dependent Fluents. KI/ÖGAI 2001: 63-77
• 
  Sean Bechhofer, Ian Horrocks, Carole A. Goble, Robert Stevens:
  OilEd: A Reason-able Ontology Editor for the Semantic Web. KI/ÖGAI 2001: 396-408
• 
  Thorsten Belker, Michael Beetz:
  Learning to Execute Navigation Plans. KI/ÖGAI 2001: 425-439
• 
  Maren Bennewitz, Wolfram Burgard, Sebastian Thrun:
  Constraint-Based Optimization of Priority Schemes for Decoupled Path Planning Techniques. KI/ÖGAI 2001: 78-93
• 
  Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge:
  Experiments with an Agent-Oriented Reasoning System. KI/ÖGAI 2001: 409-424
• 
  Alexander Bochman:
  Possible Worlds Semantics for Credulous and Contraction Inference. KI/ÖGAI 2001: 94-105
• 
  Mathias Broxvall:
  The Point Algebra for Branching Time Revisited. KI/ÖGAI 2001: 106-121
• 
  Stefan Brüning:
  Exploiting Conditional Equivalences in Connection Calculi. KI/ÖGAI 2001: 122-137
• 
  Anatoli Degtyarev, Michael Fisher:
  Towards First-Order Temporal Resolution. KI/ÖGAI 2001: 18-32
• 
  Deborah East, Miroslaw Truszczynski:
  Propositional Satisfiability in Answer-Set Programming. KI/ÖGAI 2001: 138-153
• 
  Stefan Edelkamp:
  Prediction of Regular Search Tree Growth by Spectral Analysis. KI/ÖGAI 2001: 154-168
• 
  Stefan Edelkamp, Ulrich Meyer:
  Theory and Practice of Time-Space Trade-Offs in Memory Limited Search. KI/ÖGAI 2001: 169-184
• 
  Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Stumptner, Markus Zanker:
  Hierarchical Diagnosis of Large Configurator Knowledge Bases. KI/ÖGAI 2001: 185-197
• 
  Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Zanker:
  Towards Distributed Configuration. KI/ÖGAI 2001: 198-212
• 
  Gerhard Fleischanderl:
  Constraints Applied to Configurations. KI/ÖGAI 2001: 455-458
• 
  Gerhard Fleischanderl, Thomas Havelka, Herwig Schreiner, Markus Stumptner, Franz Wotawa:
  DiKe - A Model-Based Diagnosis Kernel and Its Application. KI/ÖGAI 2001: 440-454
• 
  Henrik Grosskreutz, Gerhard Lakemeyer:
  Belief Update in the pGOLOG Framework. KI/ÖGAI 2001: 213-228
• 
  Falk Hüffner, Stefan Edelkamp, Henning Fernau, Rolf Niedermeier:
  Finding Optimal Solutions to Atomix. KI/ÖGAI 2001: 229-243
• 
  Gero Iwan:
  History-Based Diagnosis Templates in the Framework of the Situation Calculus. KI/ÖGAI 2001: 244-259
• 
  Wojciech Jamroga:
  A Defense Model for Games with Incomplete Information. KI/ÖGAI 2001: 260-274
• 
  Michael J. Kearns:
  Computational Game Theory and AI. KI/ÖGAI 2001: 1
• 
  Zeynep Kiziltan, Pierre Flener, Brahim Hnich:
  Towards Inferring Labelling Heuristics for CSP Application Domains. KI/ÖGAI 2001: 275-289
• 
  Jana Koehler:
  From Theory to Practice: AI Planning for High Performance Elevator Control. KI/ÖGAI 2001: 459-462
• 
  Ralf Küsters, Ralf Molitor:
  Approximating Most Specific Concepts in Description Logics with Existential Restrictions. KI/ÖGAI 2001: 33-47
• 
  Kai Lebeth:
  Semantic Networks in a Knowledge Management Portal. KI/ÖGAI 2001: 463-466
• 
  Yves Martin, Michael Thielscher:
  Addressing the Qualification Problem in FLUX. KI/ÖGAI 2001: 290-304
• 
  Fatma Ozcan, V. S. Subrahmanian, Leana Golubchik:
  Optimal Agent Selection. KI/ÖGAI 2001: 2-17
• 
  Thomas Ragg:
  Bayesian Learning and Evolutionary Parameter Optimization. KI/ÖGAI 2001: 48-62
• 
  Frank Schönherr, Mihaela Cistelecan, Joachim Hertzberg, Thomas Christaller:
  Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots. KI/ÖGAI 2001: 305-319

skipping 6 more matches