Explore projects

Python implementation of semantics for cyclic Bayesian Networks.

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".

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