Explore projects

Python implementation of semantics for cyclic Bayesian Networks.

Reasoner for restricted cardinality constraints over ALC concept descriptions. Implemented on top of the Z3 solver.

This public repository contains a prototypical Python tool to evaluate cyclic Bayesian networks according to the semantics presented in the paper "On the Foundations of Cycles in Bayesian Networks".