Authors: Ognjanović, Zoran 
Marković, Zoran 
Rašković, Miodrag 
Doder, Dragan
Perović, Aleksandar
Affiliations: Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: A propositional probabilistic logic with discrete linear time for reasoning about evidence
Journal: Annals of Mathematics and Artificial Intelligence
Volume: 65
Issue: 2-3
First page: 217
Last page: 243
Issue Date: 24-Aug-2012
Rank: M23
ISSN: 1012-2443
DOI: 10.1007/s10472-012-9307-9
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).
Keywords: Decidability | Evidence | Probabilistic logic | Strong Completeness | Temporal logic
Publisher: Springer Link
Project: 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 
Hypothalamic and medullary functional genomics in stress-induced hypertension 
Environment management system framework respect to aircraft engine emissions and risk of aircraft accidents around airports in Serbia 
Representations of logical structures and formal languages and their application in computing 

Show full item record

SCOPUSTM   
Citations

10
checked on Apr 8, 2022

Page view(s)

35
checked on Apr 8, 2022

Google ScholarTM

Check

Altmetric

Altmetric


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