7 results
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 5 / September 2021
- Published online by Cambridge University Press:
- 27 September 2021, pp. 557-574
-
- Article
- Export citation
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 3 / May 2019
- Published online by Cambridge University Press:
- 14 January 2019, pp. 449-476
-
- Article
- Export citation
Editorial: 29th International conference on logic programming special issue – ADDENDUM
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 1 / January 2018
- Published online by Cambridge University Press:
- 10 August 2017, p. 121
-
- Article
- Export citation
Lifted Variable Elimination for Probabilistic Logic Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 4-5 / July 2014
- Published online by Cambridge University Press:
- 21 July 2014, pp. 681-695
-
- Article
- Export citation
Editorial: 29th International Conference on Logic Programming special issue
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 4-5 / July 2013
- Published online by Cambridge University Press:
- 25 September 2013, pp. 465-470
-
- Article
-
- You have access
- Export citation
A CHR-based implementation of known arc-consistency
-
- Journal:
- Theory and Practice of Logic Programming / Volume 5 / Issue 4-5 / July 2005
- Published online by Cambridge University Press:
- 01 July 2005, pp. 419-440
-
- Article
- Export citation