Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
An algorithm to compute circumscription
Artificial Intelligence
A circumscriptive theorem prover
Artificial Intelligence
Axioms for probability and belief-function propagation
Readings in uncertain reasoning
On theorem provers for circumscription
Proceedings of the eighth biennial conference of the Canadian Society for Computational Studies of Intelligence on CSCSI-90
PULCinella: a general tool for propagating uncertainty in valuation networks
Proceedings of the seventh conference (1991) on Uncertainty in artificial intelligence
Linear resolution for consequence finding
Artificial Intelligence
Markov Chain Monte-Carlo algorithms for the calculation of Dempster-Shafer belief
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Computing circumscription revisited: preliminary report
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Uncertain information: Random variables in graded semilattices
International Journal of Approximate Reasoning
On the Use of Possibilistic Bases for Local Computations in Product-Based Possibilistic Networks
CAI '07 Proceedings of the 20th conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
Formal Theories of Information
Journal of Computer and System Sciences
Hi-index | 0.00 |