| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Perović, Aleksandar | en |
| dc.contributor.author | Ognjanović, Zoran | en |
| dc.contributor.author | Rašković, Miodrag | en |
| dc.contributor.author | Marković, Zoran | en |
| dc.date.accessioned | 2020-02-18T20:06:30Z | - |
| dc.date.available | 2020-02-18T20:06:30Z | - |
| dc.date.issued | 2008-01-01 | en |
| dc.identifier.isbn | 978-3-540-77683-3 | en |
| dc.identifier.issn | 0302-9743 | en |
| dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/65 | - |
| dc.description.abstract | The 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.publisher | Springer Link | - |
| dc.relation.ispartof | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | en |
| dc.subject | Probabilistic logics | Polynomials | Polynomial weight | Bayesian inference | - |
| dc.title | A probabilistic logic with polynomial weight formulas | en |
| dc.type | Article | en |
| dc.relation.conference | 5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008; Pisa; Italy; 11 February 2008 through 15 February 2008 | - |
| dc.identifier.doi | 10.1007/978-3-540-77684-0_17 | en |
| dc.identifier.scopus | 2-s2.0-49949088900 | en |
| dc.contributor.affiliation | Mathematical Institute of the Serbian Academy of Sciences and Arts | - |
| dc.relation.firstpage | 239 | - |
| dc.relation.lastpage | 252 | - |
| dc.relation.volume | 4932 LNCS | - |
| dc.description.rank | M23 | - |
| item.fulltext | No Fulltext | - |
| item.openairetype | Article | - |
| item.grantfulltext | none | - |
| item.cerifentitytype | Publications | - |
| item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
| crisitem.author.orcid | 0000-0003-2508-6480 | - |
SCOPUSTM
Citations
21
checked on Apr 2, 2025
Page view(s)
16
checked on Jan 31, 2025
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.