乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T02:07:29Z","timestamp":1676686049828},"reference-count":37,"publisher":"Hindawi Limited","issue":"5","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":9040,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Intell. Syst."],"published-print":{"date-parts":[[1990,12]]},"DOI":"10.1002\/int.4550050506","type":"journal-article","created":{"date-parts":[[2007,7,8]],"date-time":"2007-07-08T15:19:44Z","timestamp":1183907984000},"page":"521-548","source":"Crossref","is-referenced-by-count":39,"title":["A methodology for using a default and abductive reasoning system"],"prefix":"10.1155","volume":"5","author":[{"given":"David","family":"Poole","sequence":"first","affiliation":[]}],"member":"98","reference":[{"key":"10.1002\/int.4550050506-BIB1","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050506-BIB2","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"McCarthy","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050506-BIB3","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"Moore","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050506-BIB4","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0004-3702(87)90053-1","volume":"33","author":"Delgrande","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050506-BIB5","author":"Kautz","year":"1987","unstructured":"\u201cA Formal Theory of Plan Recognition,\u201d Technical Report TR-215, Department of Computer Science, University of Rochester, 1987."},{"key":"10.1002\/int.4550050506-BIB6","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(87)90081-6","volume":"31","author":"Etherington","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050506-BIB7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"Lloyd","year":"1987","unstructured":"Foundations of Logic Programming, 2nd ed., Springer-Verlag, Berlin, 1987."},{"key":"10.1002\/int.4550050506-BIB8","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/978-1-4612-4792-0_13","volume-title":"The Knowledge Frontier: Essays in the Representation of Knowledge","author":"Poole","year":"1987","unstructured":", and , \u201cTheorist: A logical reasoning system for defaults and diagnosis,\u201d In The Knowledge Frontier: Essays in the Representation of Knowledge, and (Eds.), Springer-Verlag, New York, 1987, pp. 331\u2013352."},{"key":"10.1002\/int.4550050506-BIB9","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"Poole","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050506-BIB10","volume-title":"Experiments in the Theorist Paradigm: A Collection of Student Papers on the Theorist Project","author":"Poole","year":"1987","unstructured":"(Ed.), Experiments in the Theorist Paradigm: A Collection of Student Papers on the Theorist Project, Research Report CS-87-30, Department of Computer Science, University of Waterloo, May, 1987."},{"key":"10.1002\/int.4550050506-BIB11","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1111\/j.1467-8640.1989.tb00319.x","volume":"5","author":"Poole","year":"1989","journal-title":"Computational Intelligence"},{"key":"10.1002\/int.4550050506-BIB12","author":"Konolige","year":"1987","unstructured":"\u201cOn the relationship between default theories and autoepistemic logic,\u201d Proc. IJCAI-87, 1987, pp. 394\u2013401."},{"key":"10.1002\/int.4550050506-BIB13","author":"Brewka","year":"1989","unstructured":"\u201cPreferred subtheories: an extended logical framework for default reasoning,\u201d Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Detroit, 1989, pp. 1043\u20131048."},{"key":"10.1002\/int.4550050506-BIB14","volume-title":"Change in View","author":"Harman","year":"1986","unstructured":"Change in View, MIT Press, 1986."},{"key":"10.1002\/int.4550050506-BIB15","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"Doyle","year":"1979","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050506-BIB16","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"de Kleer","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050506-BIB17","volume-title":"A Mathematical Introduction to Logic","author":"Enderton","year":"1972","unstructured":"A Mathematical Introduction to Logic, Academic Press, Orlando, 1972."},{"key":"10.1002\/int.4550050506-BIB18","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1111\/j.1467-8640.1987.tb00183.x","volume":"3","author":"McDermott","year":"1987","journal-title":"Computational Intelligence"},{"key":"10.1002\/int.4550050506-BIB19","first-page":"424","volume":"22","author":"Kowalski","year":"1979","journal-title":"Comm. A. C. M."},{"key":"10.1002\/int.4550050506-BIB20","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"Reiter","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050506-BIB21","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"de Kleer","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050506-BIB22","author":"Cox","year":"1987","unstructured":"and , General Diagnosis by Abductive Inference, Technical Report CS8701, School of Computer Science, Technical University of Nova Scotia, April 1987."},{"key":"10.1002\/int.4550050506-BIB23","volume-title":"Philosophy of Natural Science","author":"Hempel","year":"1966","unstructured":"Philosophy of Natural Science, Prentice Hall, NJ, 1966."},{"key":"10.1002\/int.4550050506-BIB24","volume-title":"Conjectures and Refutations: the Growth of Scientific Knowledge","author":"Popper","year":"1962","unstructured":"Conjectures and Refutations: the Growth of Scientific Knowledge, Basic Books, New York, 1962."},{"key":"10.1002\/int.4550050506-BIB25","volume-title":"The Web of Belief","author":"Quine","year":"1978","unstructured":"and , The Web of Belief, 2nd ed., Random House, New York, 1978."},{"key":"10.1002\/int.4550050506-BIB26","author":"Neufeld","year":"1987","unstructured":"and , \u201cTowards solving the multiple extension problem: Combining defaults and probabilities,\u201d Workshop on Reasoning with Uncertainty, Seattle, July 1987."},{"key":"10.1002\/int.4550050506-BIB27","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","volume":"24","author":"Davis","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050506-BIB28","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1016\/0004-3702(84)90043-2","volume":"24","author":"Genesereth","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050506-BIB29","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0004-3702(78)90015-2","volume":"11","author":"Weiss","year":"1978","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050506-BIB30","author":"Patil","year":"1981","unstructured":", and , \u201cCausal understanding of patient illness in medical diagnosis,\u201d Proc. IJCAI-81, 1981, pp. 893\u2013899."},{"key":"10.1002\/int.4550050506-BIB31","first-page":"119","volume-title":"Artificial Intelligence in Medicine","author":"Popl","year":"1983","unstructured":"\u201cHeuristic methods for imposing structure on ill structured problems,\u201d In Artificial Intelligence in Medicine, (Ed.), AAAS\/Westview, Boulder, CO, 1983, pp. 119\u2013190."},{"key":"10.1002\/int.4550050506-BIB32","first-page":"227","volume-title":"Intelligent Tutoring Systems","author":"Brown","year":"1982","unstructured":", and , \u201cPedagogical, natural language and knowledge engineering techniques in SOPHIE I, II and III,\u201d In Intelligent Tutoring Systems, (Eds.), Academic Press, New York, 1982, pp. 227\u2013282."},{"key":"10.1002\/int.4550050506-BIB33","author":"Poole","year":"1988","unstructured":"\u201cRepresenting knowledge for logic-based diagnosis,\u201d Proceedings of the International Conference of Fifth Generation Computing Systems, 1988, Tokyo, 1988, pp. 1282\u20131290."},{"key":"10.1002\/int.4550050506-BIB34","author":"Poole","year":"1989","unstructured":"\u201cNormality and faults at logic-based diagnosis,\u201d Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Detroit, 1989, pp. 1304\u20131310."},{"key":"10.1002\/int.4550050506-BIB35","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0004-3702(89)90008-8","volume":"41","author":"Reiter","year":"1989","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050506-BIB36","author":"Poole","year":"1985","unstructured":"\u201cOn the comparison of theories: preferring the most specific explanation,\u201d Proc. IJCAI-85, 1985, pp. 144\u2013147."},{"key":"10.1002\/int.4550050506-BIB37","first-page":"187","volume-title":"Nonmonotonic Reasoning","author":"Goodwin","year":"1988","unstructured":"and , \u201cNonmonotonic reasoning in temporal domains: the knowledge independence problem,\u201d In Nonmonotonic Reasoning, et al., Eds., Springer-Verlag, Berlin, 1988, pp. 187\u2013201."}],"container-title":["International Journal of Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fint.4550050506","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/int.4550050506","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T15:33:06Z","timestamp":1675956786000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/int.4550050506"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,12]]},"references-count":37,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1990,12]]}},"URL":"https:\/\/doi.org\/10.1002\/int.4550050506","relation":{},"ISSN":["0884-8173","1098-111X"],"issn-type":[{"value":"0884-8173","type":"print"},{"value":"1098-111X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,12]]}}}