DC FieldValueLanguage
dc.contributor.authorOgnjanović, Zoranen
dc.contributor.authorMarković, Zoranen
dc.contributor.authorRašković, Miodragen
dc.contributor.authorDoder, Draganen
dc.contributor.authorPerović, Aleksandaren
dc.date.accessioned2020-02-18T20:06:28Z-
dc.date.available2020-02-18T20:06:28Z-
dc.date.issued2012-08-24en
dc.identifier.issn1012-2443en
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/46-
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. The formal system developed here is actually a solution of a problem proposed by Halpern and Pucella (J Artif Intell Res 26:1-34, 2006).en
dc.publisherSpringer Link-
dc.relationDevelopment of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education-
dc.relationHypothalamic and medullary functional genomics in stress-induced hypertension-
dc.relationEnvironment management system framework respect to aircraft engine emissions and risk of aircraft accidents around airports in Serbia-
dc.relationRepresentations of logical structures and formal languages and their application in computing-
dc.relation.ispartofAnnals of Mathematics and Artificial Intelligenceen
dc.subjectDecidability | Evidence | Probabilistic logic | Strong Completeness | Temporal logicen
dc.titleA propositional probabilistic logic with discrete linear time for reasoning about evidenceen
dc.typeArticleen
dc.identifier.doi10.1007/s10472-012-9307-9en
dc.identifier.scopus2-s2.0-84867565477en
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage217-
dc.relation.lastpage243-
dc.relation.issue2-3-
dc.relation.volume65-
dc.description.rankM23-
item.cerifentitytypePublications-
item.openairetypeArticle-
item.fulltextNo Fulltext-
item.grantfulltextnone-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
crisitem.author.orcid0000-0003-2508-6480-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/044006e.php-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/174026e.php-
crisitem.project.fundingProgramNATIONAL HEART, LUNG, AND BLOOD INSTITUTE-
crisitem.project.fundingProgramDirectorate for Social, Behavioral & Economic Sciences-
crisitem.project.openAireinfo:eu-repo/grantAgreement/NIH/NATIONAL HEART, LUNG, AND BLOOD INSTITUTE/5R01HL044006-04-
crisitem.project.openAireinfo:eu-repo/grantAgreement/NSF/Directorate for Social, Behavioral & Economic Sciences/1740267-
Show simple item record

SCOPUSTM   
Citations

16
checked on Jul 14, 2024

Page view(s)

75
checked on May 9, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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