Regular Papers
Timed soft concurrent constraint programs: An interleaved and a parallel approach
-
- Published online by Cambridge University Press:
- 06 June 2014, pp. 743-782
-
- Article
- Export citation
Unfolding for CHR programs
-
- Published online by Cambridge University Press:
- 08 October 2013, pp. 264-311
-
- Article
- Export citation
Rapid Publications from the 12th International Conference on Logic Programming and Nonmonotonic Reasoning
An application of answer set programming to the field of second language acquisition
-
- Published online by Cambridge University Press:
- 22 January 2014, pp. 1-17
-
- Article
- Export citation
Introduction
Introduction to the special issue on probability, logic and learning
-
- Published online by Cambridge University Press:
- 23 May 2014, pp. 145-146
-
- Article
- Export citation
Introduction to the 31st International Conference on Logic Programming special issue
-
- Published online by Cambridge University Press:
- 03 September 2015, pp. 413-418
-
- Article
- Export citation
Regular Papers
Tabling as a library with delimited control
-
- Published online by Cambridge University Press:
- 03 September 2015, pp. 419-433
-
- Article
-
- You have access
- Export citation
Viterbi training in PRISM
-
- Published online by Cambridge University Press:
- 28 January 2014, pp. 147-168
-
- Article
- Export citation
Rapid Publications from the 12th International Conference on Logic Programming and Nonmonotonic Reasoning
On equivalence of infinitary formulas under the stable model semantics
-
- Published online by Cambridge University Press:
- 16 May 2014, pp. 18-34
-
- Article
- Export citation
Regular Papers
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
-
- Published online by Cambridge University Press:
- 14 May 2014, pp. 783-817
-
- Article
-
- You have access
- Export citation
Abstract interpretation of temporal concurrent constraint programs
-
- Published online by Cambridge University Press:
- 10 February 2014, pp. 312-357
-
- Article
- Export citation
Random logic programs: Linear model
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 818-853
-
- Article
- Export citation
Inference and learning in probabilistic logic programs using weighted Boolean formulas
-
- Published online by Cambridge University Press:
- 15 April 2014, pp. 358-401
-
- Article
-
- You have access
- Export citation
Structure learning of probabilistic logic programs by searching the clause space
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 169-212
-
- Article
- Export citation
Improved answer-set programming encodings for abstract argumentation
-
- Published online by Cambridge University Press:
- 03 September 2015, pp. 434-448
-
- Article
- Export citation
Generating explanations for biomedical queries
-
- Published online by Cambridge University Press:
- 17 December 2013, pp. 35-78
-
- Article
- Export citation
Abstract gringo
-
- Published online by Cambridge University Press:
- 03 September 2015, pp. 449-463
-
- Article
- Export citation
Technical Note
Decidability of the Clark's completion semantics for monadic programs and queries
-
- Published online by Cambridge University Press:
- 16 December 2014, pp. 402-412
-
- Article
- Export citation
Regular Papers
Characterizing and extending answer set semantics using possibility theory
-
- Published online by Cambridge University Press:
- 10 January 2014, pp. 79-116
-
- Article
-
- You have access
- Export citation
Checking termination of bottom-up evaluation of logic programs with function symbols*
-
- Published online by Cambridge University Press:
- 13 August 2014, pp. 854-889
-
- Article
- Export citation
A probabilistic logic programming event calculus
-
- Published online by Cambridge University Press:
- 22 May 2014, pp. 213-245
-
- Article
-
- You have access
- Export citation