| 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
14
checked on May 17, 2024
Page view(s)
68
checked on May 9, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.