| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Ognjanović, Zoran | en |
| dc.contributor.author | Marković, Zoran | en |
| dc.contributor.author | Rašković, Miodrag | en |
| dc.contributor.author | Doder, Dragan | en |
| dc.contributor.author | Perović, Aleksandar | en |
| dc.date.accessioned | 2020-02-18T20:06:28Z | - |
| dc.date.available | 2020-02-18T20:06:28Z | - |
| dc.date.issued | 2012-08-24 | en |
| dc.identifier.issn | 1012-2443 | en |
| dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/46 | - |
| dc.description.abstract | The 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.publisher | Springer Link | - |
| dc.relation | Development 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.relation | Hypothalamic and medullary functional genomics in stress-induced hypertension | - |
| dc.relation | Environment management system framework respect to aircraft engine emissions and risk of aircraft accidents around airports in Serbia | - |
| dc.relation | Representations of logical structures and formal languages and their application in computing | - |
| dc.relation.ispartof | Annals of Mathematics and Artificial Intelligence | en |
| dc.subject | Decidability | Evidence | Probabilistic logic | Strong Completeness | Temporal logic | en |
| dc.title | A propositional probabilistic logic with discrete linear time for reasoning about evidence | en |
| dc.type | Article | en |
| dc.identifier.doi | 10.1007/s10472-012-9307-9 | en |
| dc.identifier.scopus | 2-s2.0-84867565477 | en |
| dc.contributor.affiliation | Mathematical Institute of the Serbian Academy of Sciences and Arts | - |
| dc.relation.firstpage | 217 | - |
| dc.relation.lastpage | 243 | - |
| dc.relation.issue | 2-3 | - |
| dc.relation.volume | 65 | - |
| dc.description.rank | M23 | - |
| item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
| item.openairetype | Article | - |
| item.cerifentitytype | Publications | - |
| item.fulltext | No Fulltext | - |
| item.grantfulltext | none | - |
| crisitem.project.projectURL | http://www.mi.sanu.ac.rs/novi_sajt/research/projects/044006e.php | - |
| crisitem.project.projectURL | http://www.mi.sanu.ac.rs/novi_sajt/research/projects/174026e.php | - |
| crisitem.project.fundingProgram | NATIONAL HEART, LUNG, AND BLOOD INSTITUTE | - |
| crisitem.project.fundingProgram | Directorate for Social, Behavioral & Economic Sciences | - |
| crisitem.project.openAire | info:eu-repo/grantAgreement/NIH/NATIONAL HEART, LUNG, AND BLOOD INSTITUTE/5R01HL044006-04 | - |
| crisitem.project.openAire | info:eu-repo/grantAgreement/NSF/Directorate for Social, Behavioral & Economic Sciences/1740267 | - |
| crisitem.author.orcid | 0000-0003-2508-6480 | - |
SCOPUSTM
Citations
16
checked on Nov 23, 2024
Page view(s)
19
checked on Nov 24, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.