DC FieldValueLanguage
dc.contributor.authorOgnjanović, Zoran-
dc.contributor.authorRašković, Miodrag-
dc.contributor.authorMarković, Zoran-
dc.contributor.editorOgnjanović, Zoran-
dc.date.accessioned2020-06-15T15:21:03Z-
dc.date.available2020-06-15T15:21:03Z-
dc.date.issued2009-
dc.identifier.isbn978-86-80593-40-1-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/2997-
dc.description.abstractThe paper summarizes the results of the authors in formalization of uncertain reasoning. A number of probability logics is considered. Their axiomatizations, completeness, compactness and decidability are addressed. Some possible applications of probability logics are analyzed. A historical overview of related works is given.-
dc.publisherMathematical Institute of the SASA-
dc.relation.ispartofseriesZbornik radova-
dc.subjectprobability logic | conditional probability | approximate probability | non-standard analysis | strong completeness | decidability | default reasoning-
dc.titleProbability logics-
dc.typeBook Chapter-
dc.relation.publicationLogic in computer science-
dc.identifier.urlhttp://elib.mi.sanu.ac.rs/files/journals/zr/20/n020p035.pdf-
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage35-
dc.relation.lastpage111-
dc.relation.issue20-
dc.relation.volume12-
dc.description.rankM14-
item.cerifentitytypePublications-
item.openairetypeBook Chapter-
item.grantfulltextnone-
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
crisitem.author.orcid0000-0003-2508-6480-
Show simple item record

Page view(s)

24
checked on Dec 22, 2024

Google ScholarTM

Check

Altmetric


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