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

• 2005
• 
  Slim Abdennadher, Thom W. Frühwirth, Christian Holzbaur:
  Introduction to the Special Issue on Constraint Handling Rules. Theory Pract. Log. Program. 5(4-5): 401-402 (2005)
• 
  Slim Abdennadher, Christophe Rigotti:
  Automatic generation of CHR constraint solvers. Theory Pract. Log. Program. 5(4-5): 403-418 (2005)
• 
  Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano:
  A CHR-based implementation of known arc-consistency. Theory Pract. Log. Program. 5(4-5): 419-440 (2005)
• 
  María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal:
  Specialization of functional logic programs based on needed narrowing. Theory Pract. Log. Program. 5(3): 273-303 (2005)
• 
  Roberto Bagnara, Enea Zaffanella, Patricia M. Hill:
  Enhanced sharing analysis techniques: a comprehensive evaluation. Theory Pract. Log. Program. 5(1-2): 1-43 (2005)
• 
  Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen:
  Checking modes of HAL programs. Theory Pract. Log. Program. 5(6): 623-668 (2005)
• 
  Omid Banyasad, Philip T. Cox:
  Integrating design synthesis and assembly of structured objects in a visual design language. Theory Pract. Log. Program. 5(6): 601-622 (2005)
• 
  Florence Benoy, Andy King, Frédéric Mesnard:
  Computing convex hulls with a linear solver. Theory Pract. Log. Program. 5(1-2): 259-271 (2005)
• 
  Sebastian Brand, Krzysztof R. Apt:
  Schedulers and redundancy for a class of constraint propagation rules. Theory Pract. Log. Program. 5(4-5): 441-465 (2005)
• 
  Henning Christiansen:
  CHR grammars. Theory Pract. Log. Program. 5(4-5): 467-501 (2005)
• 
  Stefania Costantini, Alessandro Provetti:
  Normal forms for answer sets programming. Theory Pract. Log. Program. 5(6): 747-760 (2005)
• 
  Bart Demoen:
  Book review: Programming in Prolog. Using the ISO Standard by William F. Clocksin , Christopher S. Mellish, Springer-Verlag, 2003, ISBN 3-540-00678-8. Theory Pract. Log. Program. 5(3): 391-395 (2005)
• 
  Nachum Dershowitz:
  Book review: Term Rewriting Systems by "Terese" (Marc Bezem, Jan Willem Klop, and Roel de Vrijer, eds.), Cambridge University Press, Cambridge Tracts in Theoretical Computer Science 55, 2003, hard cover: ISBN 0-521-39115-6. Theory Pract. Log. Program. 5(3): 395-399 (2005)
• 
  Yves Deville:
  Book review: Concepts, Techniques, and Models of Computer Programming by Peter Van Roy, Seif Haridi, MIT Press, 2004, ISBN 0-262-22069-5. Theory Pract. Log. Program. 5(4-5): 595-600 (2005)
• 
  Wlodzimierz Drabent, Miroslawa Milkowska:
  Proving correctness and completeness of normal programs - a declarative approach. Theory Pract. Log. Program. 5(6): 669-711 (2005)
• 
  Paolo Ferraris, Vladimir Lifschitz:
  Weight constraints as nested expressions. Theory Pract. Log. Program. 5(1-2): 45-74 (2005)
• 
  Samir Genaim, Michael Codish:
  Inferring Termination Conditions for Logic Programs using Backwards Analysis. Theory Pract. Log. Program. 5(1-2): 75-91 (2005)
• 
  Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano:
  Optimization of bound disjunctive queries with constraints. Theory Pract. Log. Program. 5(6): 713-745 (2005)
• 
  Pascal Hitzler, Matthias Wendt:
  A uniform approach to logic programming semantics. Theory Pract. Log. Program. 5(1-2): 93-121 (2005)
• 
  Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck:
  Optimizing compilation of constraint handling rules in HAL. Theory Pract. Log. Program. 5(4-5): 503-531 (2005)
• 
  Frédéric Mesnard, Roberto Bagnara:
  cTI: A constraint-based termination inference tool for ISO-Prolog. Theory Pract. Log. Program. 5(1-2): 243-257 (2005)
• 
  Gopalan Nadathur:
  A treatment of higher-order features in logic programming. Theory Pract. Log. Program. 5(3): 305-354 (2005)
• 
  Simona Perri, Francesco Scarcello, Nicola Leone:
  Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. Theory Pract. Log. Program. 5(1-2): 123-159 (2005)
• 
  Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa:
  On Applying Or-Parallelism and Tabling to Logic Programs. Theory Pract. Log. Program. 5(1-2): 161-205 (2005)
• 
  Ralf Schweimeier, Michael Schroeder:
  A Parameterised Hierarchy of Argumentation Semantics for Extended Logic Programming and its Application to the Well-founded Semantics. Theory Pract. Log. Program. 5(1-2): 207-242 (2005)
• 
  Alexander Serebrenik, Danny De Schreye:
  On termination of meta-programs. Theory Pract. Log. Program. 5(3): 355-390 (2005)
• 
  Michael Thielscher:
  FLUX: A logic programming method for reasoning agents. Theory Pract. Log. Program. 5(4-5): 533-565 (2005)
• 
  Armin Wolf:
  Intelligent search strategies based on adaptive Constraint Handling Rules. Theory Pract. Log. Program. 5(4-5): 567-594 (2005)