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

• 2006
• 
  Salvador Abreu, Vítor Nogueira:
  Towards Structured Contexts and Modules. ICLP 2006: 436-438
• 
  Dulce Aguilar-Solis:
  Learning Semantic Parsers: A Constraint Handling Rule Approach. ICLP 2006: 447-448
• 
  Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo:
  Reduced Certificates for Abstraction-Carrying Code. ICLP 2006: 163-178
• 
  Sergio Antoy, Michael Hanus:
  Overlapping Rules and Logic Variables in Functional Logic Programs . ICLP 2006: 87-101
• 
  Chitta Baral, Juraj Dzifcak, Hiro Takahashi:
  Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming. ICLP 2006: 376-390
• 
  Martin Brain:
  Declarative Problem Solving Using Answer Set Semantics. ICLP 2006: 459-460
• 
  Martin Brain, Tom Crick, Marina De Vos, John P. Fitch:
  TOAST: Applying Answer Set Programming to Superoptimisation. ICLP 2006: 270-284
• 
  Sebastian Brand, Roland H. C. Yap:
  Towards "Propagation = Logic + Control". ICLP 2006: 102-116
• 
  Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde:
  Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. ICLP 2006: 346-360
• 
  Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda:
  Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. ICLP 2006: 421-422
• 
  Luciano Caroprese, Sergio Greco, Cristina Sirangelo, Ester Zumpano:
  Declarative Semantics of Production Rules for Integrity Maintenance. ICLP 2006: 26-40
• 
  James Cheney:
  The Semantics of Nominal Logic Programs. ICLP 2006: 361-375
• 
  Verónica Dahl, Baohua Gu:
  Semantic Property Grammars for Knowledge Extraction from Biomedical Text. ICLP 2006: 442-443
• 
  Thi-Bich-Hanh Dao, Khalil Djelloul:
  Solving First-Order Constraints in the Theory of the Evaluated Trees. ICLP 2006: 423-424
• 
  Gregory J. Duck, Peter J. Stuckey, Sebastian Brand:
  ACD Term Rewriting. ICLP 2006: 117-131
• 
  Maarten H. van Emden:
  Compositional Semantics for the Procedural Interpretation of Logic. ICLP 2006: 315-329
• 
  Martin Gebser, Torsten Schaub:
  Tableau Calculi for Answer Set Programming. ICLP 2006: 11-25
• 
  Susanne Grell, Torsten Schaub, Joachim Selbig:
  Modelling Biological Networks by Action Languages Via Answer Set Programming. ICLP 2006: 285-299
• 
  Hai-Feng Guo, Miao Liu, Bharat Jayaraman:
  Relaxation on Optimization Predicates. ICLP 2006: 425-426
• 
  Rémy Haemmerlé, François Fages:
  Modules for Prolog Revisited. ICLP 2006: 41-55
• 
  Katsumi Inoue, Chiaki Sakama:
  Generality Relations in Answer Set Programming. ICLP 2006: 211-225
• 
  Andy King, Lunjin Lu, Samir Genaim:
  Detecting Determinacy in Prolog Programs. ICLP 2006: 132-147
• 
  Monica S. Lam:
  Why Use Datalog to Analyze Programs? ICLP 2006: 1
• 
  Xuan Li, Andy King, Lunjin Lu:
  Collapsing Closures. ICLP 2006: 148-162
• 
  Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia:
  A Declarative Framework for Security: Secure Concurrent Constraint Programming. ICLP 2006: 449-450
• 
  Gergely Lukácsy:
  Description Logic Reasoning in Prolog. ICLP 2006: 463-464
• 
  Andrei Mantsivoda, Vladimir Lipovchenko, Anton Malykh:
  Logic Programming in Knowledge Domains. ICLP 2006: 451-452
• 
  Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo:
  Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. ICLP 2006: 431-432
• 
  Paulo Moura, Vincent Marchetti:
  Logtalk Processing of STEP Part 21 Files. ICLP 2006: 453-454
• 
  Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir:
  Cooperating Answer Set Programming. ICLP 2006: 226-241

skipping 25 more matches