Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

JACM
2007

favoriteEmaildiscussreport

46views more JACM 2007»

Characterizing and reasoning about probabilistic and non-probabilistic expectation

13 years 4 months ago

Characterizing and reasoning about probabilistic and non-probabilistic expectation

Download www.cs.cornell.edu

Joseph Y. Halpern, Riccardo Pucella

Real-time Traffic

JACM 2007 |

claim paper

Related Content

» Developing and Reasoning About Probabilistic Programs in pGCL

» Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving

» Learning and reasoning about interruption

» Approximate reasoning for realtime probabilistic processes

» Hybrid Probabilistic Logic Programs with Nonmonotonic Negation

» Composition and Behaviors of Probabilistic IO Automata

» The Probabilistic Interpretation of ModelBased Diagnosis

» CostBased Query Answering in Action Probabilistic Logic Programs

» A New Perspective on Algorithms for Optimizing Policies under Uncertainty

Post Info
More Details (n/a)

Added	15 Dec 2010
Updated	15 Dec 2010
Type	Journal
Year	2007
Where	JACM
Authors	Joseph Y. Halpern, Riccardo Pucella

Comments (0)