Please use the TPLP citation in your papers, not the corr one!
Volume 3, Issue 1
In Memoriam
- In Memoriam: Raymond Reiter June 12, 1939 – September 16, 2002, Jack Minker. (pp i – ix)
Regular Papers
- The Witness Properties And The Semantics Of The Prolog Cut, James H. Andrews. (pp 1 – 59)
- The Deductive Database System LDL++, Faiz Arni, Kayliang Ong, Shalom Tsur, Haixun Wang, Carlo Zaniolo. (pp 61 – 94)
- Efficient Groundness Analysis In Prolog, Jacob M. Howe, Andy King. (pp 95 – 124)
Book Review
- Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets by Domenico Cantone, Eugenio Omodeo, and Alberto Policriti, Springer, 2001, ISBN 0-387-95197-0, Agostino Dovier. (pp 125 – 128) [html] [pdf]
Volume 3, Issue 2
Regular Papers
- A Framework For Compiling Preferences In Logic Programs, James P. Delgrande, Torsten Schaub, Hans Tompits. (pp 129 – 187)
- Composing Programs In A Rewriting Logic For Declarative Programming, J. M. Molina-Bravo, E. Pimentel. (pp 189 – 221)
- Two Results For Prioritized Logic Programming, Yan Zhang. (pp 223 – 242)
Technical Note
- Three Optimisations For Sharing, Jacob M. Howe, Andy King. (pp 243 – 257)
Volume 3, Issue 3
Regular Papers
- Characterization Of Strongly Equivalent Logic Programs In Intermediate Logics, Dick De Jongh, Lex Hendriks. (pp 259 – 270)
- Learning In A Compiler For MINSAT Algorithms, Anja Remshagen, Klaus Truemper. (pp 271 – 286)
- On the abductive or deductive nature of database schema validation and update processing problems, Ernest Teniente , Toni Urpí. (pp 287-327)
- Handling Defeasibilities In Action Domains, Yan Zhang. (pp 329 – 376)
Programming Pearl
- An Open Ended Tree, Henk Vandecasteele, Gerda Janssens. (pp 377 – 385)
Volume 3, Issue 4 & Issue 5
Special Issue on Programming with Answer Sets
- Introduction To The Special Issue On Programming With Answer Sets, Chitta Baral, Alessandro Provetti, Tran Cao Son. (pp 387 – 391)
- Answer Sets For Consistent Query Answering In Inconsistent Databases, Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki. (pp 393 – 424)
- Diagnostic Reasoning With A-Prolog, Marcello Balduccini, Michael Gelfond. (pp 425 – 461)
- Computing Preferred Answer Sets By Meta-Interpretation In Answer Set Programming, Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer. (pp 463 – 498)
- Tight Logic Programs, Esra Erdem, Vladimir Lifschitz. (pp 499 – 518)
- Bounded LTL Model Checking With Stable Models, Keijo Heljanko, Ilkka Niemelä. (pp 519 – 550)
- On The Expressibility Of Stable Logic Programming, Victor Wiktor Marek, Jeffrey B. Remmel. (pp 551 – 567)
- A Semantic Framework For Preference Handling In Answer Set Programming, Torsten Schaub, Kewen Wang. (pp 569 – 607)
- Strong Equivalence Made Easy: Nested Expressions And Weight Constraints, Hudson Turner.(pp 609 – 622)
Volume 3, Issue 6
Regular Papers
- Introducing Dynamic Behavior In Amalgamated Knowledge Bases, Elisa Bertino, Paolo Perlasca, Barbara Catania. (pp 625 – 669)
- An Abductive Framework For Computing Knowledge Base Updates, Chiaki Sakama, Katsumi Inoue. (pp 671 – 715)
- Logic Programming In The Context Of Multiparadigm Programming: The Oz Experience, Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Christian Schulte, Martin Henz. (pp 717 – 763)
Book Review