Please use the TPLP citation in your papers, not the corr one!
Volume 4, Issue 1 & 2
Regular Papers
- Polymorphic Lemmas and Definitions in lambda-Prolog and Twelf, Andrew W. Appel, Amy P. Felty. (pp 1 – 39)
- A Proof Theoretic Approach to Failure in Functional Logic Programming, Francisco Javier López-Fraguas, Jaime Sánchez-Hernández. (pp 41 – 74)
- Minimal founded semantics for disjunctive logic programs and deductive databases, Filippo Furfaro, Gianluigi Greco, Sergio Greco. (pp 75 – 93)
- Defeasible Logic Programming: An Argumentative Approach, Alejandro Javier García, Guillermo Ricardo Simari. (pp 95 – 138)
- Offline specialisation in Prolog using a hand-written compiler generator, Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe. (pp 139 – 191)
- Computing stable models: worst-case performance estimates, Zbigniew Lonc, Miroslaw Truszczynski. (pp 193 – 231)
Book Reviews
- Programming Constraint Services: High level Programming of Standard and New Constraint Services by Christian Schulte. Springer 2002, LNAI 2302, ISBN 3-540-43371-6, François Laburthe. (pp 233 – 235) [html] [pdf]
- Knowledge Representation, Reasoning and Declarative Problem Solving by Chitta Baral, Cambridge University press, 2003, ISBN 0-521-81802-8, Miroslaw Truszczynski. (pp 237 – 239) [html] [pdf]
Volume 4, Issue 3
Regular Papers
- XPath-Logic and XPathLog: a logic-programming-style XML data manipulation language, Wolfgang May. (pp 239-287)
- A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages, Patricia M. Hill, Enea Zaffanella, and Roberto Bagnara. (pp 289-323)
- Applications of Intuitionistic Logic in Answer Set Programming, Mauricio Osorio Galindo, Juan Antonio Navarro, Jose Arrazola. (pp 325-354)
Technical Note
- Speedup of Logic Programs by Binarization and Partial Deduction, Jan Hruza, Petr Stepanek. (pp 355-380)
Programming Pearl
- Enhancing a search algorithm to perform intelligent backtracking, Maurice Bruynooghe. (pp 371-380)
Book review
- Eric Monfroy: Essentials of Constraint Programming by Thom Fruhwirth and Slim Abdennadher, Springer, 2003, hard cover: ISBN 3-540-67623-6, ix + 145 pages. (pp 381-382) [html] [pdf]
Volume 4, Issue 4
Regular Papers:
- Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs, Jose Alferes, Luis Moniz Pereira, and Terrance Swift. (pp 383-428)
- Transformations of logic programs with goals as arguments, Alberto Pettorossi, Maurizio Proietti. (pp 429-494)
- Logic-Based Specification Languages for Intelligent Software Agents, Viviana Mascardi, Maurizio Martelli and Leon Sterling. (pp 495-537)
Book review
- Femke van Raamsdonk: Book review: Advanced Topics in Term Rewriting by Enno Ohlebusch, Springer-Verlag, 2002, hard cover: ISBN 0-387-95250-0, xi + 414 pages. (pp 539-541) [html] [pdf]
Volume 4, Issue 5 & Issue 6
Special Issue on Verification and Computational Logic
- Introduction to the Special Issue on Verification and Computational Logic, Michael Leuschel, Andreas Podelski, C.R. Ramakrishnan, Ulrich Ultes-Nitsche (pp. 543-544)
- Soft Constraint Programming to Analysing Security Protocols, Giampaolo Bella and Stefano Bistarelli (pp. 545-572)
- Model Checking Linear Logic Specifications, Marco Bozzano, Giorgio Delzanno, Maurizio Martelli. (pp. 573-619)
- Temporalized logics and automata for time granularity, Massimo Franceschet and Angelo Montanari (pp. 621-658)
- On model checking data-independent systems with arrays without reset, R.S. Lazic, T.C. Newcomb, A.W. Roscoe (pp. 659-693)
- Ackermann Encoding, Bisimulations, and OBDDs, Carla Piazza and Alberto Policriti (pp. 695-718)
- Inference of termination conditions for numerical loops in Prolog, Alexander Serebrenik and Danny De Schreye (pp. 719-751)
Book reviews
- Peter Flach: Book review: Logic for Learning: Learning Comprehensible Theories from Structured Data by by John W. Lloyd, Springer-Verlag, 2003, hard cover: ISBN 3-540-42027-4, x + 256 pages. (pp 753-755) [html] [pdf]
- Roland H.C. Yap: Book review: Constraint Processing by Rina Dechter, Morgan Kaufmann Publishers, 2003, hard cover: ISBN 1-55860-890-7, xx + 481 pages (pp 755-757) [html] [pdf]
- Francesca Rossi: Book review: Principles of Constraint Programming by Krzysztof R. Apt, Cambridge University Press, 2003, hard cover: ISBN 0-521-82583-0, xii + 407 pages. (pp 758-762) [html] [pdf]