{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T22:38:39Z","timestamp":1648939119219},"reference-count":16,"publisher":"Informa UK Limited","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Experimental &amp; Theoretical Artificial Intelligence"],"published-print":{"date-parts":[[1992,7]]},"DOI":"10.1080\/09528139208953749","type":"journal-article","created":{"date-parts":[[2007,7,7]],"date-time":"2007-07-07T09:48:56Z","timestamp":1183801736000},"page":"233-246","source":"Crossref","is-referenced-by-count":0,"title":["Revision in ACMS"],"prefix":"10.1080","volume":"4","author":[{"given":"ALEX","family":"KEAN","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90080-9"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(79)90008-0"},{"key":"CIT0003","volume-title":"Department of Computer Science","author":"Kean A.","year":"1990"},{"key":"CIT0004","volume-title":"Department of Computer Science","author":"Kean A.","year":"1991"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80029-6"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1992.tb00335.x"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90007-8"},{"key":"CIT0008","volume-title":"Department of Computer Science.","author":"Poole D.","year":"1986"},{"key":"CIT0009","volume-title":"Formal Methods in Artificial Intelligence","author":"Ramsay A.","year":"1988"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"CIT0012","first-page":"183","volume-title":"In Proceedings of AAAI-87.","author":"Reiter R.","year":"1987"},{"key":"CIT0013","volume-title":"Mathematical Logic","author":"Shoenfield J.","year":"1967"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90029-7"},{"key":"CIT0015","volume-title":"Department of Computer Science.","author":"Tsiknis G.","year":"1988"},{"key":"CIT0016","volume-title":"Logics for Conditionals","author":"Veltman F.","year":"1985"}],"container-title":["Journal of Experimental &amp; Theoretical Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/09528139208953749","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,14]],"date-time":"2016-12-14T20:40:59Z","timestamp":1481748059000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/09528139208953749"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,7]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1992,7]]}},"alternative-id":["10.1080\/09528139208953749"],"URL":"https:\/\/doi.org\/10.1080\/09528139208953749","relation":{},"ISSN":["0952-813X","1362-3079"],"issn-type":[{"value":"0952-813X","type":"print"},{"value":"1362-3079","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,7]]}}}