Model equivalence of PRISM programs

The problem of deciding the probability model equivalence of two PRISM programs is addressed. In the finite case this problem can be solved (albeit slowly) using techniques from algebraic statistics, specifically the computation of elimination ideals and Gr¨obner bases. A

• Type: Conference
• Year: 2007
• Where: DAGSTUHL
• Authors: James Cussens
• Keywords: DAGSTUHL 2007, Elimination Ideals, PRISM Programs, Probability Model Equivalence, Software Engineering