Theory and Practice of Logic Programming Vol. -1

Theory and Practice of Logic Programming

New Content Alerts
CJO Widget About Widget
Rss
Atom

Table of Contents - Volume -1 - Issue -

View Table of Contents as PDF
Forward TOC

Select All
Deselect All

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

Add to Basket

Regular Papers

Dynamics of knowledge in DeLP through Argument Theory Change Dynamics of knowledge in DeLP through Argument Theory Change

false

preview

Abstract
Article Structure
Figures and Tables
References

MARTÍN O. MOGUILLANSKY, NICOLÁS D. ROTSTEIN, MARCELO A. FALAPPA, ALEJANDRO J. GARCÍA and GUILLERMO R. SIMARI

Theory and Practice of Logic Programming / FirstView Articles

DOI: http://dx.doi.org/10.1017/S1471068411000603 (About DOI), Published online: 25 January 2012

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 Transformation-based implementation for CLP with qualification and proximity A Transformation-based implementation for CLP with qualification and proximity

false

preview

Abstract
Article Structure
Figures and Tables
References

R. CABALLERO, M. RODRÍGUEZ-ARTALEJO and C. A. ROMERO-DÍAZ

Theory and Practice of Logic Programming / FirstView Articles

DOI: http://dx.doi.org/10.1017/S1471068412000014 (About DOI), Published online: 25 April 2012

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

Singular and plural functions for functional logic programming Singular and plural functions for functional logic programming

false

preview

Abstract
Article Structure
Figures and Tables
References

ADRIÁN RIESCO and JUAN RODRÍGUEZ-HORTALÁ

Theory and Practice of Logic Programming / FirstView Articles

DOI: http://dx.doi.org/10.1017/S147106841200004X (About DOI), Published online: 17 May 2012

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

Region-based memory management for Mercury programs Region-based memory management for Mercury programs

false

preview

Abstract
Article Structure
Figures and Tables
References

QUAN PHAN, GERDA JANSSENS and ZOLTAN SOMOGYI

Theory and Practice of Logic Programming / FirstView Articles

DOI: http://dx.doi.org/10.1017/S1471068412000075 (About DOI), Published online: 29 May 2012

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

Tractable answer-set programming with weight constraints: bounded treewidth is not enough Tractable answer-set programming with weight constraints: bounded treewidth is not enough

false

preview

Abstract
Article Structure
Figures and Tables
References

REINHARD PICHLER, STEFAN RÜMMELE, STEFAN SZEIDER and STEFAN WOLTRAN

Theory and Practice of Logic Programming / FirstView Articles

DOI: http://dx.doi.org/10.1017/S1471068412000099 (About DOI), Published online: 17 July 2012

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

The third open answer set programming competition The third open answer set programming competition

false

preview

Abstract
Article Structure
Figures and Tables
References

FRANCESCO CALIMERI, GIOVAMBATTISTA IANNI and FRANCESCO RICCA

Theory and Practice of Logic Programming / FirstView Articles

DOI: http://dx.doi.org/10.1017/S1471068412000105 (About DOI), Published online: 06 September 2012

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
Supplementary Materials
Request Permissions

Transforming floundering into success Transforming floundering into success

false

preview

Abstract
Article Structure
Figures and Tables
References

LEE NAISH

Theory and Practice of Logic Programming / FirstView Articles

DOI: http://dx.doi.org/10.1017/S147106841200035X (About DOI), Published online: 30 October 2012

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

Technical Note

Redundant Sudoku rules Redundant Sudoku rules

false

preview

Abstract
Article Structure
Figures and Tables
References

BART DEMOEN and MARIA GARCIA DE LA BANDA

Theory and Practice of Logic Programming / FirstView Articles

DOI: http://dx.doi.org/10.1017/S1471068412000361 (About DOI), Published online: 30 October 2012

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

Regular Papers

Rewriting and narrowing for constructor systems with call-time choice semantics Rewriting and narrowing for constructor systems with call-time choice semantics

false

preview

Abstract
Article Structure
Figures and Tables
References

FRANCISCO J. LÓPEZ-FRAGUAS, ENRIQUE MARTIN-MARTIN, JUAN RODRÍGUEZ-HORTALÁ and JAIME SÁNCHEZ-HERNÁNDEZ

Theory and Practice of Logic Programming / FirstView Articles

DOI: http://dx.doi.org/10.1017/S1471068412000373 (About DOI), Published online: 30 October 2012

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

An ER-based framework for declarative web programming An ER-based framework for declarative web programming

false

preview

Abstract
Article Structure
Figures and Tables
References

MICHAEL HANUS and SVEN KOSCHNICKE

Theory and Practice of Logic Programming / FirstView Articles

DOI: http://dx.doi.org/10.1017/S1471068412000385 (About DOI), Published online: 30 October 2012

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

GEM: A distributed goal evaluation algorithm for trust management GEM: A distributed goal evaluation algorithm for trust management

false

preview

Abstract
Article Structure
Figures and Tables
References

DANIEL TRIVELLATO, NICOLA ZANNONE and SANDRO ETALLE

Theory and Practice of Logic Programming / FirstView Articles

DOI: http://dx.doi.org/10.1017/S1471068412000397 (About DOI), Published online: 03 December 2012

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
Supplementary Materials
Request Permissions

A goal-directed implementation of query answering for hybrid MKNF knowledge bases A goal-directed implementation of query answering for hybrid MKNF knowledge bases

false

preview

Abstract
Article Structure
Figures and Tables
References

ANA SOFIA GOMES, JOSÉ JÚLIO ALFERES and TERRANCE SWIFT

Theory and Practice of Logic Programming / FirstView Articles

DOI: http://dx.doi.org/10.1017/S1471068412000439 (About DOI), Published online: 18 January 2013

Welcome to Cambridge Journals Online