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 updated on Tue May 21 03:33:42 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page