rzese/trill

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.