Cambridge Journals Online - Theory and Practice of Logic Programming Vol. 4 Iss. 1+2

Home
CJO Mobile
Mobile Device Twinning
Contact Us
Site Map
Help
FAQ
Accessibility
Register

Basket
Log in

User Log-in
Institutional Log-in
Register for an Account

Username or Email Address:

Password:

Remember me

Forgot your Password? Log in

Trouble Logging in?

You can also login through:

Facebook
Twitter
Google Plus

About Us
News
Browse Journals
Authors
- Authors Home
Societies
- Societies Home
Librarians
Agents
- Agents Home
Users
- Users Home
Corporate
- Corporate Home

Citation Search
Quick Search

Advanced Search

Welcome to Cambridge Journals Online

To access subscriptions and personalised features please log in or register

Register for an Account

Theory and Practice of Logic Programming

Journal Information

Editorial Board
Book Review Info
Instructions for Contributors
Transfer of Copyright
Abstracting & Indexing Services
Request Permissions
Advertising Information

Theory and Practice of Logic Programming Home

Save Journal to My CJO Account

Browse Journal

FirstView Articles
Latest Issue
Back Issues

Browse Articles

Most Downloaded
Most Cited

Submit Your Article
Sign-Up for Contents Alerts

Subscribe & Recommend Journal

Subscribe to Journal

Related Journals

ReCALL
Journal of Functional Programming
Natural Language Engineering
The Review of Symbolic Logic
LMS Journal of Computation and Mathematics

Association for Logic Programming
SPARC - Scholarly Publishing and Academic Resources Coalition

Advertising and Corporate Sales
Request Permissions

CJO Search Widget What is this?
Add Cambridge Journals Online as a search option in your browser toolbar. What is this?

Access Information

Consortia Access
Free Access
Individual Access
Open Access
Pay-per-View Access
Subscription Access

Home
>
Theory and Practice of Logic Programming
>
Vol. 4 Issue 1+2

Theory and Practice of Logic Programming

New Content Alerts
CJO Widget About Widget
Rss
Atom

Table of Contents - Volume 4 - Issue 1+2 - 2004

View Table of Contents as PDF
View Cover
Forward TOC

Previous Issue
Next Issue

Select All
Deselect All

View Selected Abstracts
Save to My Saved Articles
Export Citation (s)
Download PDF (s)

Add to Basket

Regular Papers

Polymorphic lemmas and definitions in $\lambda$Prolog and Twelf Polymorphic lemmas and definitions in \$\lambda\$Prolog and Twelf

false

Abstract
Article Structure
Figures and Tables
References

ANDREW W. APPEL and AMY P. FELTY

Theory and Practice of Logic Programming / Volume 4 / Issue 1+2 / January 2004, pp 1 - 39

DOI: http://dx.doi.org/10.1017/S1471068403001698 (About DOI), Published online: 06 January 2004

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

A proof theoretic approach to failure in functional logic programming A proof theoretic approach to failure in functional logic programming

false

Abstract
Article Structure
Figures and Tables
References

FRANCISCO J. LÓPEZ-FRAGUAS and JAIME SÁNCHEZ-HERNÁNDEZ

Theory and Practice of Logic Programming / Volume 4 / Issue 1+2 / January 2004, pp 41 - 74

DOI: http://dx.doi.org/10.1017/S1471068403001728 (About DOI), Published online: 06 January 2004

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Minimal founded semantics for disjunctive logic programs and deductive databases Minimal founded semantics for disjunctive logic programs and deductive databases

false

Abstract
Article Structure
Figures and Tables
References

FILIPPO FURFARO, GIANLUIGI GRECO and SERGIO GRECO

Theory and Practice of Logic Programming / Volume 4 / Issue 1+2 / January 2004, pp 75 - 93

DOI: http://dx.doi.org/10.1017/S1471068403001704 (About DOI), Published online: 06 January 2004

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Defeasible logic programming: an argumentative approach Defeasible logic programming: an argumentative approach

false

Abstract
Article Structure
Figures and Tables
References

ALEJANDRO J. GARCÍA and GUILLERMO R. SIMARI

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

DOI: http://dx.doi.org/10.1017/S1471068403001674 (About DOI), Published online: 06 January 2004

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Offline specialisation in Prolog using a hand-written compiler generator Offline specialisation in Prolog using a hand-written compiler generator

false

Abstract
Article Structure
Figures and Tables
References

MICHAEL LEUSCHEL, JESPER JØRGENSEN, WIM VANHOOF and MAURICE BRUYNOOGHE

Theory and Practice of Logic Programming / Volume 4 / Issue 1+2 / January 2004, pp 139 - 191

DOI: http://dx.doi.org/10.1017/S1471068403001662 (About DOI), Published online: 06 January 2004

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Computing stable models: worst-case performance estimates Computing stable models: worst-case performance estimates

false

Abstract
Article Structure
Figures and Tables
References

ZBIGNIEW LONC and MIROSLAW TRUSZCZYNSKI

Theory and Practice of Logic Programming / Volume 4 / Issue 1+2 / January 2004, pp 193 - 231

DOI: http://dx.doi.org/10.1017/S147106840300173X (About DOI), Published online: 06 January 2004

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Book Reviews

Programming Constraint Services: High level Programming of Standard and New Constraint Services by Christian Schulte, published in 2002 by Springer in the series Lecture Notes in Artificial Intelligence, vol. 2302, ISBN 3-540-43371-6, xii + 176 pages, paperback. Programming Constraint Services: High level Programming of Standard and New Constraint Services by Christian Schulte, published in 2002 by Springer in the series Lecture Notes in Artificial Intelligence, vol. 2302, ISBN 3-540-43371-6, xii + 176 pages, paperback.

false

Abstract
Article Structure
Figures and Tables
References

François Laburthe

Theory and Practice of Logic Programming / Volume 4 / Issue 1+2 / January 2004, pp 233 - 235

DOI: http://dx.doi.org/10.1017/S1471068403211935 (About DOI), Published online: 06 January 2004

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Knowledge Representation, Reasoning and Declarative Problem Solving by Chitta Baral, Cambridge University Press, 2003. ISBN 0-521-81802-8 (hardback), xiv + 530 pages. Knowledge Representation, Reasoning and Declarative Problem Solving by Chitta Baral, Cambridge University Press, 2003. ISBN 0-521-81802-8 (hardback), xiv + 530 pages.

false

Abstract
Article Structure
Figures and Tables
References

Miroslaw Truszczynski

Theory and Practice of Logic Programming / Volume 4 / Issue 1+2 / January 2004, pp 235 - 237

DOI: http://dx.doi.org/10.1017/S1471068403221931 (About DOI), Published online: 06 January 2004

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

View Selected Abstracts
Save to My Saved Articles
Export Citation (s)
Download PDF (s)

Add to Basket

View Table of Contents as PDF
View Cover
Forward TOC

Previous Issue
Next Issue

Copyright Statement
Rights and Permissions
Privacy Policy
Terms of Use
Feedback
Press Releases

© Cambridge University Press

Cambridge University Press

Cross Ref
Cited by CrossRef
Project Counter
Level Double-A conformance icon, W3C-WAI Web Content Accessibility Guidelines 1.0
RSS Feed
Get Adobe Reader
Automated Content Access Protocol enabled