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

• 2024
• 
  Chang Liu, Laura Klein, Yixing Huang, Edith Baader, Michael Lell, Marc Kachelrieß, Andreas K. Maier:
  Two-View Topogram-Based Anatomy-Guided CT Reconstruction for Prospective Risk Minimization. CoRR abs/2401.12725 (2024)
• 2019
• 
  Franz Baader, Andreas Ecke, Gabriele Kern-Isberner, Marco Wilhelm:
  The Complexity of the Consistency Problem in the Probabilistic Description Logic 𝓐ℒ𝒞^ME. FroCos 2019: 167-184
• 
  Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke, Franz Baader:
  Counting Strategies for the Probabilistic Description Logic 𝓐ℒ𝒞^ME Under the Principle of Maximum Entropy. JELIA 2019: 434-449
• 2017
• 
  Franz Baader, Andreas Ecke:
  Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts. GCAI 2017: 6-19
• 2016
• 
  Franz Baader, Andreas Ecke:
  Reasoning with Prototypes in the Description Logic ALC ALC Using Weighted Tree Automata. LATA 2016: 63-75
• 2009
• 
  Franz Baader, Andreas Bauer, Marcel Lippmann:
  Runtime Verification Using a Temporal Description Logic. FroCoS 2009: 149-164
• 
  Franz Baader, Andreas Bauer, Alwen Tiu:
  Matching Trace Patterns with Regular Policies. LATA 2009: 105-116
• 
  Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter:
  A Novel Architecture for Situation Awareness Systems. TABLEAUX 2009: 77-92
• 2008
• 
  Franz Baader, Andreas Bauer, Alwen Tiu:
  Matching linear and non-linear trace patterns with regular policies. UNIF 2008: 16-24
• 1995
• 
  Andreas Baader:
  Ein Umwelterfassungssystem für multisensorielle Montageroboter. Bundeswehr University Munich, Germany, VDI-Verlag 1995, ISBN 978-3-18-348608-3, pp. 1-144
• 
  Andreas Baader, Gerhard Hirzinger:
  World modeling for a sensor-in-hand robot arm. IROS (2) 1995: 110-115
• 1994
• 
  Andreas Baader, Gerd Hirzinger:
  A self-organizing algorithm for multisensory surface reconstruction. IROS 1994: 81-88