{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:31:49Z","timestamp":1725467509338},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540637974"},{"type":"electronic","value":"9783540696490"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63797-4_75","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T10:34:29Z","timestamp":1153132469000},"page":"227-235","source":"Crossref","is-referenced-by-count":0,"title":["Inductive properties of states"],"prefix":"10.1007","author":[{"given":"Norman","family":"Foo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavlos","family":"Peppas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,30]]},"reference":[{"key":"23_CR1","unstructured":"Arbib, M.A., \u201cAutomata theory: the rapprochement with control theory\u201d (Chapter 6, pp 163\u2013184), and \u201dBasic notions of automata and semigroups\u201d (Chapter 7, pp 185\u201320), in Topics in Mathematical Systems Theory, ed. R.E.Kalman, P.L.Falb, and M.A.Arbib, McGraw-Hill, 1969."},{"key":"23_CR2","unstructured":"Boolos, G. and Jeffrey, R. \u201dComputability and Logic\u201d, Cambridge University Press, 1989."},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Baral, C., Gelfond, M. and Provetti, A., \u201cRepresenting Actions: Laws, Observations, and Hypotheses\u201d, To appear in the Journal of Logic Programming, 1997.","DOI":"10.1016\/S0743-1066(96)00141-0"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Lloyd, J., \u201cFoundations of Logic Programming\u201d, Springer-Verlag, 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"23_CR5","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/0004-3702(93)90109-O","volume":"64","author":"R. Reiter","year":"1993","unstructured":"Reiter, R., \u201cProving Properties of States in the Situation Calculus\u201d, Artificial Intelligence, 64 (1993), 337\u2013351.","journal-title":"Artificial Intelligence"},{"key":"23_CR6","unstructured":"Shananhan, M., \u201cSolving the Frame Problem\u201d, book manuscript, 1996."}],"container-title":["Lecture Notes in Computer Science","Advanced Topics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63797-4_75","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T22:05:47Z","timestamp":1555711547000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63797-4_75"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540637974","9783540696490"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-63797-4_75","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}