{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:45:40Z","timestamp":1742953540213,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319615806"},{"type":"electronic","value":"9783319615813"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-61581-3_44","type":"book-chapter","created":{"date-parts":[[2017,6,13]],"date-time":"2017-06-13T22:56:38Z","timestamp":1497394598000},"page":"491-500","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities"],"prefix":"10.1007","author":[{"given":"Nenad","family":"Savi\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dragan","family":"Doder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoran","family":"Ognjanovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,15]]},"reference":[{"key":"44_CR1","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/BF00532649","volume":"68","author":"B Anger","year":"1985","unstructured":"Anger, B., Lembcke, J.: Infnitely subadditive capacities as upper envelopes of measures. Z. Wahrscheinlichkeitstheorie Verwandte Gebiete 68, 403\u2013414 (1985)","journal-title":"Z. Wahrscheinlichkeitstheorie Verwandte Gebiete"},{"issue":"11","key":"44_CR2","doi-asserted-by":"publisher","first-page":"1400","DOI":"10.1016\/j.artint.2008.03.001","volume":"172","author":"G Cooman de","year":"2008","unstructured":"de Cooman, G., Hermans, F.: Imprecise probability trees: bridging two theories of imprecise probability. Artif. Intell. 172(11), 1400\u20131427 (2008)","journal-title":"Artif. Intell."},{"issue":"104","key":"44_CR3","doi-asserted-by":"publisher","first-page":"13","DOI":"10.2298\/PIM1104013D","volume":"90","author":"D Doder","year":"2011","unstructured":"Doder, D.: A logic with big-stepped probabilities that can model nonmonotonic reasoning of system P. Pub. Inst. Math. 90(104), 13\u201322 (2011)","journal-title":"Pub. Inst. Math."},{"key":"44_CR4","doi-asserted-by":"publisher","unstructured":"Doder, D., Ognjanovi\u0107, Z.: Probabilistic logics with independence and confirmation. Stud. Logica (2017). doi:\n                      10.1007\/s11225-017-9718-z","DOI":"10.1007\/s11225-017-9718-z"},{"key":"44_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-5287-7","volume-title":"Possibility Theory","author":"D Dubois","year":"1988","unstructured":"Dubois, D., Prade, H.: Possibility Theory. Plenum Press, New York (1988)"},{"issue":"2","key":"44_CR6","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1145\/174652.174658","volume":"41","author":"R Fagin","year":"1994","unstructured":"Fagin, R., Halpern, J.: Reasoning about knowledge and probability. J. ACM 41(2), 340\u2013367 (1994)","journal-title":"J. ACM"},{"issue":"1\u20132","key":"44_CR7","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. Inf. Comput. 87(1\u20132), 78\u2013128 (1990)","journal-title":"Inf. Comput."},{"issue":"4","key":"44_CR8","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/BF00370648","volume":"46","author":"M Fattorosi-Barnaba","year":"1989","unstructured":"Fattorosi-Barnaba, M., Amati, G.: Modal operators with probabilistic interpretations. Stud. Logica 46(4), 383\u2013393 (1989)","journal-title":"Stud. Logica"},{"key":"44_CR9","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0004-3702(94)90079-5","volume":"69","author":"A Frisch","year":"1994","unstructured":"Frisch, A., Haddawy, P.: Anytime deduction for probabilistic logic. Artif. Intell. 69, 93\u2013122 (1994)","journal-title":"Artif. Intell."},{"key":"44_CR10","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-94-009-2863-3_11","volume-title":"Causation, Chance and Credence","author":"H Gaifman","year":"1988","unstructured":"Gaifman, H., Haddawy, P.: A theory of higher order probabilities. Causation, Chance and Credence, vol. 41, pp. 191\u2013219. Springer, Netherlands (1988)"},{"key":"44_CR11","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0004-3702(90)90019-V","volume":"46","author":"JY Halpern","year":"1990","unstructured":"Halpern, J.Y.: An analysis of first-order logics of probability. Artif. Intell. 46, 311\u2013350 (1990)","journal-title":"Artif. Intell."},{"key":"44_CR12","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1613\/jair.985","volume":"17","author":"JY Halpern","year":"2002","unstructured":"Halpern, J.Y., Pucella, R.: A logic for reasoning about upper probabilities. J. Artif. Intell. Res. 17, 57\u201381 (2002)","journal-title":"J. Artif. Intell. Res."},{"key":"44_CR13","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1006\/game.1999.0788","volume":"35","author":"A Heifetz","year":"2001","unstructured":"Heifetz, A., Mongin, P.: Probability logic for type spaces. Games Econ. Behav. 35, 31\u201353 (2001)","journal-title":"Games Econ. Behav."},{"key":"44_CR14","doi-asserted-by":"publisher","DOI":"10.1002\/0471725250","volume-title":"Robust Statistics","author":"PJ Huber","year":"1981","unstructured":"Huber, P.J.: Robust Statistics. Wiley, New York (1981)"},{"key":"44_CR15","volume-title":"Probability and the Logic of Rational Belief","author":"HE Kyburg","year":"1961","unstructured":"Kyburg, H.E.: Probability and the Logic of Rational Belief. Wesleyan University Press, Middletown (1961)"},{"issue":"4","key":"44_CR16","doi-asserted-by":"publisher","first-page":"455","DOI":"10.4153\/CJM-1952-041-4","volume":"4","author":"GG Lorentz","year":"1952","unstructured":"Lorentz, G.G.: Multiply subadditive functions. Can. J. Math. 4(4), 455\u2013462 (1952)","journal-title":"Can. J. Math."},{"issue":"1","key":"44_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11856-012-0046-8","volume":"192","author":"M Meier","year":"2012","unstructured":"Meier, M.: An infinitary probability logic for type spaces. Isr. J. Math. 192(1), 1\u201358 (2012)","journal-title":"Isr. J. Math."},{"issue":"2","key":"44_CR18","doi-asserted-by":"publisher","first-page":"628","DOI":"10.1016\/j.ijar.2007.12.001","volume":"48","author":"E Miranda","year":"2008","unstructured":"Miranda, E.: A survey of the theory of coherent lower previsions. Int. J. Approximate Reasoning 48(2), 628\u2013658 (2008)","journal-title":"Int. J. Approximate Reasoning"},{"issue":"1\u20132","key":"44_CR19","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/S0304-3975(98)00341-7","volume":"247","author":"Z Ognjanovi\u0107","year":"2000","unstructured":"Ognjanovi\u0107, Z., Ra\u0161kovi\u0107, M.: Some first-order probability logics. Theor. Comput. Sci. 247(1\u20132), 191\u2013212 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"44_CR20","unstructured":"Savi\u0107, N., Doder, D., Ognjanovi\u0107, Z.: A logic with upper and lower probability operators. In: Proceedings of the 9th International Symposium on Imprecise Probability: Theories and Applications, pp. 267\u2013276, Pescara, Italy (2015)"},{"key":"44_CR21","doi-asserted-by":"publisher","unstructured":"Savi\u0107, N., Doder, D., Ognjanovi\u0107, Z.: Logics with lower and upper probability operators. Int. J. Approximate Reasoning (2017). doi:\n                      10.1016\/j.ijar.2017.05.013","DOI":"10.1016\/j.ijar.2017.05.013"},{"issue":"3","key":"44_CR22","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1080\/11663081.1997.10510916","volume":"7","author":"W Hoek van der","year":"1997","unstructured":"van der Hoek, W.: Some consideration on the logics \n                      \n                        \n                      \n                      $$P_{F}D$$\n                    . J. Appl. Non-Classical Logics 7(3), 287\u2013307 (1997)","journal-title":"J. Appl. Non-Classical Logics"},{"key":"44_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-3472-7","volume-title":"Statistical Reasoning with Imprecise Probabilities","author":"P Walley","year":"1991","unstructured":"Walley, P.: Statistical Reasoning with Imprecise Probabilities. Chapman and Hall, London (1991)"},{"issue":"2\u20133","key":"44_CR24","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0888-613X(00)00031-1","volume":"24","author":"P Walley","year":"2000","unstructured":"Walley, P.: Towards a unified theory of imprecise probability. Int. J. Approximate Reasoning 24(2\u20133), 125\u2013148 (2000)","journal-title":"Int. J. Approximate Reasoning"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning with Uncertainty"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61581-3_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T02:30:09Z","timestamp":1558319409000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61581-3_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319615806","9783319615813"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61581-3_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"15 June 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ECSQARU","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lugano","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Switzerland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 July 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 July 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ecsqaru2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ecsqaru.idsia.ch","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}