{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:47:29Z","timestamp":1749124049240},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/bf00881833","type":"journal-article","created":{"date-parts":[[2004,12,25]],"date-time":"2004-12-25T19:07:06Z","timestamp":1104001626000},"page":"143-160","source":"Crossref","is-referenced-by-count":18,"title":["Autoepistemic circumscription and logic programming"],"prefix":"10.1007","volume":"10","author":[{"given":"Li Yan","family":"Yuan","sequence":"first","affiliation":[]},{"given":"Jia-Huai","family":"You","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"Gelfond, M., ?On stratified autoepistemic theories?, inProc. AAAI-87, pp. 207?211 (1988)."},{"key":"CR2","unstructured":"Gelfond, M. and Lifschitz, V., ?The stable model semantics for logic programming?, inProc. 5th Symposium Conference on Logic Programming (R. A. Kowalski and K. A. Bowen, eds.), MIT Press, pp. 1070?1080 (1988)."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0004-3702(88)90021-5","volume":"35","author":"K. Konolige","year":"1988","unstructured":"Konolige, K., ?On the relation between default and autoepistemic logic?,Artificial Intelligence 35, 343?382 (1988).","journal-title":"Artificial Intelligence"},{"key":"CR4","unstructured":"Lifschitz, V., ?Computing circumscription?,Proc. IJCAI-85, Los Angeles, CA, pp. 121?127 (1985)."},{"key":"CR5","unstructured":"Lifschitz, V., ?Between circumscription and autoepistemic logic?,Proc. First International Conference on Principles of Knowledge Representation and Reasoning, Toronto, Ont., pp. 235?244 (1989)."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J., ?Circumscription ? a form of non-monotonic reasoning?,Artificial Intelligence 13, 27?39 (1980).","journal-title":"Artificial Intelligence"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J. McCarthy","year":"1986","unstructured":"McCarthy, J., ?Applications of circumscription to formalizing common-sense reasoning?,Artificial Intelligence 28, 86?116 (1986).","journal-title":"Artificial Intelligence"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. C. Moore","year":"1985","unstructured":"Moore, R. C., ?Semantical considerations on nonmonotonic logic?,Artificial Intelligence 25, 75?94 (1985).","journal-title":"Artificial Intelligence"},{"key":"CR9","unstructured":"Przymusinski, T. C., ?Autoepistemic logics of closed world beliefs and logic programming?, inProc. Workshop on Nonmonotonic Reasoning and Logic programming, MIT Press, pp. 3?20 (July 1991)."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Przymusinski, T. C., ?Semantics of disjunctive logic programs and deductive databases?, inProc. 2nd International Conference on Object Oriented and Deductive Databases, pp. 87?107 (Dec. 1991).","DOI":"10.1007\/3-540-55015-1_5"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Reiter, R., ?On closed-world data bases?, inLogic and Data Bases (H. Gallaire and J. Minkjer, eds.), Plenum Press (1978).","DOI":"10.1007\/978-1-4684-3384-5_3"},{"key":"CR12","unstructured":"Stalnaker, R. C., ?A note on monotonic model logic, Tech Report, Department of Philosophy, Cornell University (1980)."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Yuan, L. and You, J., ?Discrimination circumscription?, inProc. 10th Conference on Foundations of Software Technology and Theoretical Computer Science, LNCS 472, pp. 21?32 (1990).","DOI":"10.1007\/3-540-53487-3_32"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881833.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00881833\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881833","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T23:29:43Z","timestamp":1586042983000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00881833"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"references-count":13,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993]]}},"alternative-id":["BF00881833"],"URL":"https:\/\/doi.org\/10.1007\/bf00881833","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}