| 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
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.