{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:14:43Z","timestamp":1760170483920,"version":"3.41.0"},"reference-count":12,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Commun. ACM"],"published-print":{"date-parts":[[2009,1]]},"DOI":"10.1145\/1435417.1435443","type":"journal-article","created":{"date-parts":[[2008,12,23]],"date-time":"2008-12-23T14:15:53Z","timestamp":1230041753000},"page":"113-117","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Automating commonsense reasoning using the event calculus"],"prefix":"10.1145","volume":"52","author":[{"given":"Erik T.","family":"Mueller","sequence":"first","affiliation":[{"name":"IBM Thomas J. Watson Research Center in Yorktown Heights, NY"}]}],"member":"320","published-online":{"date-parts":[[2009,1]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Formalizing workflows using the event calculus","author":"Cicekli N. K.","year":"2000","unstructured":"Cicekli , N. K. and Yildirim , Y . Formalizing workflows using the event calculus . M. T. Ibrahim, J. K\u00fcng, and N. Revell, Eds. Database and Expert Systems Applications. Lecture Notes in Computer Science, Springer , Berlin, 2000 , 222--231. Cicekli, N. K. and Yildirim, Y. Formalizing workflows using the event calculus. M. T. Ibrahim, J. K\u00fcng, and N. Revell, Eds. Database and Expert Systems Applications. Lecture Notes in Computer Science, Springer, Berlin, 2000, 222--231."},{"key":"e_1_2_1_2_1","first-page":"4","article-title":"Beating common sense into interactive applications","volume":"25","author":"Lieberman H.","year":"2004","unstructured":"Lieberman , H. , Liu , H. , Singh , P. , and Barry , B . Beating common sense into interactive applications . AI Magazine 25 , 4 ( 2004 ), 63--76. Lieberman, H., Liu, H., Singh, P., and Barry, B. Beating common sense into interactive applications. AI Magazine 25, 4 (2004), 63--76.","journal-title":"AI Magazine"},{"key":"e_1_2_1_3_1","volume-title":"Mechanisation of Thought Processes: Proceedings of a Symposium held at the National Physical Laboratory on 24th, 25th, 26th and 27th","author":"McCarthy J.","year":"1958","unstructured":"McCarthy . J. Programs with common sense . Mechanisation of Thought Processes: Proceedings of a Symposium held at the National Physical Laboratory on 24th, 25th, 26th and 27th November 1958 . Her Majesty's Stationery Office, London , 1959, 75--91. McCarthy. J. Programs with common sense. Mechanisation of Thought Processes: Proceedings of a Symposium held at the National Physical Laboratory on 24th, 25th, 26th and 27th November 1958. Her Majesty's Stationery Office, London, 1959, 75--91."},{"key":"e_1_2_1_4_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45651-1","volume-title":"Some alternative formulations of the event calculus","author":"Miller R.","year":"2002","unstructured":"Miller , R. and Shanahan , M . Some alternative formulations of the event calculus . A. C. Kakas and F. Sadri, Eds. Computational Logic : Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part II, Lecture Notes in Computer Science , Springer , Berlin, 2002 , 452--490. Miller, R. and Shanahan, M. Some alternative formulations of the event calculus. A. C. Kakas and F. Sadri, Eds. Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part II, Lecture Notes in Computer Science, Springer, Berlin, 2002, 452--490."},{"key":"e_1_2_1_5_1","volume-title":"Artificial Intelligence, and the Future of the Human Mind","author":"Minsky M.","year":"2006","unstructured":"Minsky , M. The Emotion Machine: Commonsense Thinking , Artificial Intelligence, and the Future of the Human Mind . Simon & Schuster , NY , 2006 . Minsky, M. The Emotion Machine: Commonsense Thinking, Artificial Intelligence, and the Future of the Human Mind. Simon & Schuster, NY, 2006."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/14.5.703"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cogsys.2004.06.001"},{"key":"e_1_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Mueller E. T. Commonsense Reasoning. Morgan Kaufmann San Francisco CA 2006.   Mueller E. T. Commonsense Reasoning. Morgan Kaufmann San Francisco CA 2006.","DOI":"10.1016\/B978-012369388-4\/50072-2"},{"key":"e_1_2_1_9_1","volume-title":"Solving the Frame Problem","author":"Shanahan M.","year":"1997","unstructured":"Shanahan , M. Solving the Frame Problem . MIT Press , Cambridge, MA , 1997 . Shanahan, M. Solving the Frame Problem. MIT Press, Cambridge, MA, 1997."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog2901_5"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/9780470759257"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:AMAI.0000034528.55456.d9"}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1435417.1435443","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1435417.1435443","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:45:51Z","timestamp":1750250751000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1435417.1435443"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1]]},"references-count":12,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,1]]}},"alternative-id":["10.1145\/1435417.1435443"],"URL":"https:\/\/doi.org\/10.1145\/1435417.1435443","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"type":"print","value":"0001-0782"},{"type":"electronic","value":"1557-7317"}],"subject":[],"published":{"date-parts":[[2009,1]]},"assertion":[{"value":"2009-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}