{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:43:23Z","timestamp":1750308203387,"version":"3.41.0"},"reference-count":3,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[1974,4,1]],"date-time":"1974-04-01T00:00:00Z","timestamp":134006400000},"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":["SIGACT News"],"published-print":{"date-parts":[[1974,4]]},"DOI":"10.1145\/1008304.1008307","type":"journal-article","created":{"date-parts":[[2004,10,12]],"date-time":"2004-10-12T15:20:46Z","timestamp":1097594446000},"page":"18-23","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Automata theory motivated by problem solving"],"prefix":"10.1145","volume":"6","author":[{"given":"Ivan M.","family":"Havel","sequence":"first","affiliation":[{"name":"Czechoslovak Academy of Sciences"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[1974,4]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Problem-Solving Methods in Artificial Intelligence","author":"Nilsson N. J.","year":"1971","unstructured":"N. J. Nilsson , Problem-Solving Methods in Artificial Intelligence . McGraw-Hill Book Co. , New York 1971 . N. J. Nilsson, Problem-Solving Methods in Artificial Intelligence. McGraw-Hill Book Co., New York 1971."},{"key":"e_1_2_1_2_1","volume-title":"Proceedings of the Symposium and Summer School Mathematical Foundations of Computer Science, the High Tatras","author":"\u0160t\u011bp\u00e1nkov\u00e1 O.","year":"1973","unstructured":"O. \u0160t\u011bp\u00e1nkov\u00e1 and I. M. Havel , Some results concerning the situation calculus . Proceedings of the Symposium and Summer School Mathematical Foundations of Computer Science, the High Tatras , 1973 , 321--326. O. \u0160t\u011bp\u00e1nkov\u00e1 and I. M. Havel, Some results concerning the situation calculus. Proceedings of the Symposium and Summer School Mathematical Foundations of Computer Science, the High Tatras, 1973, 321--326."},{"key":"e_1_2_1_3_1","volume-title":"Machine Intelligence 7","author":"Fikes R. E.","year":"1972","unstructured":"R. E. Fikes , P. E. Hart , and N. J. Nilsson , Some new directions in robot problem solving . In: Machine Intelligence 7 (B. Meltzer and D. Michie, ed.), Edinburgh at the University Press , 1972 . R. E. Fikes, P. E. Hart, and N. J. Nilsson, Some new directions in robot problem solving. In: Machine Intelligence 7 (B. Meltzer and D. Michie, ed.), Edinburgh at the University Press, 1972."}],"container-title":["ACM SIGACT News"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1008304.1008307","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1008304.1008307","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:25:07Z","timestamp":1750263907000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1008304.1008307"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1974,4]]},"references-count":3,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1974,4]]}},"alternative-id":["10.1145\/1008304.1008307"],"URL":"https:\/\/doi.org\/10.1145\/1008304.1008307","relation":{},"ISSN":["0163-5700"],"issn-type":[{"type":"print","value":"0163-5700"}],"subject":[],"published":{"date-parts":[[1974,4]]},"assertion":[{"value":"1974-04-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}