{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T21:01:20Z","timestamp":1750453280107},"reference-count":25,"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.4550050507","type":"journal-article","created":{"date-parts":[[2007,7,8]],"date-time":"2007-07-08T15:19:44Z","timestamp":1183907984000},"page":"549-564","source":"Crossref","is-referenced-by-count":7,"title":["On the relationship between CWA, minimal model, and minimal herbrand model semantics"],"prefix":"10.1155","volume":"5","author":[{"given":"Michael","family":"Gelfond","sequence":"first","affiliation":[]},{"given":"Halina","family":"Przymusinska","sequence":"additional","affiliation":[]},{"given":"Teodor","family":"Przymusinski","sequence":"additional","affiliation":[]}],"member":"98","reference":[{"key":"10.1002\/int.4550050507-BIB1","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-1-4684-3384-5_3","volume-title":"Logic and Data Bases","author":"Reiter","year":"1978","unstructured":"\u201cOn closed-world data bases,\u201d In Logic and Data Bases, and (Eds.), Plenum Press, New York, 1978, pp. 55\u201376."},{"key":"10.1002\/int.4550050507-BIB2","author":"Minker","year":"1982","unstructured":"\u201cOn indefinite data bases and the closed world assumption,\u201d Proc. 6th Conference on Automated Deduction, Springer-Verlag, 1982, pp. 292\u2013308."},{"key":"10.1002\/int.4550050507-BIB3","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF00244994","volume":"1","author":"Yahya","year":"1985","journal-title":"Journal of Automated Reasoning"},{"key":"10.1002\/int.4550050507-BIB4","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/0004-3702(86)90001-9","volume":"30","author":"Gelfond","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050507-BIB5","author":"Gelfond","year":"1986","unstructured":", and , \u201cThe extended closed world assumption and its relationship to parallel circumscription,\u201d Proceedings ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, Cambridge, MA, March 1986, pp. 133\u2013139."},{"key":"10.1002\/int.4550050507-BIB6","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(89)90068-4","volume":"38","author":"Gelfond","year":"1989","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050507-BIB7","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"McCarthy","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050507-BIB8","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/0004-3702(85)90040-2","volume":"25","author":"Bossu","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050507-BIB9","author":"Przymusinski","year":"1988","unstructured":"\u201cPerfect model semantics,\u201d Proceedings of the Fourth International Conference on Logic Programming, Seattle, WA, August 1988, pp. 1081\u20131096."},{"key":"10.1002\/int.4550050507-BIB10","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"3","author":"Van Emden","year":"1976","journal-title":"Journ. ACM"},{"key":"10.1002\/int.4550050507-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.4550050507-BIB12","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"McCarthy","year":"1986","journal-title":"J. Artificial Intelligence"},{"key":"10.1002\/int.4550050507-BIB13","author":"Lifschitz","year":"1985","unstructured":"\u201cComputing circumscription,\u201d Proceedings IJCAI-85, Los Angeles, 1985, pp. 121\u2013127."},{"key":"10.1002\/int.4550050507-BIB14","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/B978-0-934613-40-8.50009-9","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"Przymusinski","year":"1988","unstructured":"\u201cOn the Declarative Semantics of Stratified Deductive Databases and Logic Programs,\u201d In Foundations of Deductive Databases and Logic Programming, (Ed), Morgan Kaufmann, Inc., Los Altos, CA, 1988, pp. 193\u2013216."},{"key":"10.1002\/int.4550050507-BIB15","author":"Przymusinski","year":"1988","unstructured":"\u201cOn the relationship between logic programming and nonmonotonic reasoning,\u201d Proceedings of the Seventh National Conference on Artificial Intelligence AAAI'88, St. Paul, MN, August 1988, pp. 444\u2013448."},{"key":"10.1002\/int.4550050507-BIB16","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0004-3702(85)90055-4","volume":"27","author":"Lifschitz","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550050507-BIB17","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/978-1-4612-5196-5_8","volume-title":"On Conceptual Modeling","author":"Reiter","year":"1984","unstructured":"\u201cTowards a logical reconstruction of relational database theory,\u201d In On Conceptual Modeling, et al. (Eds.), Springer-Verlag, 1984, pp. 191\u2013233."},{"key":"10.1002\/int.4550050507-BIB18","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"4","author":"Kunen","year":"1987","journal-title":"J. of Logic Programming"},{"key":"10.1002\/int.4550050507-BIB19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"Lloyd","year":"1984","unstructured":"Foundations of Logic Programming, Springer-Verlag, Berlin, 1984."},{"key":"10.1002\/int.4550050507-BIB20","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0743-1066(85)90018-4","volume":"2","author":"Shepherdson","year":"1985","journal-title":"J. Logic Programming"},{"key":"10.1002\/int.4550050507-BIB21","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/B978-0-934613-40-8.50005-1","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"Shepherdson","year":"1988","unstructured":"\u201cNegation in logic programming,\u201d In Foundations of Deductive Databases and Logic Programming, (Ed.), Morgan Kaufmann, Inc., Los Altos, CA, 1988, pp. 19\u201388."},{"key":"10.1002\/int.4550050507-BIB22","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0743-1066(84)90011-6","volume":"1","author":"Lloyd","year":"1984","journal-title":"Journ. of Logic Programming"},{"key":"10.1002\/int.4550050507-BIB23","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"Chang","year":"1973","unstructured":"and , Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York, 1973."},{"key":"10.1002\/int.4550050507-BIB24","author":"Etherington","year":"1986","unstructured":"\u201cReasoning with Incomplete Information. Investigations of Non-Monotonic Reasoning,\u201d Ph.D. Thesis, Dept. of Computer Science, University of British Columbia, 1986."},{"key":"10.1002\/int.4550050507-BIB25","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0004-3702(86)90028-7","volume":"28","author":"Lifschitz","year":"1986","journal-title":"Artificial Intelligence"}],"container-title":["International Journal of Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fint.4550050507","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/int.4550050507","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.4550050507"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,12]]},"references-count":25,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1990,12]]}},"URL":"https:\/\/doi.org\/10.1002\/int.4550050507","relation":{},"ISSN":["0884-8173","1098-111X"],"issn-type":[{"value":"0884-8173","type":"print"},{"value":"1098-111X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,12]]}}}