Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Halpern, Joseph Y. Add to Alert Profile  
 
Options:
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 per column
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy