DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kokkinis, Ioannis | en |
dc.contributor.author | Ognjanović, Zoran | en |
dc.contributor.author | Studer, Thomas | en |
dc.date.accessioned | 2020-02-18T20:06:25Z | - |
dc.date.available | 2020-02-18T20:06:25Z | - |
dc.date.issued | 2016-01-01 | en |
dc.identifier.isbn | 978-3-319-27683-0 | en |
dc.identifier.issn | 0302-9743 | en |
dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/20 | - |
dc.description.abstract | We present a probabilistic justification logic, PPJ, to study rational belief, degrees of belief and justifications.We establish soundness and completeness for PPJ and show that its satisfiability problem is decidable. In the last part we use PPJ to provide a solution to the lottery paradox. | 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 | Decidability | Justification logic | Lottery paradox | Probabilistic logic | Strong completeness | en |
dc.title | Probabilistic justification logic | en |
dc.type | Conference Paper | en |
dc.relation.conference | International Symposium on Logical Foundations of Computer Science, LFCS 2016; Deerfield Beach; United States; 4 January 2016 through 7 January 2016 | - |
dc.identifier.doi | 10.1007/978-3-319-27683-0_13 | en |
dc.identifier.scopus | 2-s2.0-84952802891 | en |
dc.relation.firstpage | 174 | - |
dc.relation.lastpage | 186 | - |
dc.relation.volume | 9537 | - |
dc.description.rank | M33 | - |
item.openairetype | Conference Paper | - |
item.fulltext | No Fulltext | - |
item.cerifentitytype | Publications | - |
item.grantfulltext | none | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
crisitem.author.orcid | 0000-0003-2508-6480 | - |
SCOPUSTM
Citations
24
checked on Jul 26, 2024
Page view(s)
44
checked on May 10, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.