Probabilities on Sentences in an Expressive Logic

Simple item page
dc.contributor.authorHutter, Marcus
dc.contributor.authorLloyd, John
dc.contributor.authorNg, Kee Siong
dc.contributor.authorUther, William T.B.
dc.date.accessioned2015-12-10T23:18:50Z
dc.date.issued2013
dc.date.updated2016-02-24T10:57:42Z
dc.description.abstractAutomated 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
dc.identifier.issn1570-8683
dc.identifier.urihttp://hdl.handle.net/1885/65800
dc.publisherElsevier
dc.rightsCopyright Information: © 2013 Elsevier B.V.http://www.sherpa.ac.uk/romeo/issn/1570-8683/..."Author's post-print on open access repository after an embargo period of between 12 months and 48 months" from SHERPA/RoMEO site (as at 13/08/15)
dc.sourceJournal of Applied Logic
dc.titleProbabilities on Sentences in an Expressive Logic
dc.typeJournal article
local.bibliographicCitation.lastpage420
local.bibliographicCitation.startpage386
local.contributor.affiliationHutter, Marcus, College of Engineering and Computer Science, ANU
local.contributor.affiliationLloyd, John, College of Engineering and Computer Science, ANU
local.contributor.affiliationNg, Kee Siong, College of Engineering and Computer Science, ANU
local.contributor.affiliationUther, William T.B., National ICT Australia
local.contributor.authoruidHutter, Marcus, u4350841
local.contributor.authoruidLloyd, John, u9816796
local.contributor.authoruidNg, Kee Siong, u9914730
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.identifier.absfor080401 - Coding and Information Theory
local.identifier.absfor010404 - Probability Theory
local.identifier.absfor080203 - Computational Logic and Formal Languages
local.identifier.absseo970108 - Expanding Knowledge in the Information and Computing Sciences
local.identifier.absseo970101 - Expanding Knowledge in the Mathematical Sciences
local.identifier.ariespublicationu4334215xPUB1162
local.identifier.citationvolume11
local.identifier.doi10.1016/j.jal.2013.03.003
local.identifier.scopusID2-s2.0-84887106319
local.identifier.thomsonID000327288300004
local.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
01_Hutter_Probabilities_on_Sentences_in_2013.pdf
Size:
445.46 KB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2025 LYRASIS