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 Antonio Navarro Pérez, 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
  

Last update Sat May 18 21:00:07 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page