Sciweavers

1108 search results - page 100 / 222
» Visualization of Uncertainty and Reasoning
Sort
View
POPL
2002
ACM
15 years 10 months ago
Stochastic lambda calculus and monads of probability distributions
Probability distributions are useful for expressing the meanings of probabilistic languages, which support formal modeling of and reasoning about uncertainty. Probability distribu...
Norman Ramsey, Avi Pfeffer
IROS
2009
IEEE
172views Robotics» more  IROS 2009»
15 years 4 months ago
Modeling mobile robot motion with polar representations
— This article compares several parameterizations and motion models for improving the estimation of the nonlinear uncertainty distribution produced by robot motion. In previous w...
Joseph Djugash, Sanjiv Singh, Ben Grocholsky
RR
2009
Springer
15 years 4 months ago
Belief Logic Programming with Cyclic Dependencies
Our previous work [26] introduced Belief Logic Programming (BLP), a novel form of quantitative logic programming with correlation of evidence. Unlike other quantitative approaches ...
Hui Wan
TARK
2009
Springer
15 years 4 months ago
A logical characterization of iterated admissibility
Brandenburger, Friedenberg, and Keisler provide an epistemic characterization of iterated admissibility (i.e., iterated deletion of weakly dominated strategies) where uncertainty ...
Joseph Y. Halpern, Rafael Pass
ECSQARU
2007
Springer
15 years 4 months ago
On Decision Support Under Risk by the WOWA Optimization
Abstract. The problem of averaging outcomes under several scenarios to form overall objective functions is of considerable importance in decision support under uncertainty. The fuz...
Wlodzimierz Ogryczak, Tomasz Sliwinski