{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:50:20Z","timestamp":1740099020110,"version":"3.37.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319733043"},{"type":"electronic","value":"9783319733050"}],"license":[{"start":{"date-parts":[[2017,12,22]],"date-time":"2017-12-22T00:00:00Z","timestamp":1513900800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-73305-0_1","type":"book-chapter","created":{"date-parts":[[2017,12,21]],"date-time":"2017-12-21T11:05:50Z","timestamp":1513854350000},"page":"3-19","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Probabilistic Functional Logic Programming"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3606-4543","authenticated-orcid":false,"given":"Sandra","family":"Dylus","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4911-8459","authenticated-orcid":false,"given":"Jan","family":"Christiansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7905-3804","authenticated-orcid":false,"given":"Finn","family":"Teegen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,12,22]]},"reference":[{"issue":"1","key":"1_CR1","doi-asserted-by":"crossref","first-page":"875","DOI":"10.1016\/j.jsc.2004.12.007","volume":"40","author":"S Antoy","year":"2005","unstructured":"Antoy, S.: Evaluation strategies for functional logic programming. J. Symbolic Comput. 40(1), 875\u2013903 (2005)","journal-title":"J. Symbolic Comput."},{"issue":"4","key":"1_CR2","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1145\/1721654.1721675","volume":"53","author":"S Antoy","year":"2010","unstructured":"Antoy, S., Hanus, M.: Functional logic programming. Commun. ACM 53(4), 74\u201385 (2010)","journal-title":"Commun. ACM"},{"key":"1_CR3","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/j.entcs.2009.07.014","volume":"246","author":"B Bra\u00dfel","year":"2009","unstructured":"Bra\u00dfel, B.: A technique to build debugging tools for lazy functional logic languages. Electron. Notes Theoret. Comput. Sci. 246, 39\u201353 (2009)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Bra\u00dfel, B., Hanus, M., Huch, F.: Encapsulating non-determinism in functional logic computations. J. Funct. Logic Program. 2004 (2004)","DOI":"10.1007\/978-3-540-24836-1_14"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-22531-4_1","volume-title":"Functional and Constraint Logic Programming","author":"B Bra\u00dfel","year":"2011","unstructured":"Bra\u00dfel, B., Hanus, M., Peem\u00f6ller, B., Reck, F.: KiCS2: a new compiler from Curry to Haskell. In: Kuchen, H. (ed.) WFLP 2011. LNCS, vol. 6816, pp. 1\u201318. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22531-4_1"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Christiansen, J., Fischer, S.: EasyCheck - test data for free. In: Proceedings of the International Symposium on Functional and Logic Programming (2008)","DOI":"10.1007\/978-3-540-78969-7_23"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Christiansen, J., Seidel, D., Voigtl\u00e4nder, J.: Free theorems for functional logic programs. In: Proceedigns of the Workshop on Programming Languages Meets Program Verification (2010)","DOI":"10.1145\/1707790.1707797"},{"key":"1_CR8","unstructured":"De Raedt, L., Kimmig, A.: Probabilistic Programming Concepts. arXiv:1312.4328 (preprint) (2013)"},{"key":"1_CR9","unstructured":"De Raedt, L., Kimmig, A., Toivonen, H.: ProbLog: a probabilistic prolog and its application in link discovery. In: Proceedings of the International Joint Conference on Artifical Intelligence (2007)"},{"issue":"1","key":"1_CR10","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1017\/S0956796805005721","volume":"16","author":"M Erwig","year":"2006","unstructured":"Erwig, M., Kollmansberger, S.: Functional pearls: probabilistic functional programming in Haskell. J. Funct. Program. 16(1), 21\u201334 (2006)","journal-title":"J. Funct. Program."},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Fischer, S., Kiselyov, O., Shan, C.: Purely functional lazy non-deterministic programming. In: Proceedings of the International Conference on Functional Programming (2009)","DOI":"10.1145\/1596550.1596556"},{"key":"1_CR12","unstructured":"Goodman, N.D., Mansinghka, V.K., Roy, D.M., Bonawitz, K., Tenenbaum, J.B.: Church: A Language for Generative Models. CoRR (2012)"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Gordon, A.D., Henzinger, T.A., Nori, A.V., Rajamani, S.K.: Probabilistic programming. In: Proceedings of the on Future of Software Engineering (2014)","DOI":"10.1145\/2593882.2593900"},{"key":"1_CR14","unstructured":"Hanus, M. (ed.): PAKCS: The Portland Aachen Kiel Curry System (2017). http:\/\/www.informatik.uni-kiel.de\/pakcs\/"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-642-03034-5_17","volume-title":"Domain-Specific Languages","author":"O Kiselyov","year":"2009","unstructured":"Kiselyov, O., Shan, C.: Embedded probabilistic programming. In: Taha, W.M. (ed.) DSL 2009. LNCS, vol. 5658, pp. 360\u2013384. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03034-5_17"},{"key":"1_CR16","unstructured":"McCallum, A., Schultz, K., Singh, S.: FACTORIE: probabilistic programming via imperatively defined factor graphs. In: Proceedings of International Conference on Neural Information Processing Systems (2009)"},{"key":"1_CR17","unstructured":"Paige, B., Wood, F.: A compilation target for probabilistic programming languages. In: Proceedings of the International Conference on Machine Learning (2014)"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Runciman, C., Naylor, M., Lindblad, F.: SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values. In: Proceedings of the Symposium on Haskell (2008)","DOI":"10.1145\/1411286.1411292"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"\u015acibior, A., Ghahramani, Z., Gordon, A.D.: Practical probabilistic programming with monads. In: Proceedings of the Symposium on Haskell (2015)","DOI":"10.1145\/2804302.2804317"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Wadler, P.: How to replace failure by a list of successes. In: Proceedings of the Conference on Functional Programming Languages and Computer Architecture (1985)","DOI":"10.1007\/3-540-15975-4_33"},{"key":"1_CR21","unstructured":"Wood, F., Meent, J.W., Mansinghka, V.: A new approach to probabilistic programming inference. In: Artificial Intelligence and Statistics (2014)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-73305-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T07:37:58Z","timestamp":1570520278000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-73305-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,22]]},"ISBN":["9783319733043","9783319733050"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-73305-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017,12,22]]}}}