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

 

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

Table of Contents - Volume 9 - Issue 06  

  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 6 Cover and Front matter

Theory and Practice of Logic Programming, Volume 9, Issue 06, November 2009, pp f1-f2
doi:10.1017/S1471068409990202 (About doi), Published Online by Cambridge University Press 28 Oct 2009
 

Back Cover (IBC, OBC) and matter

 
 

TLP volume 9 issue 6 Cover and Back matter

Theory and Practice of Logic Programming, Volume 9, Issue 06, November 2009, pp b1-b4
doi:10.1017/S1471068409990214 (About doi), Published Online by Cambridge University Press 28 Oct 2009
 

Regular Papers

 
 

The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments

PAOLO MANCARELLA, GIACOMO TERRENI, FARIBA SADRI, FRANCESCA TONI and ULLE ENDRISS

Theory and Practice of Logic Programming, Volume 9, Issue 06, November 2009, pp 691-750
doi:10.1017/S1471068409990093 (About doi), Published Online by Cambridge University Press 14 Aug 2009
 

Termination prediction for general logic programs

YI-DONG SHEN, DANNY DE SCHREYE and DEAN VOETS

Theory and Practice of Logic Programming, Volume 9, Issue 06, November 2009, pp 751-780
doi:10.1017/S1471068409990068 (About doi), Published Online by Cambridge University Press 16 Jun 2009
 

Relativized hyperequivalence of logic programs for modular programming

MIROSŁAW TRUSZCZYŃSKI and STEFAN WOLTRAN

Theory and Practice of Logic Programming, Volume 9, Issue 06, November 2009, pp 781-819
doi:10.1017/S1471068409990159 (About doi), Published Online by Cambridge University Press 14 Sep 2009
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press