Search
for Author
All Reviews
Halpern, Joseph Y.
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
5
of
12
reviews
Reasoning about uncertainty (2nd ed.)
Halpern J., The MIT Press, Cambridge, MA, 2017. 504 pp. Type: Book (978-0-262533-80-5)
Halpern’s first edition, published in 2003, was recognized as: “a fine book and a mighty piece of scholarship” [1]; “an inspiring book, multifaceted and full of fresh reflections, findings and ex...
...
Oct 25 2017
Actual causality
Halpern J., The MIT Press, Cambridge, MA, 2016. 240 pp. Type: Book (978-0-262035-02-6)
There are two types of causality according to Halpern: type causality (“Smoking causes cancer”) and actual causality (“Were the faulty brakes responsible for the accident?”). According to the aut...
...
Feb 28 2017
What causes a system to satisfy a specification?
Chockler H., Halpern J., Kupferman O. ACM Transactions on Computational Logic 9(3): 1-26, 2008. Type: Article
Properties of finite state systems can be expressed using temporal languages; checking whether a given system satisfies the properties specified is an interesting verification problem. There are tools that provide estimations on how we...
...
Aug 20 2008
Reasoning about uncertainty
Halpern J., MIT Press, Cambridge, MA, 2003. Type: Book (9780262083201), Reviews: (2 of 2)
This interesting book presents a wide-ranging view of its subject. However, the sequence of chapters could have been organized better for increased readability....
...
Apr 1 2004
Reasoning about uncertainty
Halpern J., MIT Press, Cambridge, MA, 2003. Type: Book (9780262083201), Reviews: (1 of 2)
Uncertainty is fundamental and unavoidable in the world. In this impressive mathematical book, the author uses a distinct approach to represent and examine uncertainty. He presents a meaningful and unified formal framework for uncertai...
...
Mar 8 2004
Display
5
10
15
25
50
100
per column
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy