Journal: TPLP

Volume 7, Issue 6

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

Volume 7, Issue 5

505 -- 536Ruben Vandeginste, Bart Demoen. Incremental copying garbage collection for WAM-based Prolog systems
537 -- 582Antonio 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
583 -- 632Khalil Djelloul. Decomposable theories

Volume 7, Issue 4

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

Volume 7, Issue 3

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

Volume 7, Issue 1-2

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