DC FieldValueLanguage
dc.contributor.authorPerović, Aleksandaren
dc.contributor.authorOgnjanović, Zoranen
dc.contributor.authorRašković, Miodragen
dc.contributor.authorMarković, Zoranen
dc.date.accessioned2020-02-18T20:06:30Z-
dc.date.available2020-02-18T20:06:30Z-
dc.date.issued2008-01-01en
dc.identifier.isbn978-3-540-77683-3en
dc.identifier.issn0302-9743en
dc.description.abstractThe paper presents a sound and strongly complete axiomatization of reasoning about polynomial weight formulas. In addition, the PSPACE decision procedure for polynomial weight formulas developed by Fagin, Halpern and Megiddo works for our logic as well. The introduced formalism allows the expression of qualitative probability statements, conditional probability and Bayesian inference. © 2008 Springer-Verlag Berlin Heidelberg.en
dc.publisherSpringer Link-
dc.relation.ispartofLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)en
dc.subjectProbabilistic logics | Polynomials | Polynomial weight | Bayesian inference-
dc.titleA probabilistic logic with polynomial weight formulasen
dc.typeArticleen
dc.relation.conference5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008; Pisa; Italy; 11 February 2008 through 15 February 2008-
dc.identifier.doi10.1007/978-3-540-77684-0_17en
dc.identifier.scopus2-s2.0-49949088900en
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage239-
dc.relation.lastpage252-
dc.relation.volume4932 LNCS-
dc.description.rankM23-
item.fulltextNo Fulltext-
item.openairetypeArticle-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.grantfulltextnone-
crisitem.author.orcid0000-0003-2508-6480-
Show simple item record

SCOPUSTM   
Citations

15
checked on Nov 28, 2022

Page view(s)

45
checked on Nov 28, 2022

Google ScholarTM

Check

Altmetric

Altmetric


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