


default search action
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, Krzysztof R. Apt:
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 programs. 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.