Authors: Doder, Dragan
Marković, Zoran 
Ognjanović, Zoran 
Perović, Aleksandar
Rašković, Miodrag 
Affiliations: Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: A probabilistic temporal Logic that can model reasoning about evidence
Journal: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume: 5956 LNCS
First page: 9
Last page: 24
Conference: 6th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2010; Sofia; Bulgaria; 15 February 2010 through 19 February 2010
Issue Date: 26-Apr-2010
Rank: M23
ISBN: 978-3-642-11828-9
ISSN: 0302-9743
DOI: 10.1007/978-3-642-11829-6_4
Abstract: 
The aim of the paper is to present a sound, strongly complete and decidable probabilistic temporal logic that can model reasoning about evidence.
Keywords: Probabilistic temporal logic
Publisher: Springer Link

Show full item record

SCOPUSTM   
Citations

11
checked on Apr 8, 2022

Page view(s)

26
checked on Apr 8, 2022

Google ScholarTM

Check

Altmetric

Altmetric


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