Skip to Navigation
Skip to Content
 
Home> Theory and Practice of Logic Programming> Vol. 7 Issue 03

 

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 7 - Issue 03  

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

Regular Papers

 
 

A knowledge-based approach for selecting information sources

THOMAS EITER, MICHAEL FINK and HANS TOMPITS

Theory and Practice of Logic Programming, Volume 7, Issue 03, May 2007, pp 249-300
doi:10.1017/S1471068406002754 (About doi), Published Online by Cambridge University Press 14 Mar 2007
 

Well-founded and stable semantics of logic programs with aggregates

NIKOLAY PELOV, MARC DENECKER and MAURICE BRUYNOOGHE

Theory and Practice of Logic Programming, Volume 7, Issue 03, May 2007, pp 301-353
doi:10.1017/S1471068406002973 (About doi), Published Online by Cambridge University Press 14 Mar 2007
 

Technical Note

 
 

A Constructive semantic characterization of aggregates in answer set programming

TRAN CAO SON and ENRICO PONTELLI

Theory and Practice of Logic Programming, Volume 7, Issue 03, May 2007, pp 355-375
doi:10.1017/S1471068406002936 (About doi), Published Online by Cambridge University Press 14 Mar 2007
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press