R. Buxton
-
Proof of the Correctness of EMYCIN Sequential Propagation Under Conditional Independence Assumptions
IEEE Transactions on Knowledge and Data Engineering
Towards a Logic of Perishable Propositions
Applied Intelligence