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

Volume 6, Number 1-2, January 2006

• Phan Minh Dung, Do Duc Hanh, Phan Minh Thang:
  Stabilization of cooperative information agents in unpredictable environment: a logic programming approach. 1-22
  Electronic Edition (link) BibTeX
• Thomas Eiter, Axel Polleres:
  Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications. 23-60
  Electronic Edition (link) BibTeX
• Kathrin Konczak, Thomas Linke, Torsten Schaub:
  Graphs and colorings for answer set programming. 61-106
  Electronic Edition (link) BibTeX
• Davy Van Nieuwenborgh, Dirk Vermeir:
  Preferred answer sets for ordered logic programs. 107-167
  Electronic Edition (link) BibTeX

• Stefania Costantini:
  On the existence of stable models of non-stratified logic programs. 169-212
  Electronic Edition (link) BibTeX

• Tom Schrijvers, Thom W. Frühwirth:
  Optimal union-find in Constraint Handling Rules. 213-224
  Electronic Edition (link) BibTeX

Volume 6, Number 3, May 2006

• Giorgio Delzanno, Sandro Etalle, Maurizio Gabbrielli:
  Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems. 225-226
  Electronic Edition (link) BibTeX
• Antonín Kucera, Petr Jancar:
  Equivalence-checking on infinite-state systems: Techniques and results. 227-264
  Electronic Edition (link) BibTeX
• Moreno Falaschi, Alicia Villanueva:
  Automatic verification of timed concurrent constraint programs. 265-300
  Electronic Edition (link) BibTeX
• Guillaume Gardey, Olivier H. Roux, Olivier F. Roux:
  State space computation and analysis of Time Petri Nets. 301-320
  Electronic Edition (link) BibTeX Ahmed Bouajjani, Agathe Merceron: Parametric Verification of a Group Membership Algorithm. 321-353 http: //dx.doi.org/10.1017/S1471068406002663

Volume 6, Number 4, July 2006

• Yann Loyer, Umberto Straccia:
  Epistemic foundation of stable model semantics. 355-393
  Electronic Edition (link) BibTeX
• Zbigniew Lonc, Miroslaw Truszczynski:
  Computing minimal models, stable models and answer sets. 395-449
  Electronic Edition (link) BibTeX
• Hahnsang Kim, Thierry Turletti, Amar Bouali:
  EPspectra: a formal toolkit for developing DSP software applications. 451-481
  Electronic Edition (link) BibTeX

Volume 6, Number 5, September 2006

• Neng-Fa Zhou:
  Programming finite-domain constraint propagators in Action Rules. 483-507
  Electronic Edition (link) BibTeX
• Lee Naish:
  A three-valued semantics for logic programmers. 509-538
  Electronic Edition (link) BibTeX
• Esra Erdem, Vladimir Lifschitz, Donald Ringe:
  Temporal phylogenetic networks and logic programming. 539-558
  Electronic Edition (link) BibTeX
• Tran Cao Son, Enrico Pontelli:
  Planning with preferences using logic programming. 559-607
  Electronic Edition (link) BibTeX

Volume 6, Number 6, November 2006

• Tom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey:
  Improving PARMA trailing. 609-644
  Electronic Edition (link) BibTeX
• Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
  Set unification. 645-701
  Electronic Edition (link) BibTeX
• Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
  Embedding defeasible logic into logic programming. 703-735
  Electronic Edition (link) BibTeX

• Susumu Yamasaki:
  Logic programming with default, weak and strict negations. 737-749
  Electronic Edition (link) BibTeX