Probabilistic legal reasoning in CHRiSM - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Jon Sneyers, Danny De Schreye, Thom W. Frühwirth. Probabilistic legal reasoning in CHRiSM. TPLP, 13(4-5):769-781, 2013. [doi]

The following publications are possibly variants of this publication:

Probabilistic Termination of CHRiSM ProgramsJon Sneyers, Danny De Schreye. LOPSTR 2012: 221-236 [doi]

Guard Reasoning in the Refined Operational Semantics of CHRJon Sneyers, Tom Schrijvers, Bart Demoen. In Tom Schrijvers, Thom W. FrÃ¼hwirth, editors, Constraint Handling Rules, Current Research Topics. Volume 5388 of Lecture Notes in Computer Science, pages 213-244, Springer, 2008. [doi]

CHR(PRISM)-based probabilistic logic learningJon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato. tplp, 10(4-6):433-447, 2010. [doi]

runs on WebDSL