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

• 2019
• 
  Peter Baumgartner, Uwe Waldmann:
  Hierarchic Superposition Revisited. Description Logic, Theory Combination, and All That 2019: 15-56
• 
  Maria Paola Bonacina, Pascal Fontaine, Christophe Ringeissen, Cesare Tinelli:
  Theory Combination: Beyond Equality Sharing. Description Logic, Theory Combination, and All That 2019: 57-89
• 
  Alexander Borgida:
  Initial Steps Towards a Family of Regular-Like Plan Description Logics. Description Logic, Theory Combination, and All That 2019: 90-109
• 
  Loris Bozzato, Thomas Eiter, Luciano Serafini:
  Reasoning with Justifiable Exceptions in Eℒ_\bot Contextualized Knowledge Repositories. Description Logic, Theory Combination, and All That 2019: 110-134
• 
  Gerhard Brewka, Markus Ulbricht:
  Strong Explanations for Nonmonotonic Reasoning. Description Logic, Theory Combination, and All That 2019: 135-146
• 
  Katarina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
  A KLM Perspective on Defeasible Reasoning for Description Logics. Description Logic, Theory Combination, and All That 2019: 147-173
• 
  Pedro Cabalar, Torsten Schaub:
  Temporal Logic Programs with Temporal Description Logic Axioms. Description Logic, Theory Combination, and All That 2019: 174-186
• 
  Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
  From Model Completeness to Verification of Data Aware Processes. Description Logic, Theory Combination, and All That 2019: 212-239
• 
  Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
  The What-To-Ask Problem for Ontology-Based Peers. Description Logic, Theory Combination, and All That 2019: 187-211
• 
  Jens Claßen, Gerhard Lakemeyer, Benjamin Zarrieß:
  Situation Calculus Meets Description Logics. Description Logic, Theory Combination, and All That 2019: 240-265
• 
  David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks:
  15 Years of Consequence-Based Reasoning. Description Logic, Theory Combination, and All That 2019: 573-587
• 
  Katrin M. Dannert, Erich Grädel:
  Provenance Analysis: A Perspective for Description Logics? Description Logic, Theory Combination, and All That 2019: 266-285
• 
  Marcelo Finger:
  Extending $$\mathscr {E\!L}{++}$$ with Linear Constraints on the Probability of Axioms. Description Logic, Theory Combination, and All That 2019: 286-300
• 
  Enrico Franconi, Volha Kerhet:
  Effective Query Answering with Ontologies and DBoxes. Description Logic, Theory Combination, and All That 2019: 301-328
• 
  Olga Gerasimova, Stanislav Kikot, Michael Zakharyaschev:
  Checking the Data Complexity of Ontology-Mediated Queries: A Case Study with Non-uniform CSPs and Polyanna. Description Logic, Theory Combination, and All That 2019: 329-351
• 
  Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Claude Sammut, Michael Thielscher:
  Perceptual Context in Cognitive Hierarchies. Description Logic, Theory Combination, and All That 2019: 352-366
• 
  Steffen Hölldobler:
  Do Humans Reason with E -Matchers? Description Logic, Theory Combination, and All That 2019: 367-384
• 
  Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter:
  A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction. Description Logic, Theory Combination, and All That 2019: 1-14
• 
  Vinícius Bitencourt Matos, Ricardo Guimarães, Yuri David Santos, Renata Wassermann:
  Pseudo-contractions as Gentle Repairs. Description Logic, Theory Combination, and All That 2019: 385-403
• 
  Stephanie McIntyre, David Toman, Grant E. Weddell:
  FunDL - A Family of Feature-Based Description Logics, with Applications in Querying Structured Data Sources. Description Logic, Theory Combination, and All That 2019: 404-430
• 
  Bernhard Nebel:
  Some Thoughts on Forward Induction in Multi-Agent-Path Finding Under Destination Uncertainty. Description Logic, Theory Combination, and All That 2019: 431-440
• 
  Ana Ozaki, Markus Krötzsch, Sebastian Rudolph:
  Temporally Attributed Description Logics. Description Logic, Theory Combination, and All That 2019: 441-474
• 
  Özgür Lütfü Özçep, Ralf Möller:
  On Bounded-Memory Stream Data Processing with Description Logics. Description Logic, Theory Combination, and All That 2019: 639-660
• 
  Rafael Peñaloza:
  Explaining Axiom Pinpointing. Description Logic, Theory Combination, and All That 2019: 475-496
• 
  Veena Ravishankar, Kimberly A. Cornell, Paliath Narendran:
  Asymmetric Unification and Disunification. Description Logic, Theory Combination, and All That 2019: 497-522
• 
  Christophe Ringeissen:
  Building and Combining Matching Algorithms. Description Logic, Theory Combination, and All That 2019: 523-541
• 
  "Johann" Sebastian Rudolph:
  Presburger Concept Cardinality Constraints in Very Expressive Description Logics - Allegro sexagenarioso ma non ritardando. Description Logic, Theory Combination, and All That 2019: 542-561
• 
  Manfred Schmidt-Schauß:
  A Note on Unification, Subsumption and Unification Type. Description Logic, Theory Combination, and All That 2019: 562-572
• 
  Marco Wilhelm, Gabriele Kern-Isberner:
  Maximum Entropy Calculations for the Probabilistic Description Logic $$\mathcal {ALC}{\mathsf{ME}}$$. Description Logic, Theory Combination, and All That 2019: 588-609
• 
  Yoni Zohar, Dmitry Tishkovsky, Renate A. Schmidt, Anna Zamansky:
  Automating Automated Reasoning - The Case of Two Generic Automated Reasoning Tools. Description Logic, Theory Combination, and All That 2019: 610-638

skipping 1 more match