{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T05:16:27Z","timestamp":1676006187778},"reference-count":16,"publisher":"Hindawi Limited","issue":"2","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":8613,"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":[[1992,2]]},"DOI":"10.1002\/int.4550070202","type":"journal-article","created":{"date-parts":[[2007,7,8]],"date-time":"2007-07-08T17:52:26Z","timestamp":1183917146000},"page":"81-96","source":"Crossref","is-referenced-by-count":18,"title":["Detection of potential inconsistencies in knowledge bases"],"prefix":"10.1155","volume":"7","author":[{"given":"Heri","family":"Nonfjall","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henrik L.","family":"Larsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"98","reference":[{"key":"10.1002\/int.4550070202-BIB1","doi-asserted-by":"crossref","first-page":"759","DOI":"10.1002\/int.4550060706","volume":"6","author":"Larsen","year":"1991","journal-title":"Int. J. Intelligent Systems"},{"key":"10.1002\/int.4550070202-BIB2","author":"Nguyen","year":"1985","unstructured":", , and , \u201cChecking an expert system knowledge base for consistency and completeness,\u201d In Proc. of IJCAI-85, Los Angeles, 1985, pp. 375\u2013378."},{"key":"10.1002\/int.4550070202-BIB3","first-page":"353","volume-title":"Topics in Expert System Design","author":"Nguyen","year":"1989","unstructured":", , and , \u201cKnowledge base verification,\u201d In and (Eds.), Topics in Expert System Design, North-Holland, 1989, pp. 353\u2013376."},{"key":"10.1002\/int.4550070202-BIB4","first-page":"69","volume":"8","author":"Perkins","year":"1987","journal-title":"AI Magazine"},{"key":"10.1002\/int.4550070202-BIB5","first-page":"79","volume-title":"Proc. of ECAI-88, Munich, Germany, 1988","author":"Rousset","year":"1988","unstructured":"On the consistency of knowledge bases: the COVADIS system, Proc. of ECAI-88, Munich, Germany, 1988, Pitman Publishing, 1988, pp. 79\u201384."},{"key":"10.1002\/int.4550070202-BIB6","series-title":"LNCS 230","doi-asserted-by":"crossref","first-page":"608","DOI":"10.1007\/3-540-16780-3_125","volume-title":"Proc. of the 8th International Conference on Automated Deduction (CADE-8), Oxford, England","author":"Cox","year":"1986","unstructured":"and , \u201cCauses for events: Their computation and applications,\u201d In (Ed.), Proc. of the 8th International Conference on Automated Deduction (CADE-8), Oxford, England, 1986, LNCS 230, Springer Verlag, 1986, pp. 608\u2013621."},{"key":"10.1002\/int.4550070202-BIB7","author":"Cox","year":"1987","unstructured":"and , \u201cGeneral diagnosis by abductive inference,\u201d In Proc. of the 3rd IEEE Symposium on Logic Programming, September 1987, IEEE Computer Society Press, 1987, pp. 183\u2013189."},{"key":"10.1002\/int.4550070202-BIB8","author":"Poole","year":"1986","unstructured":"Default Reasoning and Diagnosis as Theory Formation, Techical Report CS-86-08, Department of Computer Science, University of Waterloo, 1986."},{"key":"10.1002\/int.4550070202-BIB9","series-title":"LNCS 225","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/3-540-16492-8_77","volume-title":"Proc. of the Third International Conference on Logic Programming, London","author":"Goebel","year":"1986","unstructured":", and , \u201cUsing definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning,\u201d In (Ed.), Proc. of the Third International Conference on Logic Programming, London, 1986, LNCS 225, Springer Verlag, 1986, pp. 211\u2013222."},{"key":"10.1002\/int.4550070202-BIB10","author":"Kowalski","year":"1974","unstructured":"\u201cPredicate logic as a programming language,\u201d In Proc. of Information Processing (IFIP) 1974, North-Holland, 1974, pp. 569\u2013574."},{"key":"10.1002\/int.4550070202-BIB11","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"Apt","year":"1982","journal-title":"JACM"},{"key":"10.1002\/int.4550070202-BIB12","author":"Yager","journal-title":"IEEE Trans. on Systems, Man, and Cybernetics"},{"key":"10.1002\/int.4550070202-BIB13","doi-asserted-by":"crossref","first-page":"474","DOI":"10.1109\/TSMC.1987.4309063","volume":"SMC-17","author":"Dubois","year":"1987","journal-title":"IEEE Trans. on Systems, Man, and Cybernetics"},{"key":"10.1002\/int.4550070202-BIB14","author":"Dubois","year":"1988","unstructured":"and , Resolution Principles in Possibilistic Logic, L. S. I. Report No. 297, LSI, Universite Paul Sabitier, Toulouse, 1988."},{"key":"10.1002\/int.4550070202-BIB15","author":"Dubois","year":"1989","unstructured":", and , \u201cAutomated reasoning using possibilistic logic: Semantics, belief revision, and variable certainty weights,\u201d In Proc. of the Fifth Workshop on Uncertainty in Artificial Intelligence, Windsor, Ontario, August 1989."},{"key":"10.1002\/int.4550070202-BIB16","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0888-613X(87)90005-3","volume":"1","author":"Bonissone","year":"1987","journal-title":"Int. J. Approximate Reasoning"}],"container-title":["International Journal of Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fint.4550070202","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/int.4550070202","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T15:33:25Z","timestamp":1675956805000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/int.4550070202"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,2]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1992,2]]}},"URL":"https:\/\/doi.org\/10.1002\/int.4550070202","relation":{},"ISSN":["0884-8173","1098-111X"],"issn-type":[{"value":"0884-8173","type":"print"},{"value":"1098-111X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,2]]}}}