{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:46:31Z","timestamp":1725543991276},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540359944"},{"type":"electronic","value":"9783540359951"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11788485_4","type":"book-chapter","created":{"date-parts":[[2006,6,30]],"date-time":"2006-06-30T20:33:18Z","timestamp":1151699598000},"page":"57-70","source":"Crossref","is-referenced-by-count":11,"title":["Causal Reasoning for Alert Generation in Smart Homes"],"prefix":"10.1007","author":[{"given":"Antony","family":"Galton","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1109\/TIME.2000.856584","volume-title":"Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning","author":"I. Cervesato","year":"2000","unstructured":"Cervesato, I., Montanari, A.: A calculus of macro-events: Progress report. In: Trudel, A., Goodwin, S. (eds.) Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning, pp. 47\u201358. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/TIME.2002.1027473","volume-title":"Proceedings of the Ninth International Symposium on Temporal Representation and Reasoning (TIME 2002)","author":"A. Galton","year":"2002","unstructured":"Galton, A., Augusto, J.C.: Stratified causal theories for reasoning about deterministic devices and protocols. In: Fisher, M., Artale, A. (eds.) Proceedings of the Ninth International Symposium on Temporal Representation and Reasoning (TIME 2002), pp. 52\u201354. IEEE Computer Society, Los Alamitos (2002)"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R.A. Kowalski","year":"1986","unstructured":"Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. New Generation Computing\u00a04, 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"4_CR4","volume-title":"Machine Intelligence 4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. In: Melzer, B., Michie, D. (eds.) Machine Intelligence 4. Edinburgh University Press, Edinburgh (1969)"},{"key":"4_CR5","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1093\/oso\/9780198537915.003.0007","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"E. Sandewall","year":"1995","unstructured":"Sandewall, E., Shoham, Y.: Non-monotonic temporal reasoning. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a04, pp. 439\u2013498. Oxford University Press, Oxford (1995)"},{"key":"4_CR6","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/3-540-48317-9_17","volume-title":"Artificial Intelligence Today","author":"M. Shanahan","year":"1999","unstructured":"Shanahan, M.: The event calculus explained. In: Veloso, M.M., Wooldridge, M.J. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol.\u00a01600, pp. 409\u2013430. Springer, Heidelberg (1999)"},{"key":"4_CR7","series-title":"Oxford Readings in Philosophy","volume-title":"Causation","author":"E. Sosa","year":"1993","unstructured":"Sosa, E., Tooley, M. (eds.): Causation. In: Oxford Readings in Philosophy. Oxford University Press, Oxford (1993)"}],"container-title":["Lecture Notes in Computer Science","Designing Smart Homes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11788485_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,5]],"date-time":"2024-02-05T01:09:52Z","timestamp":1707095392000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11788485_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540359944","9783540359951"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/11788485_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}