Probabilities on Sentences in an Expressive Logic

Date

2013

Authors

Hutter, Marcus
Lloyd, John
Ng, Kee Siong
Uther, William T.B.

Journal Title

Journal ISSN

Volume Title

Publisher

Elsevier

Abstract

Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like hig

Description

Keywords

Citation

Source

Journal of Applied Logic

Type

Journal article

Book Title

Entity type

Access Statement

License Rights

DOI

10.1016/j.jal.2013.03.003

Restricted until

2037-12-31