rzese/trill

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

Language: Prolog - Size: 20.9 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 13 - Forks: 5