Skip to Navigation
Skip to Content
 
Home> Theory and Practice of Logic Programming> Vol. 9 Issue 04

 

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:

567,269 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 9 - Issue 04  

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

Front Cover (OFC, IFC) and matter

 
 

TLP volume 9 issue 4 Cover and Front matter

Theory and Practice of Logic Programming, Volume 9, Issue 04, July 2009, pp f1-f2
doi:10.1017/S1471068409990135 (About doi), Published Online by Cambridge University Press 21 Jul 2009
 

Back Cover (IBC, OBC) and matter

 
 

TLP volume 9 issue 4 Cover and Back matter

Theory and Practice of Logic Programming, Volume 9, Issue 04, July 2009, pp b1-b4
doi:10.1017/S1471068409990147 (About doi), Published Online by Cambridge University Press 21 Jul 2009
 

Regular Papers

 
 

On the cooperation of the constraint domains xs210B, ℛ, and ℱ S1471068409003780_char4 in CFLP

S. ESTÉVEZ-MARTÍN, T. HORTALÁ-GONZÁLEZ, M. RODRÍGUEZ-ARTALEJO, R. DEL VADO-VÍRSEDA, F. SÁENZ-PÉREZ and A. J. FERNÁNDEZ

Theory and Practice of Logic Programming, Volume 9, Issue 04, July 2009, pp 415-527
doi:10.1017/S1471068409003780 (About doi), Published Online by Cambridge University Press 21 Jul 2009
 

Characterizations of stable model semantics for logic programs with arbitrary constraint atoms

YI-DONG SHEN, JIA-HUAI YOU and LI-YAN YUAN

Theory and Practice of Logic Programming, Volume 9, Issue 04, July 2009, pp 529-564
doi:10.1017/S1471068409990056 (About doi), Published Online by Cambridge University Press 16 Jun 2009
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press