Readers of this newsgroup may be interested in the following article just
published by JAIR:
Halpern, J.Y. and Pucella, R. (2002)
"A Logic for Reasoning about Upper Probabilities", Volume 17, pages 57-81.
Available in PDF, PostScript and compressed PostScript.
For quick access via your WWW browser, use this URL:
http://www.jair.org/abstracts/halpern02a.html
More detailed instructions are below.
Abstract: We present a propositional logic to reason about the
uncertainty of events, where the uncertainty is modeled by a set of
probability measures assigning an interval of probability to each
event. We give a sound and complete axiomatization for the logic, and
show that the satisfiability problem is NP-complete, no harder than
satisfiability for propositional logic.
The article is available via:
-- comp.ai.jair.papers (also see comp.ai.jair.announce)
-- World Wide Web: The URL for our World Wide Web server is
http://www.jair.org/
For direct access to this article and related files try:
http://www.jair.org/abstracts/halpern02a.html
-- Anonymous FTP from Carnegie-Mellon University (USA):
ftp://ftp.cs.cmu.edu/project/jair/volume17/halpern02a.ps
The compressed PostScript file is named halpern02a.ps.Z (173K)
For more information about JAIR, visit our WWW or FTP sites, or
contact [EMAIL PROTECTED]
