{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T06:17:44Z","timestamp":1683872264834},"reference-count":18,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1997,12,1]],"date-time":"1997-12-01T00:00:00Z","timestamp":880934400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Decision Support Systems"],"published-print":{"date-parts":[[1997,12]]},"DOI":"10.1016\/s0167-9236(97)00044-4","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T16:07:13Z","timestamp":1027613233000},"page":"253-261","source":"Crossref","is-referenced-by-count":5,"title":["Verification of non-monotonic knowledge bases"],"prefix":"10.1016","volume":"21","author":[{"given":"Neli P","family":"Zlatareva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0167-9236(97)00044-4_BIB1","unstructured":"G. Antoniou, Verification and correctness issues for nonmonotonic knowledge bases, in: Proc. European Symposium on the Validation and Verification of Knowledge-Based Systems (Eurovav-95), 1995, pp. 141\u2013153."},{"key":"10.1016\/S0167-9236(97)00044-4_BIB2","doi-asserted-by":"crossref","unstructured":"C.L. Chang, R.A. Stachowitz, J.B. Combs, Validation of nonmonotonic knowledge-based systems, in: A. Dollas, W.T. Tsai, N.G. Bourbakis (Eds.), Proc. 2nd International Conference on Tools for Artificial Intelligence (TAI-90), 1990, pp. 776\u2013782.","DOI":"10.1109\/TAI.1990.130437"},{"issue":"2","key":"10.1016\/S0167-9236(97)00044-4_BIB3","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","article-title":"An assumption-based TMS","volume":"28","author":"de Kleer","year":"1986","journal-title":"Artificial Intelligence (Netherlands)"},{"key":"10.1016\/S0167-9236(97)00044-4_BIB4","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","article-title":"A truth maintenance system","volume":"12","author":"Doyle","year":"1979","journal-title":"Artificial Intelligence (Netherlands)"},{"key":"10.1016\/S0167-9236(97)00044-4_BIB5","unstructured":"D. Etherington, Reasoning with incomplete information. Research Notes in Artificial Intelligence, Pitman Publ., 1988."},{"issue":"9","key":"10.1016\/S0167-9236(97)00044-4_BIB6","doi-asserted-by":"crossref","first-page":"904","DOI":"10.1145\/4284.4285","article-title":"The role of frame-based representation in reasoning","volume":"28","author":"Fikes","year":"1985","journal-title":"Communications of the ACM"},{"issue":"4","key":"10.1016\/S0167-9236(97)00044-4_BIB7","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1145\/42404.42405","article-title":"Reasoning with worlds and truth maintenance in a knowledge-based programming environment","volume":"31","author":"Filman","year":"1988","journal-title":"Communications of the ACM (US)"},{"key":"10.1016\/S0167-9236(97)00044-4_BIB8","unstructured":"A. Ginsberg, Knowledge-base reduction: a new approach to checking knowledge bases for inconsistency and redundancy, in: Proc. 7th National Conference on Artificial Intelligence (AAAI 88), Vol. 2, 1988, pp. 585\u2013589."},{"key":"10.1016\/S0167-9236(97)00044-4_BIB9","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","article-title":"Applications of circumscription to formalizing common-sense knowledge","volume":"28","author":"McCarthy","year":"1986","journal-title":"Artificial Intelligence (Netherlands)"},{"key":"10.1016\/S0167-9236(97)00044-4_BIB10","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF00116250","article-title":"Explanation-based generalisation: a unifying view","volume":"1","author":"Mitchell","year":"1986","journal-title":"Machine Learning (Netherlands)"},{"key":"10.1016\/S0167-9236(97)00044-4_BIB11","unstructured":"S. Rajamoney, G. DeJong, The classification, detection and handling of imperfect theory problems, in: Proc. AAAI 1988, 1988, pp. 205\u2013207."},{"key":"10.1016\/S0167-9236(97)00044-4_BIB12","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A logic for default reasoning","volume":"13","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence (Netherlands)"},{"key":"10.1016\/S0167-9236(97)00044-4_BIB13","unstructured":"R. Reiter, G. Criscuolo, On interacting defaults, in: Proc. International Joint Conferences on Artificial Intelligence (IJCAI'81), 1981, pp. 270\u2013275."},{"key":"10.1016\/S0167-9236(97)00044-4_BIB14","doi-asserted-by":"crossref","unstructured":"M.-C. Rousset, On the consistency of knowledge bases: the COVADIS system. Computational Intelligence (Canada), 4 (2) 1988, pp. 166\u2013170. Also in: ECAI 88, Proc. European Conference on AI, Munich, August 1\u20135, 1988, pp. 79\u201384.","DOI":"10.1111\/j.1467-8640.1988.tb00119.x"},{"key":"10.1016\/S0167-9236(97)00044-4_BIB15","unstructured":"D. Touretzky, The Mathematics of Inheritance. Research Notes in Artificial Intelligence, Pitman Publ., 1986."},{"key":"10.1016\/S0167-9236(97)00044-4_BIB16","unstructured":"N. Zlatareva, Distributed verification: a new formal approach for verifying knowledge-based systems, in: J. Liebowitz (Ed.), Expert Systems World Congress Proceedings, Vol. 2, 1991, Pergamon Press, New York, pp. 1021\u20131029."},{"issue":"4","key":"10.1016\/S0167-9236(97)00044-4_BIB17","first-page":"229","article-title":"CTMS: a general framework for plausible reasoning","volume":"5","author":"Zlatareva","year":"1992","journal-title":"Int. J. Expert Syst.: Res. Appl."},{"issue":"3","key":"10.1016\/S0167-9236(97)00044-4_BIB18","first-page":"239","article-title":"An effective logical framework for knowledge-based systems verification","volume":"7","author":"Zlatareva","year":"1994","journal-title":"Int. J. Expert Syst.: Res. Appl."}],"container-title":["Decision Support Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167923697000444?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167923697000444?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,26]],"date-time":"2019-04-26T11:28:27Z","timestamp":1556278107000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167923697000444"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,12]]},"references-count":18,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1997,12]]}},"alternative-id":["S0167923697000444"],"URL":"https:\/\/doi.org\/10.1016\/s0167-9236(97)00044-4","relation":{},"ISSN":["0167-9236"],"issn-type":[{"value":"0167-9236","type":"print"}],"subject":[],"published":{"date-parts":[[1997,12]]}}}