{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T19:53:39Z","timestamp":1649015619382},"reference-count":7,"publisher":"Wiley","issue":"12","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":6499,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Syst. Comp. Jpn."],"published-print":{"date-parts":[[1997,11,15]]},"DOI":"10.1002\/(sici)1520-684x(19971115)28:12<43::aid-scj5>3.0.co;2-d","type":"journal-article","created":{"date-parts":[[2004,11,12]],"date-time":"2004-11-12T09:18:29Z","timestamp":1100251109000},"page":"43-52","source":"Crossref","is-referenced-by-count":0,"title":["High speed subsumption processing for hypothetical reasoning using inference-path networks"],"prefix":"10.1002","volume":"28","author":[{"given":"Haruhiko","family":"Kimura","sequence":"first","affiliation":[]},{"given":"Sadaki","family":"Hirose","sequence":"additional","affiliation":[]},{"given":"Kuniyasu","family":"Tajima","sequence":"additional","affiliation":[]}],"member":"311","reference":[{"key":"10.1002\/(SICI)1520-684X(19971115)28:12<43::AID-SCJ5>3.0.CO;2-D-BIB1","volume-title":"Theorist: A logical reasoning system for defaults and diagnosis. The Knowledge Frontier: Essays in the Knowledge Frontier. Essays in the Knowledge Representation","author":"Poole","year":"1987"},{"key":"10.1002\/(SICI)1520-684X(19971115)28:12<43::AID-SCJ5>3.0.CO;2-D-BIB2","volume-title":"Expert systems of next generation","author":"Ishizuka","year":"1991"},{"issue":"5","key":"10.1002\/(SICI)1520-684X(19971115)28:12<43::AID-SCJ5>3.0.CO;2-D-BIB3","first-page":"640","article-title":"Hypothetical reasoning system with constraint evaluation mechanism, and its application to circuit design","volume":"5","author":"Makino","year":"1990","journal-title":"Jinko Chino Gakkai-shi"},{"key":"10.1002\/(SICI)1520-684X(19971115)28:12<43::AID-SCJ5>3.0.CO;2-D-BIB4","unstructured":"B. Selman, and H. J. Levesque. Abductive and default reasoning: A computational core. Proc. AAAI-90, pp. 343\u00e2\u0080\u0093348 (1990)."},{"key":"10.1002\/(SICI)1520-684X(19971115)28:12<43::AID-SCJ5>3.0.CO;2-D-BIB5","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0004-3702(91)90005-5","article-title":"The computational complexity of abduction","volume":"49","author":"Bylander","year":"1991","journal-title":"Artif. Intell."},{"issue":"4","key":"10.1002\/(SICI)1520-684X(19971115)28:12<43::AID-SCJ5>3.0.CO;2-D-BIB6","first-page":"501","article-title":"High-speed hypothetical reasoning system using inference-path network","volume":"6","author":"Itoh","year":"1991","journal-title":"Jinko Chino Gakkai-shi"},{"key":"10.1002\/(SICI)1520-684X(19971115)28:12<43::AID-SCJ5>3.0.CO;2-D-BIB7","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","article-title":"Linear-time algorithm for testing the satisfiability of propositional horn formulae","volume":"3","author":"Dowling","year":"1984","journal-title":"J. of Logic Program"}],"container-title":["Systems and Computers in Japan"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2F(SICI)1520-684X(19971115)28:12%3C43::AID-SCJ5%3E3.0.CO;2-D","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/(SICI)1520-684X(19971115)28:12%3C43::AID-SCJ5%3E3.0.CO;2-D","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T08:36:42Z","timestamp":1625128602000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/(SICI)1520-684X(19971115)28:12<43::AID-SCJ5>3.0.CO;2-D"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,11,15]]},"references-count":7,"journal-issue":{"issue":"12","published-print":{"date-parts":[[1997,11,15]]}},"URL":"https:\/\/doi.org\/10.1002\/(sici)1520-684x(19971115)28:12<43::aid-scj5>3.0.co;2-d","relation":{},"ISSN":["0882-1666","1520-684X"],"issn-type":[{"value":"0882-1666","type":"print"},{"value":"1520-684X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,11,15]]}}}