Regular Papers
Dynamics of knowledge in DeLP through Argument Theory Change
-
- Published online by Cambridge University Press:
- 25 January 2012, pp. 893-957
-
- Article
- Export citation
Invited Editorial
Editorial: 29th International Conference on Logic Programming special issue
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 465-470
-
- Article
-
- You have access
- Export citation
Regular Papers
Finding similar/diverse solutions in answer set programming*
-
- Published online by Cambridge University Press:
- 01 November 2011, pp. 303-359
-
- Article
- Export citation
Relating weight constraint and aggregate programs: Semantics and representation
-
- Published online by Cambridge University Press:
- 30 June 2011, pp. 1-31
-
- Article
- Export citation
Introduction
Introduction to the special issue on the 25th annual GULP conference
-
- Published online by Cambridge University Press:
- 25 January 2012, pp. 147-148
-
- Article
- Export citation
Regular Papers
Detection and exploitation of functional dependencies for model generation
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 471-485
-
- Article
- Export citation
Expressiveness of communication in answer set programming
-
- Published online by Cambridge University Press:
- 01 November 2011, pp. 361-394
-
- Article
- Export citation
Autonomous agents coordination: Action languages meet CLP($\mathcal {FD}$) and Linda*
-
- Published online by Cambridge University Press:
- 24 September 2012, pp. 149-173
-
- Article
- Export citation
Region-based memory management for Mercury programs
-
- Published online by Cambridge University Press:
- 29 May 2012, pp. 959-1024
-
- Article
- Export citation
Semantics for Possibilistic Disjunctive Programs*
-
- Published online by Cambridge University Press:
- 28 July 2011, pp. 33-70
-
- Article
- Export citation
Reasoning with Forest Logic Programs and f-hybrid knowledge bases*†
-
- Published online by Cambridge University Press:
- 30 December 2011, pp. 395-463
-
- Article
- Export citation
Representation sharing for Prolog
-
- Published online by Cambridge University Press:
- 09 August 2011, pp. 71-106
-
- Article
- Export citation
Generalization strategies for the verification of infinite state systems
-
- Published online by Cambridge University Press:
- 25 January 2012, pp. 175-199
-
- Article
- Export citation
The jobs puzzle: Taking on the challenge via controlled natural language processing
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 487-501
-
- Article
- Export citation
Front Cover (OFC, IFC) and matter
TLP volume 13 issue 6 Cover and Front matter
-
- Published online by Cambridge University Press:
- 15 November 2013, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Regular Papers
Lloyd-Topor completion and general stable models
-
- Published online by Cambridge University Press:
- 25 September 2013, pp. 503-515
-
- Article
- Export citation
Interdefinability of defeasible logic and logic programming under the well-founded semantics
-
- Published online by Cambridge University Press:
- 09 August 2011, pp. 107-142
-
- Article
- Export citation
Front Cover (OFC, IFC) and matter
TLP volume 13 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 23 April 2013, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back Cover (IBC, OBC) and matter
TLP volume 13 issue 6 Cover and Back matter
-
- Published online by Cambridge University Press:
- 15 November 2013, pp. b1-b6
-
- Article
-
- You have access
- Export citation
Regular Papers
Reasoning about actions with Temporal Answer Sets
-
- Published online by Cambridge University Press:
- 25 January 2012, pp. 201-225
-
- Article
- Export citation