Skip navigation
Skip navigation

Probabilities on Sentences in an Expressive Logic

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

Description

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

CollectionsANU Research Publications
Date published: 2013
Type: Journal article
URI: http://hdl.handle.net/1885/65800
Source: Journal of Applied Logic
DOI: 10.1016/j.jal.2013.03.003

Download

File Description SizeFormat Image
01_Hutter_Probabilities_on_Sentences_in_2013.pdf445.46 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator