Skip to Navigation
Skip to Content
 
Home> Theory and Practice of Logic Programming> Top 10 Most Read Articles

 

Log In

Browse Journals

Special Sales

CJO Now Includes:

568,935 articles from 321 leading journals.

Customize Your Search Toolbar

Top 10 Most-Read Articles


These are the top 10 most-read articles for this title for the previous 12 months. Most-read rankings are updated on a monthly basis.

  • Subscription Access
  • Free Access
  • Trial Access
  • Full Text HTML as well as PDF Articles Available
  • Note: Abstract, PDF and HTML open in a new window
  Article Description Save / Export / View citation Add to Basket
  Select all
Subscription Access   

Probabilistic reasoning with answer sets

CHITTA BARAL, MICHAEL GELFOND and NELSON RUSHTON

Theory and Practice of Logic Programming, Volume 9, Issue 01, Jan 2009, pp 57-144
doi: 10.1017/S1471068408003645 (About doi), Published online by Cambridge University Press 30 Jan 2009
 
Subscription Access   

Justifications for logic programs under answer set semantics

ENRICO PONTELLI, TRAN CAO SON and OMAR ELKHATIB

Theory and Practice of Logic Programming, Volume 9, Issue 01, Jan 2009, pp 1-56
doi: 10.1017/S1471068408003633 (About doi), Published online by Cambridge University Press 30 Jan 2009
 
Subscription Access   

TLP volume 9 issue 1 Cover and Front matter

Theory and Practice of Logic Programming, Volume 9, Issue 01, Jan 2009, pp f1-f2
doi: 10.1017/S1471068409003676 (About doi), Published online by Cambridge University Press 30 Jan 2009
 
 

Calculating modules in contextual logic program refinement

ROBERT COLVIN, IAN J. HAYES and PAUL STROOPER

Theory and Practice of Logic Programming, Volume 8, Issue 01, Jan 2008, pp 1-31
doi: 10.1017/S1471068407003043 (About doi), Published online by Cambridge University Press 15 May 2007
Subscription Access   

TLP volume 9 issue 1 Cover and Back matter

Theory and Practice of Logic Programming, Volume 9, Issue 01, Jan 2009, pp b1-b6
doi: 10.1017/S1471068409003688 (About doi), Published online by Cambridge University Press 30 Jan 2009
 
 

Improving Prolog programs: Refactoring for Prolog

ALEXANDER SEREBRENIK, TOM SCHRIJVERS and BART DEMOEN

Theory and Practice of Logic Programming, Volume 8, Issue 02, Mar 2008, pp 201-215
doi: 10.1017/S1471068407003134 (About doi), Published online by Cambridge University Press 23 May 2007
 

Logic in Computer Science: Modelling and Reasoning about Systems by Michael R. A. Huth and Mark D. Ryan, Cambridge University Press, 2000. ISBN 0521652006, £52.50, $80.00 (hardback), ISBN 0521656028, £9.95, $34.95 (paperback), xviii + 387 pages. http://www.cs.bham.ac.uk/research/lics/

Femke van Raamsdonk

Theory and Practice of Logic Programming, Volume 1, Issue 01, Jan 2001, pp 123-125
doi: 10.1017/S1471068400001083 (About doi), Published online by Cambridge University Press 03 Apr 2001
 

Efficient description logic reasoning in Prolog: The DLog system

GERGELY LUKÁCSY and PÉTER SZEREDI

Theory and Practice of Logic Programming, Volume 9, Issue 03, May 2009, pp 343-414
doi: 10.1017/S1471068409003792 (About doi), Published online by Cambridge University Press 02 Jul 2009
 

Logic programming with satisfiability

MICHAEL CODISH, VITALY LAGOON and PETER J. STUCKEY

Theory and Practice of Logic Programming, Volume 8, Issue 01, Jan 2008, pp 121-128
doi: 10.1017/S1471068407003146 (About doi), Published online by Cambridge University Press 25 May 2007
 

N3Logic: A logical framework for the World Wide Web

TIM BERNERS-LEE, DAN CONNOLLY, LALANA KAGAL, YOSI SCHARF and JIM HENDLER

Theory and Practice of Logic Programming, Volume 8, Issue 03, May 2008, pp 249-269
doi: 10.1017/S1471068407003213 (About doi), Published online by Cambridge University Press 28 Apr 2008
  Select all
  Article Description Save / Export / View citation Add to Basket

Back to Journal Homepage
Cambridge University Press