Please use the TPLP citation in your papers, not the corr one!
Volume 7, Issue 1 & 2. January 2007
Special Issue on Multiparadigm Languages and Constraint Programming
- Introduction to the special issue on multiparadigm languages and constraint programming , Moreno Falaschi and Michael Maher,
- Mapping fusion and synchronized hyperedge replacement into logic programming , Ivan Lanese and Ugo Montanari
- A comparison between two logical formalisms for rewriting, , Miguel Palomino
- Combining relational algebra, SQL, constraint modelling, and local search, , Marco Cadoli and Toni Mancini,
- Constraint-based automatic verification of abstract models of multitreaded programs, , Giorgio Delzanno
- Removing redundant arguments automatically , Mar\'{\i}a Alpuente, Santiago Escobar, and Salvador Lucas,
- Forward slicing of functional logic programs by partial evaluation, , Josep Silva and Germ\’an Vidal,
- Demand Analysis with Partial Predicates, , Julio Mari\~no, \’Angel Herranz and Juan Jos\’e Moreno-Navarro
- Integration of Declarative and Constraint Programming , Petra Hofstedt and Peter Pepper,
Volume 7, Issue 3. May 2007
Regular Papers
- A Knowledge-Based Approach for Selecting Information Sources, , Thomas Eiter, Michael Fink, and Hans Tompits
- Well-founded and Stable Semantics of Logic Programs with Aggregates, Nikolay Pelov, Marc Denecker, and Maurice Bruynooghe
Technical Note
- A Constructive Semantic Characterization of Aggregates in Answer Set Programming, Tran Cao Son, Enrico Pontelli
Volume 7, Issue 4. July 2007
Regular Papers
- Reasoning and Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Answer Set Programming Phan Huy Tu, Tran Cao Son, and Chitta Baral
- Updates in Answer Set Programming: An Approach Based on Basic Structural Properties, Mauricio Osorio and V\’ictor Cuevas
- Fast Frequent Querying with Lazy Control Flow Compilation Remko Tron\c{c}on, Gerda Janssens, Bart Demoen, Henk Vandecasteele
Book review
- Explanatory Nonmonotonic Reasoning by Alexander Bochman World Scientific, Hardback: ISBN 981-256-101-3 Victor W. Marek
Volume 7, Issue 5. September 2007
Regular Papers
- Incremental copying garbage collection for WAM-based Prolog systems , Ruben Vandeginste, Bart Demoen.
- Constraint Functional Logic Programming over Finite Domains, Antonio J. Fern\'{a}ndez, Teresa Hortal\'{a}-Gonz\'{a}lez, Fernando S\'{a}enz-P\'{e}rez and Rafael del Vado-V\'{\i}rseda.
- Decomposable Theories , Khalil Djelloul
Volume 7, Issue 6. November 2007
Regular Papers
- PALS: Efficient or-Parallelism on Beowulf clusters Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta
- Automated verification of weak equivalence within the smodels system, Tomi Janhunen and Emilia Oikarinen
Technical Note
- Propositional theories are strongly equivalent to logic programs Pedro Cabalar and Paolo Ferraris