{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:13:03Z","timestamp":1754485983665},"reference-count":12,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1080\/095281397147239","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T16:21:47Z","timestamp":1027700507000},"page":"51-66","source":"Crossref","is-referenced-by-count":7,"title":["The Transition Calculus: a high-level formalism for reasoning about action and change"],"prefix":"10.1080","volume":"9","author":[{"given":"JOHN","family":"GOODAY","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ANTONY","family":"GALTON","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","unstructured":"Allen, J. F. An interval-based representation of temporal knowledge. Proceedings 7th International Joint Conference on Artificial Intelligence. pp.221\u2013226."},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(93)90035-F"},{"key":"CIT0004","doi-asserted-by":"crossref","unstructured":"Ginsberg, M. L. The MVL theorem proving system. Symposium on Implemented Systems. Stanford.","DOI":"10.1145\/122296.122304"},{"key":"CIT0005","volume-title":"A Transition-based Approach to Reasoning about Action and Change","author":"Gooday J. M.","year":"1994"},{"key":"CIT0006","unstructured":"Gooday, J. M. and Cohn, A. G. Transition-based qualitative simulation. Proceedings of the 10th International Workshop on Qualitative Reasoning. Edited by: Iwaski, Y. and Farquar, A. To appear"},{"key":"CIT0007","unstructured":"Hanks, S. and McDermott, D. Default reasoning, nonmonotonic logics, and the frame problem. Proceedings American Association for Artificial Intelligence-86. pp.328\u2013333."},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"CIT0009","first-page":"463","volume-title":"Machine Intelligence","volume":"4","author":"McCarthy J.","year":"1969"},{"key":"CIT0010","volume-title":"Features and Fluents","author":"Sandewall E.","year":"1994"},{"key":"CIT0011","unstructured":"Shoham, Y. Nonmonoto nic logics: meaning and utility. Proceedings 10th International Joint Conference on Artificial Intelligence. pp.388\u2013392."},{"key":"CIT0012","volume-title":"Reasoning about Change, MIT Press Series in Artificial Intelligence","author":"Shoham Y.","year":"1988"}],"container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/095281397147239","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,11,29]],"date-time":"2017-11-29T12:22:10Z","timestamp":1511958130000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/095281397147239"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":12,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["10.1080\/095281397147239"],"URL":"https:\/\/doi.org\/10.1080\/095281397147239","relation":{},"ISSN":["0952-813X","1362-3079"],"issn-type":[{"value":"0952-813X","type":"print"},{"value":"1362-3079","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}