Skip to Navigation
Skip to Content
 
Home> Theory and Practice of Logic Programming> Vol. 7 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 7 - Issue 04  

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

Regular Papers

 
 

Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming

PHAN HUY TU, TRAN CAO SON and CHITTA BARAL

Theory and Practice of Logic Programming, Volume 7, Issue 04, July 2007, pp 377-450
doi:10.1017/S1471068406002948 (About doi), Published Online by Cambridge University Press 19 Jun 2007
 

Updates in answer set programming: An approach based on basic structural properties

MAURICIO OSORIO and VÍCTOR CUEVAS

Theory and Practice of Logic Programming, Volume 7, Issue 04, July 2007, pp 451-479
doi:10.1017/S1471068406003000 (About doi), Published Online by Cambridge University Press 19 Jun 2007
 

Fast Frequent Querying with Lazy Control Flow Compilation

REMKO TRONÇON, GERDA JANSSENS, BART DEMOEN and HENK VANDECASTEELE

Theory and Practice of Logic Programming, Volume 7, Issue 04, July 2007, pp 481-498
doi:10.1017/S1471068406002894 (About doi), Published Online by Cambridge University Press 19 Jun 2007
 

Book Reviews

 
 

Explanatory Nonmonotonic Reasoning by Alexander Bochman World Scientific, Hardback: ISBN 981-256-101-3, Price: $68.00, xiv + 408 pages

Victor W. Marek

Theory and Practice of Logic Programming, Volume 7, Issue 04, July 2007, pp 499-503
doi:10.1017/S1471068406002766 (About doi), Published Online by Cambridge University Press 19 Jun 2007
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press