2017-2018
This library is developed to perform efficient and exact computation of Dempster's and Fagin-Halpern conditionals (DS-Conditional-One and DS-Conditional-All in C++).
2016-2017
This library is developed to perform arbitrary conditional computations in the Dempster-Shafer belief theoretic framework.
2014-2016
This library provides the implementation of REGAP strategy and a framework for DST implementations with three data structures: DS-Vector, DS-Matrix and DS-Tree.