{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T09:49:28Z","timestamp":1743155368451,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662556641"},{"type":"electronic","value":"9783662556658"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-55665-8_52","type":"book-chapter","created":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T11:01:02Z","timestamp":1503486062000},"page":"681-686","source":"Crossref","is-referenced-by-count":6,"title":["Justification Logic with Approximate Conditional Probabilities"],"prefix":"10.1007","author":[{"given":"Zoran","family":"Ognjanovi\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nenad","family":"Savi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Studer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,24]]},"reference":[{"issue":"1","key":"52_CR1","first-page":"1","volume":"7","author":"SN Artemov","year":"2001","unstructured":"Artemov, S.N.: Explicit provability and constructive semantics. BSL 7(1), 1\u201336 (2001)","journal-title":"BSL"},{"issue":"4","key":"52_CR2","first-page":"477","volume":"1","author":"SN Artemov","year":"2008","unstructured":"Artemov, S.N.: The logic of justification. RSL 1(4), 477\u2013513 (2008)","journal-title":"RSL"},{"issue":"1","key":"52_CR3","first-page":"49","volume":"165","author":"A Baltag","year":"2014","unstructured":"Baltag, A., Renne, B., Smets, S.: The logic of justified belief, explicit knowledge, and conclusive evidence. APAL 165(1), 49\u201381 (2014)","journal-title":"APAL"},{"issue":"1","key":"52_CR4","doi-asserted-by":"crossref","first-page":"35","DOI":"10.3166\/jancl.21.35-60","volume":"21","author":"S Bucheli","year":"2011","unstructured":"Bucheli, S., Kuznets, R., Studer, T.: Justifications for common knowledge. Appl. Non Class. Log. 21(1), 35\u201360 (2011)","journal-title":"Appl. Non Class. Log."},{"issue":"6","key":"52_CR5","doi-asserted-by":"crossref","first-page":"1046","DOI":"10.1016\/j.jcss.2014.04.001","volume":"80","author":"S Bucheli","year":"2014","unstructured":"Bucheli, S., Kuznets, R., Studer, T.: Realizing public announcements by justifications. J. Comput. Syst. Sci. 80(6), 1046\u20131066 (2014)","journal-title":"J. Comput. Syst. Sci."},{"issue":"2","key":"52_CR6","doi-asserted-by":"crossref","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":"4","key":"52_CR7","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1093\/jigpal\/jzt048","volume":"22","author":"N Ikodinovi\u0107","year":"2014","unstructured":"Ikodinovi\u0107, N., Ra\u0161kovi\u0107, M., Markovi\u0107, Z., Ognjanovi\u0107, Z.: A first-order probabilistic logic with approximate conditional probabilities. Log. J. IGPL 22(4), 539\u2013564 (2014)","journal-title":"Log. J. IGPL"},{"key":"52_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/978-3-319-30024-5_16","volume-title":"Foundations of Information and Knowledge Systems","author":"I Kokkinis","year":"2016","unstructured":"Kokkinis, I.: The Complexity of non-iterated probabilistic justification logic. In: Gyssens, M., Simari, G. (eds.) FoIKS 2016. LNCS, vol. 9616, pp. 292\u2013310. Springer, Cham (2016). doi:\n10.1007\/978-3-319-30024-5_16"},{"issue":"4","key":"52_CR9","doi-asserted-by":"crossref","first-page":"662","DOI":"10.1093\/jigpal\/jzv025","volume":"23","author":"I Kokkinis","year":"2015","unstructured":"Kokkinis, I., Maksimovi\u0107, P., Ognjanovi\u0107, Z., Studer, T.: First steps towards probabilistic justification logic. Log. J. IGPL 23(4), 662\u2013687 (2015)","journal-title":"Log. J. IGPL"},{"key":"52_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-319-27683-0_13","volume-title":"Logical Foundations of Computer Science","author":"I Kokkinis","year":"2016","unstructured":"Kokkinis, I., Ognjanovi\u0107, Z., Studer, T.: Probabilistic justification logic. In: Artemov, S., Nerode, A. (eds.) LFCS 2016. LNCS, vol. 9537, pp. 174\u2013186. Springer, Cham (2016). doi:\n10.1007\/978-3-319-27683-0_13"},{"issue":"1\u20132","key":"52_CR11","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S Kraus","year":"1990","unstructured":"Kraus, S., Lehmann, D.J., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell. 44(1\u20132), 167\u2013207 (1990)","journal-title":"Artif. Intell."},{"key":"52_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-642-35722-0_19","volume-title":"Logical Foundations of Computer Science","author":"R Kuznets","year":"2013","unstructured":"Kuznets, R., Studer, T.: Update as evidence: belief expansion. In: Artemov, S., Nerode, A. (eds.) LFCS 2013. LNCS, vol. 7734, pp. 266\u2013279. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-35722-0_19"},{"issue":"1","key":"52_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"DJ Lehmann","year":"1992","unstructured":"Lehmann, D.J., Magidor, M.: What does a conditional knowledge base entail? Artif. Intell. 55(1), 1\u201360 (1992)","journal-title":"Artif. Intell."},{"issue":"1","key":"52_CR14","first-page":"305","volume":"165","author":"RS Milnikel","year":"2014","unstructured":"Milnikel, R.S.: The logic of uncertain justifications. APAL 165(1), 305\u2013315 (2014)","journal-title":"APAL"},{"key":"52_CR15","doi-asserted-by":"crossref","first-page":"7187","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"N Nilsson","year":"1986","unstructured":"Nilsson, N.: Probabilistic logic. Artif. Intell. 28, 7187 (1986)","journal-title":"Artif. Intell."},{"issue":"2","key":"52_CR16","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1093\/logcom\/9.2.181","volume":"9","author":"Z Ognjanovi\u0107","year":"1999","unstructured":"Ognjanovi\u0107, Z., Ra\u0161kovi\u0107, M.: Some probability logics with new types of probability operators. J. Log. Comput. 9(2), 181\u2013195 (1999)","journal-title":"J. Log. Comput."},{"key":"52_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-47012-2","volume-title":"Probability Logics","author":"Z Ognjanovi\u0107","year":"2016","unstructured":"Ognjanovi\u0107, Z., Ra\u0161kovi\u0107, M., Markovi\u0107, Z.: Probability Logics. Springer, Heidelberg (2016)"},{"issue":"1","key":"52_CR18","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1016\/j.ijar.2007.08.006","volume":"49","author":"M Ra\u0161kovi\u0107","year":"2008","unstructured":"Ra\u0161kovi\u0107, M., Markovi\u0107, Z., Ognjanovi\u0107, Z.: A logic with approximate conditional probabilities that can model default reasoning. Int. J. Approx. Reason. 49(1), 52\u201366 (2008)","journal-title":"Int. J. Approx. Reason."}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-55665-8_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,11]],"date-time":"2017-09-11T16:19:03Z","timestamp":1505146743000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55665-8_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662556641","9783662556658"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55665-8_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}