Introduction
Introduction to the special issue on the International Web Rule Symposia 2012–2014
-
- Published online by Cambridge University Press:
- 07 March 2016, pp. 243-246
-
- Article
- Export citation
Regular Papers
Putting logic-based distributed systems on stable grounds
-
- Published online by Cambridge University Press:
- 20 August 2015, pp. 378-417
-
- Article
- Export citation
Introduction
Introduction to the 32nd International Conference on Logic Programming Special Issue
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 509-514
-
- Article
- Export citation
Regular Papers
Description and Optimization of Abstract Machines in a Dialect of Prolog*
-
- Published online by Cambridge University Press:
- 05 January 2015, pp. 1-58
-
- Article
- Export citation
CLP(H): Constraint logic programming for hedges*
-
- Published online by Cambridge University Press:
- 16 April 2015, pp. 141-162
-
- Article
- Export citation
A model building framework for answer set programming with external computations*
-
- Published online by Cambridge University Press:
- 13 August 2015, pp. 418-464
-
- Article
- Export citation
AC-KBO revisited*†
-
- Published online by Cambridge University Press:
- 08 June 2015, pp. 163-188
-
- Article
- Export citation
Assertion-based analysis via slicing with ABETS* (system description)
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 515-532
-
- Article
- Export citation
Justifying answer sets using argumentation
-
- Published online by Cambridge University Press:
- 11 February 2015, pp. 59-110
-
- Article
- Export citation
Solving stable matching problems using answer set programming
-
- Published online by Cambridge University Press:
- 07 March 2016, pp. 247-268
-
- Article
- Export citation
Characterization of logic program revision as an extension of propositional revision*
-
- Published online by Cambridge University Press:
- 13 August 2015, pp. 111-138
-
- Article
- Export citation
Programming in logic without logic programming
-
- Published online by Cambridge University Press:
- 16 March 2016, pp. 269-295
-
- Article
- Export citation
Anytime answer set optimization via unsatisfiable core shrinking
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 533-551
-
- Article
- Export citation
Disjunctive answer set solvers via templates
-
- Published online by Cambridge University Press:
- 17 December 2015, pp. 465-497
-
- Article
- Export citation
Modular action language
${\mathcal ALM}$
-
- Published online by Cambridge University Press:
- 06 July 2015, pp. 189-235
-
- Article
- Export citation
Book Review
All about Proofs, Proofs for All, Bruno Woltzenlogel Paleo and David Delahaye , Eds., College Publications, Series Mathematical Logic and Foundations, vol. 55., 2015. Paperback, ISBN 978-1-84890-166-7, vii + 240 pages.
-
- Published online by Cambridge University Press:
- 10 August 2015, pp. 236-241
-
- Article
- Export citation
Regular Papers
The power of non-ground rules in Answer Set Programming
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 552-569
-
- Article
- Export citation
On definite program answers and least Herbrand models
-
- Published online by Cambridge University Press:
- 03 May 2016, pp. 498-508
-
- Article
- Export citation
The rationale behind the concept of goal
-
- Published online by Cambridge University Press:
- 31 March 2016, pp. 296-324
-
- Article
-
- You have access
- Export citation
Corrigendum
Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - CORRIGENDUM
-
- Published online by Cambridge University Press:
- 16 March 2015, p. 139
-
- Article
-
- You have access
- Export citation