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

Volume 7, Number 1-2, January 2007

• Moreno Falaschi, Michael J. Maher:
  Introduction Special Issue on Multiparadigm Languages and Constraint Programming. 1-2
  Electronic Edition (link) BibTeX
• María Alpuente, Santiago Escobar, Salvador Lucas:
  Removing redundant arguments automatically. 3-35
  Electronic Edition (link) BibTeX
• Marco Cadoli, Toni Mancini:
  Combining relational algebra, SQL, constraint modelling, and local search. 37-65
  Electronic Edition (link) BibTeX
• Giorgio Delzanno:
  Constraint-based automatic verification of abstract models of multithreaded programs. 67-91
  Electronic Edition (link) BibTeX
• Petra Hofstedt, Peter Pepper:
  Integration of declarative and constraint programming. 93-121
  Electronic Edition (link) BibTeX
• Ivan Lanese, Ugo Montanari:
  Mapping Fusion and Synchronized Hyperedge Replacement into logic programming. 123-151
  Electronic Edition (link) BibTeX
• Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro:
  Demand analysis with partial predicates. 153-182
  Electronic Edition (link) BibTeX
• Miguel Palomino:
  A comparison between two logical formalisms for rewriting. 183-213
  Electronic Edition (link) BibTeX
• Josep Silva, Germán Vidal:
  Forward slicing of functional logic programs by partial evaluation. 215-247
  Electronic Edition (link) BibTeX

Volume 7, Number 3, May 2007

• Thomas Eiter, Michael Fink, Hans Tompits:
  A knowledge-based approach for selecting information sources. 249-300
  Electronic Edition (link) BibTeX
• Nikolay Pelov, Marc Denecker, Maurice Bruynooghe:
  Well-founded and stable semantics of logic programs with aggregates. 301-353
  Electronic Edition (link) BibTeX
• Tran Cao Son, Enrico Pontelli:
  A Constructive semantic characterization of aggregates in answer set programming. 355-375
  Electronic Edition (link) BibTeX

Volume 7, Number 4, July 2007

• Phan Huy Tu, Tran Cao Son, Chitta Baral:
  Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming. 377-450
  Electronic Edition (link) BibTeX
• Mauricio Osorio, Víctor Cuevas:
  Updates in answer set programming: An approach based on basic structural properties. 451-479
  Electronic Edition (link) BibTeX
• Remko Tronçon, Gerda Janssens, Bart Demoen, Henk Vandecasteele:
  Fast Frequent Querying with Lazy Control Flow Compilation. 481-498
  Electronic Edition (link) BibTeX
• Victor W. Marek:
  Explanatory Nonmonotonic Reasoning by Alexander Bochman, World Scientific, Hardback: ISBN 981-256-101-3, xiv + 408 pages. 499-503
  Electronic Edition (link) BibTeX

Volum 7, Number 5, September 2007

• Ruben Vandeginste, Bart Demoen:
  Incremental copying garbage collection for WAM-based Prolog systems. 505-536
  Electronic Edition (link) BibTeX
• Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez, Rafael del Vado Vírseda:
  Constraint functional logic programming over finite domains. 537-582
  Electronic Edition (link) BibTeX
• Khalil Djelloul:
  Decomposable theories. 583-632
  Electronic Edition (link) BibTeX

Volume 7, Number 6, November 2007

• Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta:
  PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters. 633-695
  Electronic Edition (link) BibTeX
• Tomi Janhunen, Emilia Oikarinen:
  Automated Verification of Weak Equivalence within the SMODELS System. 697-744
  Electronic Edition (link) BibTeX
• Pedro Cabalar, Paolo Ferraris:
  Propositional theories are strongly equivalent to logic programs. 745-759
  Electronic Edition (link) BibTeX