TRILL INC (temporary name) is an extension of the reasoner TRILL (https://github.com/rzese/trill) able to compute probability of queries from inconsistent probabilistic knowledge bases.
Primary LanguageProlog