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

Volume 4, Number 1-2, January/March 2004

• Andrew W. Appel, Amy P. Felty: Polymorphic Lemmas and Definitions in lambda-Prolog and Twelf. 1-39
• Francisco Javier López-Fraguas, Jaime Sánchez-Hernández: A Proof Theoretic Approach to Failure in Functional Logic Programming. 41-74
• Filippo Furfaro, Gianluigi Greco, Sergio Greco: Minimal founded semantics for disjunctive logic programs and deductive databases. 75-93
• Alejandro Javier García, Guillermo Ricardo Simari: Defeasible Logic Programming: An Argumentative Approach. 95-138
• Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe: Offline specialisation in Prolog using a hand-written compiler generator. 139-191
• Zbigniew Lonc, Miroslaw Truszczynski: Computing stable models: worst-case performance estimates. 193-231

• François Laburthe: Book review: Programming Constraint Services: High level Programming of Standard and New Constraint Services by Christian Schulte. Springer 2002, LNAI 2302, ISBN 3-540-43371-6. 233-235
• Miroslaw Truszczynski: Book review: Knowledge Representation, Reasoning and Declarative Problem Solving by Chitta Baral, Cambridge University press, 2003, ISBN 0-521-81802-8. 237-239

Volume 4, Number 3, May 2004

• Wolfgang May: XPath-Logic and XPathLog: a logic-programming-style XML data manipulation language. 239-287
• Patricia M. Hill, Enea Zaffanella, Roberto Bagnara: A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages. 289-323
• Mauricio Osorio, Juan A. Navarro, José Arrazola: Applications of Intuitionistic Logic in Answer Set Programming. 325-354

• Jan Hruza, Petr Stepánek: Speedup of Logic Programs by Binarization and Partial Deduction. 355-380

• Maurice Bruynooghe: Enhancing a search algorithm to perform intelligent backtracking. 371-380

• Eric Monfroy: Book review: Essentials of Constraint Programming by Thom Frühwirth and Slim Abdennadher, Springer, 2003, hard cover: ISBN 3-540-67623-6, ix + 145 pages. 381-382

Volume 4, Number 4, July 2004

• José Júlio Alferes, Luís Moniz Pereira, Terrance Swift: Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs. 383-428
• Viviana Mascardi, Maurizio Martelli, Leon Sterling: Logic-Based Specification Languages for Intelligent Software Agents. 429-494
• Alberto Pettorossi, Maurizio Proietti: Transformations of logic programs with goals as arguments. 495-537

• Femke van Raamsdonk: Book review: Advanced Topics in Term Rewriting by Enno Ohlebusch, Springer-Verlag, 2002, hard cover: ISBN 0-387-95250-0. 539-541

Volume 4, Number 5-6, September-November 2004

• Michael Leuschel, Andreas Podelski, C. R. Ramakrishnan, Ulrich Ultes-Nitsche: Introduction to the Special Issue on Verification and Computational Logic. 543-544
• Giampaolo Bella, Stefano Bistarelli: Soft Constraint Programming to Analysing Security Protocols. 545-572
• Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: Model Checking Linear Logic Specifications. 573-619
• Massimo Franceschet, Angelo Montanari: Temporalized logics and automata for time granularity. 621-658
• Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe: On model checking data-independent systems with arrays without reset. 659-693
• Carla Piazza, Alberto Policriti: Ackermann Encoding, Bisimulations, and OBDDs. 695-718
• Alexander Serebrenik, Danny De Schreye: Inference of termination conditions for numerical loops in Prolog. 719-751

• Peter A. Flach: Book review: Logic for Learning: Learning Comprehensible Theories from Structured Data by John W. Lloyd, Springer-Verlag, 2003, ISBN 3-540-42027-4. 753-755
• Roland H. C. Yap: Book review: Constraint Processing by Rina Dechter, Morgan Kaufmann Publishers, 2003, ISBN 1-55860-890-7. 755-757
• Francesca Rossi: Book review: Principles of Constraint Programming by Krzysztof R. Apt, Cambridge University Press, 2003, ISBN 0-521-82583-0. 758-762