{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T05:48:23Z","timestamp":1747892903516},"reference-count":16,"publisher":"Informa UK Limited","issue":"2-3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"published-print":{"date-parts":[[1993,4]]},"DOI":"10.1080\/09528139308953766","type":"journal-article","created":{"date-parts":[[2007,7,7]],"date-time":"2007-07-07T13:49:03Z","timestamp":1183816143000},"page":"167-177","source":"Crossref","is-referenced-by-count":3,"title":["Deductive efficiency, belief revision and acting"],"prefix":"10.1080","volume":"5","author":[{"given":"DEEPAK","family":"KUMAR","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"STUART C.","family":"SHAPIRO","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1080\/09528139308953763"},{"key":"CIT0002","first-page":"189","volume-title":"Reasoning about Actions and Plans\u2014Proceedings of the 1986 Workshop","author":"Drummond M. E.","year":"1987"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"CIT0004","first-page":"359","volume-title":"Annual Reviews of Computer Science Volume 2","author":"Georgeff M. P.","year":"1987"},{"key":"CIT0005","unstructured":"Hull . R. G. ( 1986 ) A new design for SNIP the SNePS inference package . SNeRG Technical Note 14, Department of Computer Science, SUNY at Buffalo, 1986 ."},{"key":"CIT0006","volume-title":"Proceedings of the Twenty-Sixth Hawaii International Conference on System Sciences","author":"Kumar D.","year":"1993"},{"key":"CIT0007","volume-title":"IEEE Expert","author":"Kumar D.","year":"1991"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1145\/122344.122362"},{"key":"CIT0009","first-page":"120","volume-title":"EPIA 91 5th Portugese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 541","author":"Kumar D.","year":"1991"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(88)90031-8"},{"key":"CIT0011","unstructured":"Morris , P. , Feldman , R. and Filman , R. ( 1990 ) Use of truth maintenance in automatic planning . Technical report, Intellicorp, Inc."},{"key":"CIT0012","volume-title":"Principles of Artificial Intelligence","author":"Nilsson N. J.","year":"1980"},{"key":"CIT0013","unstructured":"Pinto-Ferreira , C. , Mamede , N. J. and Martins , J. P. ( 1989 ) SNIP 2.1\u2014The SNePS inference package . Technical Report GIA 89\/5 , Technical University of Lisbon , December ."},{"key":"CIT0014","volume-title":"SNePS-2 User's Manual","author":"Shapiro S. C.","year":"1989"},{"key":"CIT0015","first-page":"1","volume-title":"Current Trends in SNePS\u2014Semantic Network Processing System Proceedings of the First Annual SNePS Workshop","author":"Shapiro S. C.","year":"1989"},{"key":"CIT0016","volume-title":"Practical Planning\u2014Extending the Classical AI Planning Paradigm","author":"Wilkins D. E.","year":"1988"}],"container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/09528139308953766","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,15]],"date-time":"2016-12-15T01:41:11Z","timestamp":1481766071000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/09528139308953766"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,4]]},"references-count":16,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1993,4]]}},"alternative-id":["10.1080\/09528139308953766"],"URL":"https:\/\/doi.org\/10.1080\/09528139308953766","relation":{},"ISSN":["0952-813X","1362-3079"],"issn-type":[{"value":"0952-813X","type":"print"},{"value":"1362-3079","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,4]]}}}