Skip to Navigation
Skip to Content
 
Home> Theory and Practice of Logic Programming> Vol. 6 Issue 1-2

 

Log In

Browse Journals

Special Sales

Cambridge Journals Digital Archive

Click here for details about our archive digitisation project. more details

2009 Journals Catalogue

Click here to download a PDF of our latest catalogue; a comprehensive guide to all of our journals. more details

CJO Now Includes:

568,935 articles from 321 leading journals.

Customize Your Search Toolbar

Theory and Practice of Logic Programming

Search

Social Bookmarking

  • Note: Abstract, PDF and HTML open in a new window

  • Editor(s):
  • A. Bossi, Università Ca’ Foscari di Venezia, Italy

Sort by

Previous Issue Next Issue

Table of Contents - Volume 6 - Issue 1-2  

  Please select Articles below or use Select All, then click the appropriate button above. Select/Deselect All:
 

Regular Papers

 
 

Stabilization of cooperative information agents in unpredictable environment: a logic programming approach

PHAN MINH DUNG, DO DUC HANH and PHAN MINH THANG

Theory and Practice of Logic Programming, Volume 6, Issue 1-2, January 2006, pp 1-22
doi:10.1017/S1471068405002553 (About doi), Published Online by Cambridge University Press 27 Jan 2006
 

Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications

THOMAS EITER and AXEL POLLERES

Theory and Practice of Logic Programming, Volume 6, Issue 1-2, January 2006, pp 23-60
doi:10.1017/S1471068405002577 (About doi), Published Online by Cambridge University Press 27 Jan 2006
 

Graphs and colorings for answer set programming

KATHRIN KONCZAK, THOMAS LINKE and TORSTEN SCHAUB

Theory and Practice of Logic Programming, Volume 6, Issue 1-2, January 2006, pp 61-106
doi:10.1017/S1471068405002528 (About doi), Published Online by Cambridge University Press 27 Jan 2006
 

Preferred answer sets for ordered logic programs

DAVY VAN NIEUWENBORGH and DIRK VERMEIR

Theory and Practice of Logic Programming, Volume 6, Issue 1-2, January 2006, pp 107-167
doi:10.1017/S1471068404002315 (About doi), Published Online by Cambridge University Press 27 Jan 2006
 

Technical Note

 
 

On the existence of stable models of non-stratified logic programs

STEFANIA COSTANTINI

Theory and Practice of Logic Programming, Volume 6, Issue 1-2, January 2006, pp 169-212
doi:10.1017/S1471068405002589 (About doi), Published Online by Cambridge University Press 27 Jan 2006
 

Programming Pearl

 
 

Optimal union-find in Constraint Handling Rules

TOM SCHRIJVERS and THOM FRÜHWIRTH

Theory and Practice of Logic Programming, Volume 6, Issue 1-2, January 2006, pp 213-224
doi:10.1017/S1471068405002541 (About doi), Published Online by Cambridge University Press 27 Jan 2006
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press