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
  
• Thomas Eiter, Axel Polleres:
  Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications. 23-60
  
• Kathrin Konczak, Thomas Linke, Torsten Schaub:
  Graphs and colorings for answer set programming. 61-106
  
• Davy Van Nieuwenborgh, Dirk Vermeir:
  Preferred answer sets for ordered logic programs. 107-167
  

• Stefania Costantini:
  On the existence of stable models of non-stratified logic programs. 169-212
  

• Tom Schrijvers, Thom W. Frühwirth:
  Optimal union-find in Constraint Handling Rules. 213-224
  

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
  
• Antonín Kucera, Petr Jancar:
  Equivalence-checking on infinite-state systems: Techniques and results. 227-264
  
• Moreno Falaschi, Alicia Villanueva:
  Automatic verification of timed concurrent constraint programs. 265-300
  
• Guillaume Gardey, Olivier H. Roux, Olivier F. Roux:
  State space computation and analysis of Time Petri Nets. 301-320
  
• Ahmed Bouajjani, Agathe Merceron:
  Parametric Verification of a Group Membership Algorithm. 321-353
  

Volume 6, Number 4, July 2006

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

Volume 6, Number 5, September 2006

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

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
  
• Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
  Set unification. 645-701
  
• Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
  Embedding defeasible logic into logic programming. 703-735
  

• Susumu Yamasaki:
  Logic programming with default, weak and strict negations. 737-749