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

• 2002
• 
  Nicos Angelopoulos:
  Probabilistic Finite Domains: A Brief Overview. ICLP 2002: 475
• 
  Grigoris Antoniou, Michael J. Maher:
  Embedding Defeasible Logic into Logic Programs. ICLP 2002: 393-404
• 
  Steve Barker:
  Access Control for Deductive Databases by Logic Programming. ICLP 2002: 54-69
• 
  Tamás Benkö, Péter Krauth, Péter Szeredi:
  A Logic-Based System for Application Integration. ICLP 2002: 452-466
• 
  Alexander Bockmayr, Arnaud Courtois:
  Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems. ICLP 2002: 85-99
• 
  Bernard Boigelot, Pierre Wolper:
  Representing Arithmetic Constraints with Finite Automata: An Overview. ICLP 2002: 1-19
• 
  Piero A. Bonatti:
  Reasoning with Infinite Stable Models II: Disjunctive Programs. ICLP 2002: 333-346
• 
  Paola Bruscoli:
  A Purely Logical Account of Sequentiality in Proof Search. ICLP 2002: 302-316
• 
  François Bry, Sebastian Schaffert:
  Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. ICLP 2002: 255-270
• 
  Pedro Cabalar:
  A Rewriting Method for Well-Founded Semantics with Explicit Negation. ICLP 2002: 378-392
• 
  Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski:
  Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP. ICLP 2002: 115-129
• 
  Henrik Bærbak Christensen:
  Using Logic Programming to Detect Activities in Pervasive Healthcare. ICLP 2002: 421-436
• 
  Henning Christiansen:
  Logical Grammars Based on Constraint Handling Rules. ICLP 2002: 481
• 
  Emmanuel Coquery, François Fages:
  TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP. ICLP 2002: 480
• 
  Sorin Craciunescu:
  Proving the Equivalence of CLP Programs. ICLP 2002: 287-301
• 
  Stefan Decker:
  Logic Databases on the Semantic Web: Challenges and Opportunities. ICLP 2002: 20-21
• 
  Bart Demoen:
  A Different Look at Garbage Collection for the WAM. ICLP 2002: 179-193
• 
  Bart Demoen, Phuong-Lan Nguyen, Ruben Vandeginste:
  Copying Garbage Collection for the WAM: To Mark or Not to Mark? ICLP 2002: 194-208
• 
  Yannis Dimopoulos, Andreas Sideris:
  Towards Local Search for Answer Sets. ICLP 2002: 363-377
• 
  Mireille Ducassé, Ludovic Langevine:
  Automated Analysis of CLP(FD) Program Execution Traces. ICLP 2002: 470-471
• 
  Gérard Ferrand, Arnaud Lallouet:
  A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs. ICLP 2002: 478-479
• 
  Harald Ganzinger, David A. McAllester:
  Logical Algorithms. ICLP 2002: 209-223
• 
  Hisashi Hayashi, Kenta Cho, Akihiko Ohsuga:
  Integrating Planning, Action Execution, Knowledge Updates and Plan Modifications via Logic Programming. ICLP 2002: 477
• 
  Katsumi Inoue, Chiaki Sakama:
  Disjunctive Explanations. ICLP 2002: 317-332
• 
  Hasan M. Jamil, Gillian Dobbie:
  A Model Theoretic Semantics for Multi-level Secure Deductive Databases. ICLP 2002: 130-147
• 
  Kung-Kiu Lau, Michel Vanden Bossche:
  Logic Programming for Software Engineering: A Second Chance. ICLP 2002: 437-451
• 
  Zbigniew Lonc, Miroslaw Truszczynski:
  Computing Stable Models: Worst-Case Performance Estimates. ICLP 2002: 347-362
• 
  Yann Loyer, Umberto Straccia:
  Non-uniform Hypothesis in Deductive Databases with Uncertainty. ICLP 2002: 473-474
• 
  Shilong Ma, Yuefei Sui, Ke Xu:
  The Limits of Horn Logic Programs. ICLP 2002: 467
• 
  Michael J. Maher:
  Propagation Completeness of Reactive Constraints. ICLP 2002: 148-162

skipping 15 more matches