{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:36Z","timestamp":1761611256480,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642118289"},{"type":"electronic","value":"9783642118296"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11829-6_4","type":"book-chapter","created":{"date-parts":[[2010,2,1]],"date-time":"2010-02-01T11:55:32Z","timestamp":1265025332000},"page":"9-24","source":"Crossref","is-referenced-by-count":10,"title":["A Probabilistic Temporal Logic That Can Model Reasoning about Evidence"],"prefix":"10.1007","author":[{"given":"Dragan","family":"Doder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoran","family":"Markovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoran","family":"Ognjanovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aleksandar","family":"Perovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miodrag","family":"Ra\u0161kovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1-2","key":"4_CR1","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/0890-5401(90)90060-U","volume":"87","author":"R. Fagin","year":"1990","unstructured":"Fagin, R., Halpern, J., Megiddo, N.: A logic for reasoning about probabilities. Information and Computation\u00a087(1-2), 78\u2013128 (1990)","journal-title":"Information and Computation"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Gabbay, D., Hodkinson, I., Reynolds, M.: Temporal logic. In: Mathematical Foundations and Computational Aspects, vol.\u00a01. Clarendon Press, Oxford (1994)","DOI":"10.1093\/oso\/9780198537694.003.0001"},{"issue":"3","key":"4_CR3","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1093\/jigpal\/jzl019","volume":"14","author":"L. Godo","year":"2006","unstructured":"Godo, L., Marchioni, E.: Coherent conditional probability in a fuzzy logic setting. Logic Journal of the IGPL\u00a014(3), 457\u2013481 (2006)","journal-title":"Logic Journal of the IGPL"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/0004-3702(92)90048-3","volume":"54","author":"J. Halpern","year":"1992","unstructured":"Halpern, J., Fagin, R.: Two views of belief: belief as generalized probability and belief as evidence. Artificial Intelligence\u00a054, 275\u2013317 (1992)","journal-title":"Artificial Intelligence"},{"key":"4_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.1838","volume":"26","author":"J. Halpern","year":"2006","unstructured":"Halpern, J., Pucella, R.: A logic for reasoning about evidence. Journal of Artificial Intelligence Research\u00a026, 1\u201334 (2006)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"N. Nilsson","year":"1986","unstructured":"Nilsson, N.: Probabilistic logic. Artificial Intelligence\u00a028, 71\u201387 (1986)","journal-title":"Artificial Intelligence"},{"key":"4_CR7","unstructured":"Ognjanovi\u0107, Z., Ra\u0161kovi\u0107, M., Markovi\u0107, Z.: Probability Logics. In: Ognjanovi\u0107, Z. (ed.) Logic in Computer Science, Mathematical Institute of Serbian Academy of Sciences and Arts, pp. 35\u2013111 (2009) ISBN 978-86-80593-40-1"},{"issue":"2","key":"4_CR8","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1093\/logcom\/exi077","volume":"16","author":"Z. Ognjanovi\u0107","year":"2006","unstructured":"Ognjanovi\u0107, Z.: Discrete linear-time probabilistic logics: completeness, decidability and complexity. J. Log. Comput.\u00a016(2), 257\u2013285 (2006)","journal-title":"J. Log. Comput."},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-540-77684-0_17","volume-title":"Foundations of Information and Knowledge Systems","author":"A. Perovi\u0107","year":"2008","unstructured":"Perovi\u0107, A., Ognjanovi\u0107, Z., Ra\u0161kovi\u0107, M., Markovi\u0107, Z.: A probabilistic logic with polynomial weight formulas. In: Hartmann, S., Kern-Isberner, G. (eds.) FoIKS 2008. LNCS, vol.\u00a04932, pp. 239\u2013252. Springer, Heidelberg (2008)"},{"key":"4_CR10","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"A Mathematical Theory of Evidence","author":"G. Shafer","year":"1976","unstructured":"Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)"},{"key":"4_CR11","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1111\/j.2517-6161.1982.tb01211.x","volume":"44","author":"G. Shafer","year":"1982","unstructured":"Shafer, G.: Belief functions and parametric models (with commentary). Journal of the Royal Statistical Society, Series B\u00a044, 322\u2013352 (1982)","journal-title":"Journal of the Royal Statistical Society, Series B"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11829-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,17]],"date-time":"2025-02-17T03:31:06Z","timestamp":1739763066000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-11829-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642118289","9783642118296"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11829-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}