Articles in journal, book chapters
- Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, and Taisuke Sato. CHR(PRISM)-based Probabilistic Logic Learning. In Manuel Hermenegildo and Torsten Schaub, editors, ICLP10l, volume 10(4--6) of TPLP, pages 433-447. CUP, July 2010. [doi:10.1017/S1471068410000207] Keyword(s): probabilistic CHR, CHRiSM, extensions.
- Henning Christiansen. Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 85-118. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_5] Keyword(s): abduction, probabilistic CHR.
- Henning Christiansen and Amr Hany Saleh. Modeling Dependent Events with CHRiSM for Probabilistic Abduction. In Jon Sneyers, editor, CHR11l, pages 48-63, September 2011. GUC, Technical report. [PDF] Keyword(s): abduction, probabilistic CHR, CHRiSM, CHR 2011, CHR 2011.
- Jon Sneyers and Danny De Schreye. Probabilistic Termination of CHRiSM Programs. In German Vidal, editor, LOPSTR11prel, 2011. Keyword(s): termination, CHRiSM, probabilistic CHR.
- Jon Sneyers. Result-directed CHR Execution. In P. Van Weert and L. De Koninck, editors, CHR10l, July 2010. KULCW, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010, CHRiSM, probabilistic CHR, CHR 2010, CHR 2010.
- Jon Sneyers, Wannes Meert, and Joost Vennekens. CHRiSM: Chance Rules induce Statistical Models. In F. Raiser and J. Sneyers, editors, CHR09l, pages 62-76, July 2009. KULCW, Technical report CW 555. [PDF] Keyword(s): CHR 2009, probabilistic CHR, CHRiSM, extensions , CHR 2009, CHR 2009.
- Henning Christiansen. Prioritized Abduction with CHR. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 159-173, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, abduction, priorities, probabilistic CHR, CHR 2008, CHR 2008.
- Thom Frühwirth, Alessandra Di Pierro, and Herbert Wiklicky. Probabilistic Constraint Handling Rules. In M. Comini and M. Falaschi, editors, WFLP '02: Proc. 11th Intl. Workshop on Functional and (Constraint) Logic Programming, Selected Papers, volume 76 of ENTCS, June 2002. Elsevier. Keyword(s): probabilistic CHR, extensions.
BACK TO INDEX