A complexity analysis of assumption-based truth maintenance systems

An analysis of ATMS-based techniques for computing Dempster-Shafer belief functions

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2

Average-case analysis of a search algorithm for estimating prior and posterior probabilities in Bayesian networks with extreme probabilities

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1

Representing diagnostic knowledge for probabilistic Horn abduction

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2