{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T16:43:17Z","timestamp":1776098597096,"version":"3.50.1"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319616599","type":"print"},{"value":"9783319616605","type":"electronic"}],"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-319-61660-5_7","type":"book-chapter","created":{"date-parts":[[2017,6,27]],"date-time":"2017-06-27T09:22:22Z","timestamp":1498555342000},"page":"57-63","source":"Crossref","is-referenced-by-count":5,"title":["Foundations for a Probabilistic Event Calculus"],"prefix":"10.1007","author":[{"given":"Fabio Aurelio","family":"D\u2019Asaro","sequence":"first","affiliation":[]},{"given":"Antonis","family":"Bikakis","sequence":"additional","affiliation":[]},{"given":"Luke","family":"Dickens","sequence":"additional","affiliation":[]},{"given":"Rob","family":"Miller","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,28]]},"reference":[{"issue":"1","key":"7_CR1","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/S0004-3702(99)00031-4","volume":"111","author":"F Bacchus","year":"1999","unstructured":"Bacchus, F., Halpern, J.Y., Levesque, H.J.: Reasoning about noisy sensors and effectors in the situation calculus. Artif. Intell. 111(1), 171\u2013208 (1999)","journal-title":"Artif. Intell."},{"key":"7_CR2","unstructured":"Baral, C., Tran, N., Tuan, L.C.: Reasoning about actions in a probabilistic setting. In: AAAI\/IAAI, pp. 507\u2013512 (2002)"},{"key":"7_CR3","unstructured":"D\u2019Asaro, F.A., Bikakis, A., Dickens, L., Miller, R.: Foundations for a probabilistic event calculus: Technical report (2017). http:\/\/arxiv.org\/abs\/1703.06815"},{"key":"7_CR4","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo = ASP + control: Preliminary report (2014). http:\/\/arxiv.org\/abs\/1405.3694"},{"issue":"1","key":"7_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1459010.1459015","volume":"10","author":"L Iocchi","year":"2009","unstructured":"Iocchi, L., Lukasiewicz, T., Nardi, D., Rosati, R.: Reasoning about actions with sensing under qualitative and probabilistic uncertainty. TOCL 10(1), 1\u201339 (2009)","journal-title":"TOCL"},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-3-642-83397-7_2","volume-title":"Foundations of Knowledge Base Management","author":"R Kowalski","year":"1989","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. In: Schmidt, J.W., Thanos, C. (eds.) Foundations of Knowledge Base Management, pp. 23\u201355. Springer, Heidelberg (1989)"},{"key":"7_CR7","unstructured":"Lifschitz, V., Turner, H.: Splitting a logic program. In: ICLP, pp. 23\u201337 (1994)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Ma, J., Miller, R., Morgenstern, L., Patkos, T.: An epistemic event calculus for asp-based reasoning about knowledge of the past, present and future. In: LPAR-19, vol. 26, pp. 75\u201387 (2014)","DOI":"10.29007\/zswj"},{"key":"7_CR9","volume-title":"The Uncertain Reasoner\u2019s Companion: A Mathematical Perspective","author":"JB Paris","year":"2006","unstructured":"Paris, J.B.: The Uncertain Reasoner\u2019s Companion: A Mathematical Perspective, vol. 39. Cambridge University Press, Cambridge (2006)"},{"issue":"1\u20132","key":"7_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(02)00365-X","volume":"144","author":"RB Scherl","year":"2003","unstructured":"Scherl, R.B., Levesque, H.J.: Knowledge, action, and the frame problem. Artif. Intell. 144(1\u20132), 1\u201339 (2003)","journal-title":"Artif. Intell."},{"key":"7_CR11","first-page":"213","volume":"15","author":"A Skarlatidis","year":"2015","unstructured":"Skarlatidis, A., Artikis, A., Filippou, J., Paliouras, G.: A probabilistic logic programming event calculus. TPLP 15, 213\u2013245 (2015)","journal-title":"TPLP"},{"issue":"2","key":"7_CR12","doi-asserted-by":"crossref","first-page":"11:1","DOI":"10.1145\/2699916","volume":"16","author":"A Skarlatidis","year":"2015","unstructured":"Skarlatidis, A., Paliouras, G., Artikis, A., Vouros, G.A.: Probabilistic event calculus for event recognition. ACM Trans. Comput. Logic 16(2), 11:1\u201311:37 (2015)","journal-title":"ACM Trans. Comput. Logic"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61660-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T02:26:31Z","timestamp":1750386391000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61660-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319616599","9783319616605"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61660-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}