A method for managing evidential reasoning in a hierarchical hypothesis space
Artificial Intelligence
Artificial Intelligence
A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
Implementing Dempster's rule for hierarchial evidence
Artificial Intelligence
Evidential support logic programming
Fuzzy Sets and Systems
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
A complexity analysis of assumption-based truth maintenance systems
Reason maintenance systems and their applications
A Logic-Based Analysis of Dempster Shafer Theory
A Logic-Based Analysis of Dempster Shafer Theory
The belief calculus and uncertain reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
CATMS: an ATMS which avoids label explosions
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Syntax-based default reasoning as probabilistic model-based diagnosis
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
A reason maintenance system dealing with vague data
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Representing Bayesian networks within probabilistic horn abduction
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Hi-index | 0.00 |
Model-based revision of knowledge bases expressed as first-order theories was shown in [Winslett 88b] to be useful as a means of describing and reasoning about the effects of actions. This paper shows that model-based theory revision is actually expressible ...