External Links

    Journal: TPLP

    Volume 5, Issue 6

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

    Volume 5, Issue 4-5

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

    Volume 5, Issue 3

    273 -- 303María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal. Specialization of functional logic programs based on needed narrowing
    305 -- 354Gopalan Nadathur. A treatment of higher-order features in logic programming
    355 -- 390Alexander Serebrenik, Danny De Schreye. On termination of meta-programs
    391 -- 395Bart 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
    395 -- 399Nachum 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

    Volume 5, Issue 1-2

    1 -- 43Roberto Bagnara, Enea Zaffanella, Patricia M. Hill. Enhanced sharing analysis techniques: a comprehensive evaluation
    45 -- 74Paolo Ferraris, Vladimir Lifschitz. Weight constraints as nested expressions
    75 -- 91Samir Genaim, Michael Codish. Inferring Termination Conditions for Logic Programs using Backwards Analysis
    93 -- 121Pascal Hitzler, Matthias Wendt. A uniform approach to logic programming semantics
    123 -- 159Simona Perri, Francesco Scarcello, Nicola Leone. Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation
    161 -- 205Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa. On Applying Or-Parallelism and Tabling to Logic Programs
    207 -- 242Ralf Schweimeier, Michael Schroeder. A Parameterised Hierarchy of Argumentation Semantics for Extended Logic Programming and its Application to the Well-founded Semantics
    243 -- 257Frédéric Mesnard, Roberto Bagnara. cTI: A constraint-based termination inference tool for ISO-Prolog
    259 -- 271Florence Benoy, Andy King, Frédéric Mesnard. Computing convex hulls with a linear solver
    runs on