DC Field | Value | Language |
---|---|---|
dc.contributor.author | Ikodinović, Nebojša | - |
dc.contributor.author | Ognjanović, Zoran | - |
dc.contributor.author | Rašković, Miodrag | - |
dc.contributor.author | Marković, Zoran | - |
dc.contributor.editor | Ghilezan, Silvia | - |
dc.date.accessioned | 2020-06-15T15:21:03Z | - |
dc.date.available | 2020-06-15T15:21:03Z | - |
dc.date.issued | 2015 | - |
dc.identifier.isbn | 978-86-80593-57-9 | - |
dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/2999 | - |
dc.description.abstract | The paper offers an overview of the authors’ results on formalization of uncertain reasoning in first-order framework. | - |
dc.publisher | Matematički institute SANU | - |
dc.relation.ispartofseries | Zbornik radova | - |
dc.subject | probability logic | conditional probability | approximate probability | non-standard analysis | strong completeness | decidability | default reasoning | - |
dc.title | First-order probabilistic logics and their applications | - |
dc.type | Book Chapter | - |
dc.relation.publication | Logic in computer science | - |
dc.identifier.url | http://elib.mi.sanu.ac.rs/files/journals/zr/26/zrn26p37-78.pdf | - |
dc.contributor.affiliation | Mathematical Institute of the Serbian Academy of Sciences and Arts | - |
dc.relation.firstpage | 37 | - |
dc.relation.lastpage | 78 | - |
dc.relation.issue | 26 | - |
dc.relation.volume | 18 | - |
dc.description.rank | M14 | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.openairetype | Book Chapter | - |
item.cerifentitytype | Publications | - |
item.fulltext | No Fulltext | - |
item.grantfulltext | none | - |
crisitem.author.orcid | 0000-0003-2508-6480 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.