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

 

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 8 - Issue 5-6  

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

Regular Papers

 
 

Design and implementation of aggregate functions in the DLV system

WOLFGANG FABER, GERALD PFEIFER, NICOLA LEONE, TINA DELL'ARMI and GIUSEPPE IELPA

Theory and Practice of Logic Programming, Volume 8, Issue 5-6, November 2008, pp 545-580
doi:10.1017/S1471068408003323 (About doi), Published Online by Cambridge University Press 08 May 2008
 

Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs

LUDOVIC LANGEVINE and MIREILLE DUCASSÉ

Theory and Practice of Logic Programming, Volume 8, Issue 5-6, November 2008, pp 581-609
doi:10.1017/S147106840800344X (About doi), Published Online by Cambridge University Press 20 Nov 2008
 

Checking the quality of clinical guidelines using automated reasoning tools

ARJEN HOMMERSOM, PETER J. F. LUCAS and PATRICK VAN BOMMEL

Theory and Practice of Logic Programming, Volume 8, Issue 5-6, November 2008, pp 611-641
doi:10.1017/S1471068408003451 (About doi), Published Online by Cambridge University Press 20 Nov 2008
 

Logic programming with social features

FRANCESCO BUCCAFURRI and GIANLUCA CAMINITI

Theory and Practice of Logic Programming, Volume 8, Issue 5-6, November 2008, pp 643-690
doi:10.1017/S1471068408003463 (About doi), Published Online by Cambridge University Press 11 Jul 2008
 

Extended ASP Tableaux and rule redundancy in normal logic programs

MATTI JÄRVISALO and EMILIA OIKARINEN

Theory and Practice of Logic Programming, Volume 8, Issue 5-6, November 2008, pp 691-716
doi:10.1017/S1471068408003578 (About doi), Published Online by Cambridge University Press 17 Oct 2008
 

Achieving compositionality of the stable model semantics for smodels programs

EMILIA OIKARINEN and TOMI JANHUNEN

Theory and Practice of Logic Programming, Volume 8, Issue 5-6, November 2008, pp 717-761
doi:10.1017/S147106840800358X (About doi), Published Online by Cambridge University Press 20 Nov 2008
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press