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

• 2019
• 
  Ofer Arieli, Annemarie Borg, Jesse Heyninck:
  A review of the relations between logical argumentation and reasoning with maximal consistency. Ann. Math. Artif. Intell. 87(3): 187-226 (2019)
• 
  Morteza Ashraphijuo, Xiaodong Wang:
  Fundamental conditions on the sampling pattern for union of low-rank subspaces retrieval. Ann. Math. Artif. Intell. 87(4): 373-393 (2019)
• 
  Christoph Beierle, Steven Kutsch, Kai Sauerwald:
  Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations. Ann. Math. Artif. Intell. 87(1-2): 5-41 (2019)
• 
  Federico Bergenti, Stefania Monica:
  A subdivision algorithm to reason on high-degree polynomial constraints over finite domains. Ann. Math. Artif. Intell. 87(4): 343-360 (2019)
• 
  Joachim Biskup, Marcel Preuß:
  Checking inference-proofness of attribute-disjoint and duplicate-preserving fragmentations. Ann. Math. Artif. Intell. 87(1-2): 43-82 (2019)
• 
  Curtis Bright, Dragomir Z. Dokovic, Ilias S. Kotsireas, Vijay Ganesh:
  The SAT+CAS method for combinatorial search with applications to best matrices. Ann. Math. Artif. Intell. 87(4): 321-342 (2019)
• 
  Katarina Britz, Ivan Varzinczak:
  Contextual rational closure for defeasible ALC. Ann. Math. Artif. Intell. 87(1-2): 83-108 (2019)
• 
  John Cantwell, Hans Rott:
  Probability, coherent belief and coherent belief changes. Ann. Math. Artif. Intell. 87(3): 259-291 (2019)
• 
  Eduardo Fermé, Guillermo Ricardo Simari:
  Introduction to the special issue on belief revision, argumentation, ontologies, and norms. Ann. Math. Artif. Intell. 87(3): 185-186 (2019)
• 
  Flavio Ferrarotti, Stefan Woltran:
  Preface. Ann. Math. Artif. Intell. 87(1-2): 1-4 (2019)
• 
  Sebastián A. Grillo:
  A linear relation between input and first layer in neural networks. Ann. Math. Artif. Intell. 87(4): 361-372 (2019)
• 
  Paulo T. Guerra, Renata Wassermann:
  Two AGM-style characterizations of model repair. Ann. Math. Artif. Intell. 87(3): 233-257 (2019)
• 
  Sven Ove Hansson:
  Impossibility results for belief contraction. Ann. Math. Artif. Intell. 87(3): 227-232 (2019)
• 
  Jelle Hellings, Marc Gyssens, Dirk Van Gucht, Yuqing Wu:
  First-order definable counting-only queries. Ann. Math. Artif. Intell. 87(1-2): 109-136 (2019)
• 
  Xudong Liu, Miroslaw Truszczynski:
  Voting-based ensemble learning for partial lexicographic preference forests over combinatorial domains. Ann. Math. Artif. Intell. 87(1-2): 137-155 (2019)
• 
  Dmitry Yu. Maximov, Sergey E. Ryvkin:
  Multi-valued logic in graph transformation theory and self-adaptive systems. Ann. Math. Artif. Intell. 87(4): 395-408 (2019)
• 
  Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht:
  A framework for comparing query languages in their ability to express boolean queries. Ann. Math. Artif. Intell. 87(1-2): 157-184 (2019)
• 
  Juan Carlos Teze, Antoni Perello-Moragues, Lluís Godo, Pablo Noriega:
  Practical reasoning using values: an argumentative approach based on a hierarchy of values. Ann. Math. Artif. Intell. 87(3): 293-319 (2019)