Please use the TPLP citation in your papers, not the corr one!
Volume 6, Issue 1 & 2. January, March 2006
Regular Papers
- Stabilization of Cooperative Information Agents in Unpredictable Environment: A Logic Programming Approach, Phan Minh Dung, Do Duc Hanh, and Phan Minh Thang. pp 1-22
- Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications, Thomas Eiter and Axel Polleres. pp 23-60
- Graphs and colorings for answer set programming, Kathrin Konczak and Thomas Linke and Torsten Schaub. pp 61-106
- Preferred answer sets for ordered logic programs Davy Van Nieuwenborgh, Dirk Vermeir. pp 107-167
- On the existence of stable models of non–stratified logic programs, Stefania Costantini. pp 169-212
Programming Pearl
- Optimal Union-Find in Constraint Handling Rules, Tom Schrijvers, Thom Fr{\”u}hwirth. pp 213-224
Volume 6, Issue 3, May 2006 Special Issue on Specification Analysis and Verification of Reactive Systems
- Special issue on specification, analysis and verification of reactive systems. Guest editors’ introduction , Giorgio Delzanno, Sandro Etalle, Maurizio Gabbrielli, pp 225-226
- Equivalence-checking on infinite-state systems: Techniques and results , Antonin Kucera and Petr Jancar, pp 227-264
- Automatic Verification of Timed Concurrent Constraint Programs , Moreno Falaschi and Alicia Villanueva pp 265-300
- State Space Computation and Analysis of Time Petri Nets , Guillaume Gardey and Olivier H. Roux and Olivier F. Roux, pp 301-320
- Parametric Verification of a Group Membership Algorithm , Ahmed Bouajjani, Agathe Merceron, pp 321-353
Volume 6, Issue 4, July 2006
- Epistemic Foundation of Stable Model Semantics , Yann Loyer and Umberto Straccia. pp 355-393
- Computing minimal models, stable models and answer sets , Zbigniew Lonc and Miroslaw Truszczynski. pp 395-449
- EPspectra: A Formal Toolkit for Developing DSP Software Applications, Hahnsang Kim, Thierry Turletti, Amar Bouali. pp 451-481
Volume 6, Issue 5, September 2006
- Programming Finite-Domain Constraint Propagators in Action Rules , Neng-Fa Zhou. pp 483-508
- A three-valued semantics for logic programmers , Lee Naish. pp 509-538
- Temporal Phylogenetic Networks and Logic Programming , Esra Erdem, Vladimir Lifschitz, and Don Ringe. pp 539-558
- Planning with Preferences using Logic Programming , Tran Cao Son and Enrico Pontelli. pp 559-608
Volume 6, Issue 5, September 2006
- Improving PARMA Trailing , Tom Schrijvers, Maria Garcia de la Banda, Bart Demoen, Peter J. Stuckey pp 609-644
- Set Unification , Agostino Dovier, Enrico Pontelli, and Gianfranco Rossi. pp 645-701
- Embedding Defeasible Logic into Logic Programming, , Grigoris Antoniou, David Billington, Guido Governatori and Michael J. Maher. pp 703-735
- Regular Papers
Technical note
- Logic programming with default, weak and strict negations, , Susumu Yamasaki. pp 737-749