Model Equivalence of PRISM programs

Research output: Other contribution


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öbner bases. A very brief introduction to algebraic statistics is given. Consideration is given to cases where shortcuts to proving/disproving model equivalence are available.
Original languageEnglish
Publication statusPublished - 2007

Fingerprint Dive into the research topics of 'Model Equivalence of PRISM programs'. Together they form a unique fingerprint.

Cite this