DC FieldValueLanguage
dc.contributor.authorDoder, Draganen
dc.contributor.authorMarković, Zoranen
dc.contributor.authorOgnjanović, Zoranen
dc.contributor.authorPerović, Aleksandaren
dc.contributor.authorRašković, Miodragen
dc.date.accessioned2020-02-18T20:06:29Z-
dc.date.available2020-02-18T20:06:29Z-
dc.date.issued2010-04-26en
dc.identifier.isbn978-3-642-11828-9en
dc.identifier.issn0302-9743en
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/57-
dc.description.abstractThe aim of the paper is to present a sound, strongly complete and decidable probabilistic temporal logic that can model reasoning about evidence.en
dc.publisherSpringer Link-
dc.relation.ispartofLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)en
dc.subjectProbabilistic temporal logic-
dc.titleA probabilistic temporal Logic that can model reasoning about evidenceen
dc.typeArticleen
dc.relation.conference6th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2010; Sofia; Bulgaria; 15 February 2010 through 19 February 2010-
dc.identifier.doi10.1007/978-3-642-11829-6_4en
dc.identifier.scopus2-s2.0-77951123257en
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage9-
dc.relation.lastpage24-
dc.relation.volume5956 LNCS-
dc.description.rankM23-
item.openairetypeArticle-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.grantfulltextnone-
item.fulltextNo Fulltext-
crisitem.author.orcid0000-0003-2508-6480-
Show simple item record

SCOPUSTM   
Citations

14
checked on Apr 23, 2024

Page view(s)

68
checked on Apr 23, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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