Theory and Practice of Logic Programming FirstView Articles

Theory and Practice of Logic Programming

New Content Alerts
CJO Widget About Widget
Rss
Atom

Table of Contents - FirstView Articles ...

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

A multi-engine approach to answer-set programming A multi-engine approach to answer-set programming

false

preview

Abstract
Article Structure
Figures and Tables
References

MARCO MARATEA, LUCA PULINA and FRANCESCO RICCA

Theory and Practice of Logic Programming / FirstView Articles

DOI: http://dx.doi.org/10.1017/S1471068413000094 (About DOI), Published online: Thu Aug 15 00:00:00 BST 2013

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (714 KB)
References
(64 KB)
Request Permissions

Complexity of super-coherence problems in ASP Complexity of super-coherence problems in ASP

false

preview

Abstract
Article Structure
Figures and Tables
References

MARIO ALVIANO, WOLFGANG FABER and STEFAN WOLTRAN

Theory and Practice of Logic Programming / FirstView Articles

DOI: http://dx.doi.org/10.1017/S147106841300001X (About DOI), Published online: Fri Aug 09 00:00:00 BST 2013

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (243 KB)
References
(38 KB)
Request Permissions

Optimal multibinding unification for sharing and linearity analysis Optimal multibinding unification for sharing and linearity analysis

false

preview

Abstract
Article Structure
Figures and Tables
References

GIANLUCA AMATO and FRANCESCA SCOZZARI

Theory and Practice of Logic Programming / FirstView Articles

DOI: http://dx.doi.org/10.1017/S1471068413000070 (About DOI), Published online: Fri Aug 09 00:00:00 BST 2013

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (700 KB)
References
(25 KB)
Request Permissions

The rise and fall of semantic rule updates based on SE-models The rise and fall of semantic rule updates based on SE-models

false

preview

Abstract
Article Structure
Figures and Tables
References

MARTIN SLOTA and JOÃO LEITE

Theory and Practice of Logic Programming / FirstView Articles

DOI: http://dx.doi.org/10.1017/S1471068413000100 (About DOI), Published online: Wed Aug 07 00:00:00 BST 2013

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (300 KB)
References
(45 KB)
Request Permissions

Book Reviews

Independence-Friendly Logic: A Game-Theoretic Approach, Allen L. Mann, Gabriel Sandu and Merlijn Sevenster, Cambridge University Press, 2011. Paperback, ISBN 9780521149341, 216 pp. Independence-Friendly Logic: A Game-Theoretic Approach, Allen L. Mann, Gabriel Sandu and Merlijn Sevenster, Cambridge University Press, 2011. Paperback, ISBN 9780521149341, 216 pp.

false

preview

Abstract
Article Structure
Figures and Tables
References

Jouko Väänänen

Theory and Practice of Logic Programming / FirstView Articles

DOI: http://dx.doi.org/10.1017/S1471068413000082 (About DOI), Published online: Tue Jul 30 00:00:00 BST 2013

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (59 KB)
References
(13 KB)
Request Permissions

Regular Papers

Truth versus information in logic programming Truth versus information in logic programming

false

preview

Abstract
Article Structure
Figures and Tables
References

LEE NAISH and HARALD SØNDERGAARD

Theory and Practice of Logic Programming / FirstView Articles

DOI: http://dx.doi.org/10.1017/S1471068413000069 (About DOI), Published online: Mon Jun 03 00:00:00 BST 2013

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (411 KB)
References
(53 KB)
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: Fri Jan 18 00:00:00 GMT 2013

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (278 KB)
References
(25 KB)
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: Mon Dec 03 00:00:00 GMT 2012

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (407 KB)
References
(54 KB)
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: Tue Oct 30 00:00:00 GMT 2012

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (185 KB)
References
(24 KB)
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: Tue Oct 30 00:00:00 GMT 2012

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (1.517578125 MB)
References
(7 KB)
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: Tue Oct 30 00:00:00 GMT 2012

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (617 KB)
References
(56 KB)
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: Tue Oct 30 00:00:00 GMT 2012

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (425 KB)
References
(17 KB)
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: Thu Sep 06 00:00:00 BST 2012

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (527 KB)
References
(66 KB)
Supplementary Materials
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: Tue Jul 17 00:00:00 BST 2012

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (269 KB)
References
(20 KB)
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: Tue May 29 00:00:00 BST 2012

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (908 KB)
References
(26 KB)
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: Thu May 17 00:00:00 BST 2012

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (723 KB)
References
(46 KB)
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: Wed Apr 25 00:00:00 BST 2012

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (490 KB)
References
(40 KB)
Request Permissions

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: Wed Jan 25 00:00:00 GMT 2012

Welcome to Stanford University Libraries