Theory and Practice of Logic Programming (TPLP), Volume 5

Volume 5, Number 1-2, January/March 2005

• Roberto Bagnara, Enea Zaffanella, Patricia M. Hill:
  Enhanced sharing analysis techniques: a comprehensive evaluation. 1-43
  
• Paolo Ferraris, Vladimir Lifschitz:
  Weight constraints as nested expressions. 45-74
  
• Samir Genaim, Michael Codish:
  Inferring Termination Conditions for Logic Programs using Backwards Analysis. 75-91
  
• Pascal Hitzler, Matthias Wendt:
  A uniform approach to logic programming semantics. 93-121
  
• Simona Perri, Francesco Scarcello, Nicola Leone:
  Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. 123-159
  
• Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa:
  On Applying Or-Parallelism and Tabling to Logic Programs. 161-205
  
• Ralf Schweimeier, Michael Schroeder:
  A Parameterised Hierarchy of Argumentation Semantics for Extended Logic Programming and its Application to the Well-founded Semantics. 207-242
  

• Frédéric Mesnard, Roberto Bagnara:
  cTI: A constraint-based termination inference tool for ISO-Prolog. 243-257
  

• Florence Benoy, Andy King, Frédéric Mesnard:
  Computing convex hulls with a linear solver. 259-271
  

Volume 5, Number 3, May 2005

• María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal:
  Specialization of functional logic programs based on needed narrowing. 273-303
  
• Gopalan Nadathur:
  A treatment of higher-order features in logic programming. 305-354
  
• Alexander Serebrenik, Danny De Schreye:
  On termination of meta-programs. 355-390
  

• 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. 391-395
  
• 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. 395-399
  

Volume 5, Number 4-5, July 2005

• Slim Abdennadher, Thom W. Frühwirth, Christian Holzbaur:
  Introduction to the Special Issue on Constraint Handling Rules. 401-402
  
• Slim Abdennadher, Christophe Rigotti:
  Automatic generation of CHR constraint solvers. 403-418
  
• Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano:
  A CHR-based implementation of known arc-consistency. 419-440
  
• Sebastian Brand:
  Schedulers and redundancy for a class of constraint propagation rules. 441-465
  
• Henning Christiansen:
  CHR grammars. 467-501
  
• Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck:
  Optimizing compilation of constraint handling rules in HAL. 503-531
  
• Michael Thielscher:
  FLUX: A logic programming method for reasoning agents. 533-565
  
• Armin Wolf:
  Intelligent search strategies based on adaptive Constraint Handling Rules. 567-594
  

• 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. 595-600
  

Volume 5, Number 6, November 2005

• Omid Banyasad, Philip T. Cox:
  Integrating design synthesis and assembly of structured objects in a visual design language. 601-622
  
• Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen:
  Checking modes of HAL progams. 623-668
  
• Wlodzimierz Drabent, Miroslawa Milkowska:
  Proving correctness and completeness of normal programs - a declarative approach. 669-711
  
• Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano:
  Optimization of bound disjunctive queries with constraints. 713-745
  

• Stefania Costantini, Alessandro Provetti:
  Normal forms for answer sets programming. 747-760