tableau-reasoner

There are 1 repositories under tableau-reasoner topic.

  • rzese/trill

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

    Language:Prolog13435