{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:48:43Z","timestamp":1742914123794,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031617157"},{"type":"electronic","value":"9783031617164"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-61716-4_9","type":"book-chapter","created":{"date-parts":[[2024,5,29]],"date-time":"2024-05-29T03:47:52Z","timestamp":1716954472000},"page":"134-149","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Some Probabilistic Riddles and\u00a0Some Logical Solutions"],"prefix":"10.1007","author":[{"given":"Bart","family":"Jacobs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,5,22]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","unstructured":"Barenderegt, H., Geuvers, H.: Proof-assistants using dependent type systems. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 1149\u20131238. Elsevier Science Publishers (2001). https:\/\/doi.org\/10.5555\/778522.778527","DOI":"10.5555\/778522.778527"},{"key":"9_CR2","doi-asserted-by":"publisher","unstructured":"Cho, K., Jacobs, B.: The EfProb library for probabilistic calculations. In: Bonchi, F., K\u00f6nig, B. (eds.) Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), Volume\u00a072 of LIPIcs. Schloss Dagstuhl (2017). https:\/\/doi.org\/10.4230\/LIPIcs.CALCO.2017.25","DOI":"10.4230\/LIPIcs.CALCO.2017.25"},{"issue":"7","key":"9_CR3","doi-asserted-by":"publisher","first-page":"938","DOI":"10.1017\/s0960129518000488","volume":"29","author":"K Cho","year":"2019","unstructured":"Cho, K., Jacobs, B.: Disintegration and Bayesian inversion via string diagrams. Math. Struct. Comput. Sci. 29(7), 938\u2013971 (2019). https:\/\/doi.org\/10.1017\/s0960129518000488","journal-title":"Math. Struct. Comput. Sci."},{"key":"9_CR4","doi-asserted-by":"publisher","DOI":"10.1016\/J.AIM.2020.107239","volume":"370","author":"T Fritz","year":"2020","unstructured":"Fritz, T.: A synthetic approach to Markov kernels, conditional independence, and theorems on sufficient statistics. Adv. Math. 370, 107239 (2020). https:\/\/doi.org\/10.1016\/J.AIM.2020.107239","journal-title":"Adv. Math."},{"issue":"1","key":"9_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s12046-009-0001-5","volume":"34","author":"H Geuvers","year":"2009","unstructured":"Geuvers, H.: Proof assistants: history, ideas and future. S\u0101dhan\u0101 34(1), 3\u201325 (2009). https:\/\/doi.org\/10.1007\/s12046-009-0001-5","journal-title":"S\u0101dhan\u0101"},{"key":"9_CR6","unstructured":"Geuvers, J.H.: Logics and type systems. Ph.D. thesis, Univ. Nijmegen (1993)"},{"key":"9_CR7","doi-asserted-by":"publisher","unstructured":"Jacobs, B.: New directions in categorical logic, for classical, probabilistic and quantum logic. Log. Methods Comput. Sci. 11(3) (2015). https:\/\/doi.org\/10.2168\/lmcs-11(3:24)2015","DOI":"10.2168\/lmcs-11(3:24)2015"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"783","DOI":"10.1613\/jair.1.11349","volume":"65","author":"B Jacobs","year":"2019","unstructured":"Jacobs, B.: The mathematics of changing one\u2019s mind, via Jeffrey\u2019s or via Pearl\u2019s update rule. J. Artif. Intell. Res. 65, 783\u2013806 (2019). https:\/\/doi.org\/10.1613\/jair.1.11349","journal-title":"J. Artif. Intell. Res."},{"issue":"1","key":"9_CR9","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1017\/S0960129519000082","volume":"30","author":"B Jacobs","year":"2020","unstructured":"Jacobs, B.: A channel-based perspective on conjugate priors. Math. Struct. Comput. Sci. 30(1), 44\u201361 (2020). https:\/\/doi.org\/10.1017\/S0960129519000082","journal-title":"Math. Struct. Comput. Sci."},{"key":"9_CR10","doi-asserted-by":"publisher","unstructured":"Jacobs, B.: From multisets over distributions to distributions over multisets. In: Logic in Computer Science. IEEE, Computer Science Press (2021). https:\/\/doi.org\/10.1109\/lics52264.2021.9470678","DOI":"10.1109\/lics52264.2021.9470678"},{"key":"9_CR11","doi-asserted-by":"publisher","unstructured":"Jacobs, B.: Learning from what\u2019s right and learning from what\u2019s wrong. In: Sokolova, A. (ed.) Mathematical Foundations of Programming Semantics, Number 351 in Electronic Proceedings in Theoretical Computer Science, pp. 116\u2013133 (2021). https:\/\/doi.org\/10.4204\/EPTCS.351.8","DOI":"10.4204\/EPTCS.351.8"},{"key":"9_CR12","doi-asserted-by":"publisher","unstructured":"Jacobs, B.: Partitions and Ewens distributions in element-free probability theory. In: Logic in Computer Science. IEEE, Computer Science Press (2022). Article No.\u00a023. https:\/\/doi.org\/10.1145\/3531130.3532419","DOI":"10.1145\/3531130.3532419"},{"key":"9_CR13","doi-asserted-by":"publisher","unstructured":"Jacobs, B.: Urns & tubes. Compositionality 4(4) (2022). https:\/\/doi.org\/10.32408\/compositionality-4-4","DOI":"10.32408\/compositionality-4-4"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-031-39784-4_16","volume-title":"Logic, Language, Information, and Computation","author":"B Jacobs","year":"2023","unstructured":"Jacobs, B.: A principled approach to Expectation Maximisation and Latent Dirichlet Allocation using Jeffrey\u2019s update rule. In: Hansen, H., Scedrov, A., de Queiroz, R. (eds.) WoLLIC 2023. LNCS, vol. 13923, pp. 256\u2013273. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-39784-4_16"},{"key":"9_CR15","unstructured":"Jacobs, B.: Structured probabilistic reasoning (2023). Forthcoming book. http:\/\/www.cs.ru.nl\/B.Jacobs\/PAPERS\/ProbabilisticReasoning.pdf"},{"key":"9_CR16","doi-asserted-by":"publisher","unstructured":"Jacobs, B., Zanasi, F.: The logical essentials of Bayesian reasoning. In: Barthe, G., Katoen, J.-P., Silva, A. (eds.) Foundations of Probabilistic Programming, pp. 295\u2013331. Cambridge University Press (2021). https:\/\/doi.org\/10.1017\/9781108770750.010","DOI":"10.1017\/9781108770750.010"},{"key":"9_CR17","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139567725","volume-title":"Type Theory and Formal Proof","year":"2014","unstructured":"Nederpelt, R., Geuvers, H. (eds.): Type Theory and Formal Proof. Cambridge University Press, Cambridge (2014). https:\/\/doi.org\/10.1017\/CBO9781139567725"},{"key":"9_CR18","unstructured":"Pearl, J.: Probabilistic semantics for nonmonotonic reasoning: a survey. In: Brachman, R., Levesque, H., Reiter, R. (eds.) First International Conference on Principles of Knowledge Representation and Reasoning, pp. 505\u2013516. Morgan Kaufmann (1989)"}],"container-title":["Lecture Notes in Computer Science","Logics and Type Systems in Theory and Practice"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-61716-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,29]],"date-time":"2024-05-29T03:48:51Z","timestamp":1716954531000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-61716-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031617157","9783031617164"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-61716-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"22 May 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}