Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions. - Michael Wachter 001; Rolf Haenni (KR, 2006)

Multi-state Directed Acyclic Graphs. - Michael Wachter 001; Rolf Haenni (Canadian AI, 2007)

Logical Compilation of Bayesian Networks with Discrete Variables. - Michael Wachter 001; Rolf Haenni (ECSQARU, 2007)

Compiling Solution Configurations in Semiring Valuation Systems. - Marc Pouly; Rolf Haenni; Michael Wachter 001 (MICAI, 2007)

Optimizing Inference in Bayesian Networks and Semiring Valuation Algebras. - Michael Wachter 001; Rolf Haenni; Marc Pouly (MICAI, 2007)