Theory and Practice of Logic Programming (TPLP)

The files below are the final versions of the papers submitted by the authors. The definite, published versions of the papers are available from the TPLP home page with the Cambridge University Press .

Volume 1
Volume 2
Volume 3
Volume 4
Volume 5
Volume 6
Volume 7
Volume 8
Volume 9
Volume 10
Volume 11 (partial)

Accepted Regular Papers

• Concurrent goal-based execution of constraint handling rules ,
  Edmund S. L. Lam and Martin Sulzmann

• Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs ,
  Miroslaw Truszczynski

• Active integrity constraints and revision programming ,
  Luciano Caroprese and Miroslaw Truszczynski

• Certificate size reduction in Abstraction-Carrying Code ,
  Elvira Albert, Puri Arenas, Germán Puebla, and Manuel Hermenegildo

• On elementary loops of logic programs ,
  Martin Gebser, Joohyung Lee, and Yuliya Lierler

• A design and implementation of the extended Andorra model ,
  Ricardo Lopes, Vitor Santos Costa, Fernando Silva

• Team-building with Answer Set Programming in the Gioia-Tauro Seaport ,
  Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone

• Representing First-Order Causal Theories by Logic Programs ,
  Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz and Fangkai Yang

• Reducing fuzzy answer set programming to model finding in fuzzy logics ,
  Jeroen Janssen, Steven Schockaert, Dirk Vermeir, and Martine De Cock

• Contextual hypotheses and semantics of logic programs ,
  Éric André Martin

• Relating weight constraint and aggregate programs: semantics and representation ,
  Guohua Liu and Jia-Huai You

• Coding guidelines for Prolog ,
  Michael A. Covington, Roberto Bagnara, Richard A. O'Keefe, Jan Wielemaker, Simon Price

• Semantics for possibilistic disjunctive Programs ,
  Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés

• Representation sharing for Prolog ,
  Phuong-Lan Nguyen and Bart Demoen

• Interdefinability of defeasible logic and logic programming under the well-founded semantics ,
  Frederick Maier

• Finding similar/diverse solutions in answer set programming ,
  Thomas Eiter, Esra Erdem, Halit Erdogan, Michael Fink

• Expressiveness of Communication in Answer Set Programming ,
  Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock

Accepted Papers for the Special Issue on Prolog Systems

• Introduction to the Special Issue on Prolog Systems ,
  Bart Demoen and Maria Garcia de la Banda

• The YAP Prolog system ,
  Vítor Santos Costa, Luís Damas and Ricardo Rocha

• SICStus Prolog---the first 25 years ,
  Mats Carlsson and Per Mildner

• SWI-Prolog ,
  Jan Wielemaker, Tom Schrijvers, Markus Triska and Torbjörn Lager

• The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines ,
  Paul Tarau

• ECLiPSe - from LP to CLP ,
  Joachim Schimpf and Kish Shen

• XSB: Extending Prolog with tabled logic programming ,
  Terrance Swift and David S. Warren

• The language features and architecture of B-Prolog ,
  Neng-Fa Zhou

• An overview of Ciao and its design philosophy ,
  M. V. Hermenegildo, F. Bueno, M. Carro, P. López-García, E. Mera, J. F. Morales, and G. Puebla

• On the implementation of GNU Prolog ,
  Daniel Diaz, Salvador Abreu, Philippe Codognet

Accepted Technical Notes

• A simple correctness proof for magic transformation ,
  Włodzimierz Drabent

Accepted Book Reviews

• Mathematical Logic by Wei Li, Birkhäuser, 2010, Hard cover: ISBN-978-3-7643-9976-4 ,
  Rosella Gennari