DC FieldValueLanguage
dc.contributor.authorIkodinović, Nebojša-
dc.contributor.authorOgnjanović, Zoran-
dc.contributor.authorRašković, Miodrag-
dc.contributor.authorMarković, Zoran-
dc.contributor.editorGhilezan, Silvia-
dc.date.accessioned2020-06-15T15:21:03Z-
dc.date.available2020-06-15T15:21:03Z-
dc.date.issued2015-
dc.identifier.isbn978-86-80593-57-9-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/2999-
dc.description.abstractThe paper offers an overview of the authors’ results on formalization of uncertain reasoning in first-order framework.-
dc.publisherMatematički institute SANU-
dc.relation.ispartofseriesZbornik radova-
dc.subjectprobability logic | conditional probability | approximate probability | non-standard analysis | strong completeness | decidability | default reasoning-
dc.titleFirst-order probabilistic logics and their applications-
dc.typeBook Chapter-
dc.relation.publicationLogic in computer science-
dc.identifier.urlhttp://elib.mi.sanu.ac.rs/files/journals/zr/26/zrn26p37-78.pdf-
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage37-
dc.relation.lastpage78-
dc.relation.issue26-
dc.relation.volume18-
dc.description.rankM14-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeBook Chapter-
item.cerifentitytypePublications-
item.fulltextNo Fulltext-
item.grantfulltextnone-
crisitem.author.orcid0000-0003-2508-6480-
Show simple item record

Page view(s)

21
checked on Nov 24, 2024

Google ScholarTM

Check

Altmetric


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