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

• 2018
• 
  Dietmar Seipel, Michael Hanus, Salvador Abreu:
  Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10997, Springer 2018, ISBN 978-3-030-00800-0 [contents]
• 2017
• 
  Martin Atzmueller:
  Declarative Aspects in Explicative Data Mining for Computational Sensemaking. DECLARE 2017: 97-114
• 
  Jan C. Dageförde, Herbert Kuchen:
  An Operational Semantics for Constraint-Logic Imperative Programming. DECLARE 2017: 64-80
• 
  Min Fang, Hans Tompits:
  An Approach for Representing Answer Sets in Natural Language. DECLARE 2017: 115-131
• 
  Thom W. Frühwirth:
  Implementation of Logical Retraction in Constraint Handling Rules with Justifications. DECLARE 2017: 37-52
• 
  Jinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan:
  Run-Time Analysis of Temporal Constrained Objects. DECLARE 2017: 20-36
• 
  Philipp Körner, Sebastian Krings:
  plspec - A Specification Language for Prolog Data. DECLARE 2017: 198-213
• 
  Lorenz Leutgeb, Antonius Weinzierl:
  Techniques for Efficient Lazy-Grounding ASP Solving. DECLARE 2017: 132-148
• 
  Ke Liu, Sven Löffler, Petra Hofstedt:
  Hypertree Decomposition: The First Step Towards Parallel Constraint Solving. DECLARE 2017: 81-94
• 
  Falco Nogatz, Jona Kalkus:
  Declarative XML Schema Validation with SWI-Prolog - System Description. DECLARE 2017: 187-197
• 
  Pedro Roque, Vasco Pedro:
  Constraint Solving on Hybrid Systems. DECLARE 2017: 3-19
• 
  Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz:
  The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters. DECLARE 2017: 149-165
• 
  Jan Rasmus Tikovsky:
  Concolic Testing of Functional Logic Programs. DECLARE 2017: 169-186
• 
  Armin Wolf:
  The Proportional Constraint and Its Pruning. DECLARE 2017: 53-63