Quick Search:

Cite Search:

Home> Theory and Practice of Logic Programming> Top 10 Most-Cited Articles

Log In

Register Now
Guest
Username or Email Address Password
Athens Log In
Shibboleth Log In
Forgot your Password?

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.

Theory and Practice of Logic Programming

Top 10 Most-Cited Articles

These are the top 10 most-cited articles for this title for the previous two years. Most-cited rankings are updated on a monthly basis and provided by CrossRef.

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
View Selected Abstracts on one page	Select all
Tight logic programs ESRA ERDEM and VLADIMIR LIFSCHITZ Theory and Practice of Logic Programming, Volume 3, Issue 4+5, Jul 2003, pp 499-518 doi: 10.1017/S1471068403001765 (About doi), Published online by Cambridge University Press 31 Jul 2003 Preview Abstract Add to Basket £30.00 / $45.00 Request Permissions Abstract HTML Article Structure Figures and Tables References
Weight constraints as nested expressions PAOLO FERRARIS and VLADIMIR LIFSCHITZ Theory and Practice of Logic Programming, Volume 5, Issue 1-2, Jan 2005, pp 45-74 doi: 10.1017/S1471068403001923 (About doi), Published online by Cambridge University Press 10 Jan 2005 Preview Abstract Add to Basket £30.00 / $45.00 Request Permissions Abstract HTML Article Structure Figures and Tables References
Answer sets for consistent query answering in inconsistent databases MARCELO ARENAS, LEOPOLDO BERTOSSI and JAN CHOMICKI Theory and Practice of Logic Programming, Volume 3, Issue 4+5, Jul 2003, pp 393-424 doi: 10.1017/S1471068403001832 (About doi), Published online by Cambridge University Press 31 Jul 2003 Preview Abstract Add to Basket £30.00 / $45.00 Request Permissions Abstract HTML Article Structure Figures and Tables References
Strong equivalence made easy: nested expressions and weight constraints HUDSON TURNER Theory and Practice of Logic Programming, Volume 3, Issue 4+5, Jul 2003, pp 609-622 doi: 10.1017/S1471068403001819 (About doi), Published online by Cambridge University Press 31 Jul 2003 Preview Abstract Add to Basket £30.00 / $45.00 Request Permissions Abstract HTML Article Structure Figures and Tables References
Logic programming in the context of multiparadigm programming: the Oz experience PETER VAN ROY, PER BRAND, DENYS DUCHIER, SEIF HARIDI, CHRISTIAN SCHULTE and MARTIN HENZ Theory and Practice of Logic Programming, Volume 3, Issue 06, Nov 2003, pp 717-763 doi: 10.1017/S1471068403001741 (About doi), Published online by Cambridge University Press 25 Nov 2003 Preview Abstract Add to Basket £30.00 / $45.00 Request Permissions Abstract HTML Article Structure Figures and Tables References
FLUX: A logic programming method for reasoning agents MICHAEL THIELSCHER Theory and Practice of Logic Programming, Volume 5, Issue 4-5, Jul 2005, pp 533-565 doi: 10.1017/S1471068405002358 (About doi), Published online by Cambridge University Press 01 Jul 2005 Preview Abstract Add to Basket £30.00 / $45.00 Request Permissions Abstract HTML Article Structure Figures and Tables References
Preferred answer sets for ordered logic programs DAVY VAN NIEUWENBORGH and DIRK VERMEIR Theory and Practice of Logic Programming, Volume 6, Issue 1-2, Jan 2006, pp 107-167 doi: 10.1017/S1471068404002315 (About doi), Published online by Cambridge University Press 27 Jan 2006 Preview Abstract Add to Basket £30.00 / $45.00 Request Permissions Abstract HTML Article Structure Figures and Tables References
Logic program specialisation through partial deduction: Control issues MICHAEL LEUSCHEL and MAURICE BRUYNOOGHE Theory and Practice of Logic Programming, Volume 2, Issue 4-5, Jul 2002, pp 461-515 doi: 10.1017/S147106840200145X (About doi), Published online by Cambridge University Press 26 Jul 2002 Preview Abstract Add to Basket £30.00 / $45.00 Request Permissions Abstract HTML Article Structure Figures and Tables References
Defeasible logic programming: an argumentative approach ALEJANDRO J. GARCÍA and GUILLERMO R. SIMARI Theory and Practice of Logic Programming, Volume 4, Issue 1+2, Jan 2004, pp 95-138 doi: 10.1017/S1471068403001674 (About doi), Published online by Cambridge University Press 06 Jan 2004 Preview Abstract Add to Basket £30.00 / $45.00 Request Permissions Abstract HTML Article Structure Figures and Tables References
Distributed WWW programming using (Ciao-)Prolog and the PiLLoW library DANIEL CABEZA and MANUEL HERMENEGILDO Theory and Practice of Logic Programming, Volume 1, Issue 03, May 2001, pp 251-282 doi: 10.1017/S147106840100117X (About doi), Published online by Cambridge University Press 15 Jun 2001 Preview Abstract Add to Basket £30.00 / $45.00 Request Permissions Abstract HTML Article Structure Figures and Tables References
View Selected Abstracts on one page	Select all
Article Description		Save / Export / View citation	Add to Basket

Back to Journal Homepage

Log In

Browse Journals

Special Sales

Cambridge Journals Digital Archive

2009 Journals Catalogue

CJO Now Includes:

Customize Your Search Toolbar

Theory and Practice of Logic Programming

Top 10 Most-Cited Articles

Tight logic programs

ESRA ERDEM and VLADIMIR LIFSCHITZ

Theory and Practice of Logic Programming, Volume 3, Issue 4+5, Jul 2003, pp 499-518

doi: 10.1017/S1471068403001765 (About doi), Published online by Cambridge University Press 31 Jul 2003

Weight constraints as nested expressions

PAOLO FERRARIS and VLADIMIR LIFSCHITZ

Theory and Practice of Logic Programming, Volume 5, Issue 1-2, Jan 2005, pp 45-74

doi: 10.1017/S1471068403001923 (About doi), Published online by Cambridge University Press 10 Jan 2005

Answer sets for consistent query answering in inconsistent databases

MARCELO ARENAS, LEOPOLDO BERTOSSI and JAN CHOMICKI

Theory and Practice of Logic Programming, Volume 3, Issue 4+5, Jul 2003, pp 393-424

doi: 10.1017/S1471068403001832 (About doi), Published online by Cambridge University Press 31 Jul 2003

Strong equivalence made easy: nested expressions and weight constraints

HUDSON TURNER

Theory and Practice of Logic Programming, Volume 3, Issue 4+5, Jul 2003, pp 609-622

doi: 10.1017/S1471068403001819 (About doi), Published online by Cambridge University Press 31 Jul 2003

Logic programming in the context of multiparadigm programming: the Oz experience

PETER VAN ROY, PER BRAND, DENYS DUCHIER, SEIF HARIDI, CHRISTIAN SCHULTE and MARTIN HENZ

Theory and Practice of Logic Programming, Volume 3, Issue 06, Nov 2003, pp 717-763

doi: 10.1017/S1471068403001741 (About doi), Published online by Cambridge University Press 25 Nov 2003

FLUX: A logic programming method for reasoning agents

MICHAEL THIELSCHER

Theory and Practice of Logic Programming, Volume 5, Issue 4-5, Jul 2005, pp 533-565

doi: 10.1017/S1471068405002358 (About doi), Published online by Cambridge University Press 01 Jul 2005

Preferred answer sets for ordered logic programs

DAVY VAN NIEUWENBORGH and DIRK VERMEIR

Theory and Practice of Logic Programming, Volume 6, Issue 1-2, Jan 2006, pp 107-167

doi: 10.1017/S1471068404002315 (About doi), Published online by Cambridge University Press 27 Jan 2006

Logic program specialisation through partial deduction: Control issues

MICHAEL LEUSCHEL and MAURICE BRUYNOOGHE

Theory and Practice of Logic Programming, Volume 2, Issue 4-5, Jul 2002, pp 461-515

doi: 10.1017/S147106840200145X (About doi), Published online by Cambridge University Press 26 Jul 2002

Defeasible logic programming: an argumentative approach

ALEJANDRO J. GARCÍA and GUILLERMO R. SIMARI

Theory and Practice of Logic Programming, Volume 4, Issue 1+2, Jan 2004, pp 95-138

doi: 10.1017/S1471068403001674 (About doi), Published online by Cambridge University Press 06 Jan 2004

Distributed WWW programming using (Ciao-)Prolog and the PiLLoW library

DANIEL CABEZA and MANUEL HERMENEGILDO

Theory and Practice of Logic Programming, Volume 1, Issue 03, May 2001, pp 251-282

doi: 10.1017/S147106840100117X (About doi), Published online by Cambridge University Press 15 Jun 2001