Regular Papers
The pragmatic proof: Hypermedia API composition and execution
-
- Published online by Cambridge University Press:
- 07 March 2016, pp. 1-48
-
- Article
- Export citation
A linear algebraic approach to datalog evaluation
-
- Published online by Cambridge University Press:
- 22 May 2017, pp. 244-265
-
- Article
- Export citation
Introduction
Introduction to the 33rd international conference on logic programming special issue
-
- Published online by Cambridge University Press:
- 06 October 2017, pp. 684-688
-
- Article
- Export citation
Invited Editorial
Preface
-
- Published online by Cambridge University Press:
- 02 August 2017, pp. 359-364
-
- Article
-
- You have access
- Export citation
Regular Papers
Default rules for Curry*
-
- Published online by Cambridge University Press:
- 01 July 2016, pp. 121-147
-
- Article
- Export citation
Inspecting Maude variants with GLINTS*
-
- Published online by Cambridge University Press:
- 24 August 2017, pp. 689-707
-
- Article
- Export citation
Contractibility for open global constraints
-
- Published online by Cambridge University Press:
- 27 June 2017, pp. 365-407
-
- Article
- Export citation
Consistency and trust in peer data exchange systems
-
- Published online by Cambridge University Press:
- 29 July 2016, pp. 148-204
-
- Article
- Export citation
ASPeRiX, a first-order forward chaining approach for answer set computing*
-
- Published online by Cambridge University Press:
- 16 January 2017, pp. 266-310
-
- Article
- Export citation
Rapid Communication
Enablers and inhibitors in causal justifications of logic programs*
-
- Published online by Cambridge University Press:
- 03 May 2016, pp. 49-74
-
- Article
- Export citation
Regular Papers
Clingcon: The next generation*
-
- Published online by Cambridge University Press:
- 28 June 2017, pp. 408-461
-
- Article
- Export citation
Model enumeration in propositional circumscription via unsatisfiable core analysis*
-
- Published online by Cambridge University Press:
- 22 August 2017, pp. 708-725
-
- Article
- Export citation
Non-monotonic spatial reasoning with answer set programming modulo theories*†
-
- Published online by Cambridge University Press:
- 30 August 2016, pp. 205-225
-
- Article
- Export citation
Technical Note
Range-based argumentation semantics as two-valued models
-
- Published online by Cambridge University Press:
- 03 May 2016, pp. 75-90
-
- Article
- Export citation
Regular Papers
αCheck: A mechanized metatheory model checker*
-
- Published online by Cambridge University Press:
- 22 May 2017, pp. 311-352
-
- Article
- Export citation
Book Review
Computation, Proof, Machine: Mathematics Enters a New Age, Gilles Dowek , Cambridge University Press, 2015. Hardback, ISBN 978-0-521-11801-9, 152 pages.
-
- Published online by Cambridge University Press:
- 17 March 2017, pp. 353-358
-
- Article
- Export citation
Technical Note
Temporal logic programs with variables*
-
- Published online by Cambridge University Press:
- 11 November 2016, pp. 226-243
-
- Article
- Export citation
Regular Papers
Constraint answer set solver EZCSP and why integration schemas matter
-
- Published online by Cambridge University Press:
- 29 June 2017, pp. 462-515
-
- Article
- Export citation
The KB paradigm and its application to interactive configuration*
-
- Published online by Cambridge University Press:
- 01 July 2016, pp. 91-117
-
- Article
- Export citation
Finite model reasoning over existential rules*
-
- Published online by Cambridge University Press:
- 24 August 2017, pp. 726-743
-
- Article
- Export citation