{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T18:42:55Z","timestamp":1758048175698,"version":"3.44.0"},"reference-count":39,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1997,8,1]],"date-time":"1997-08-01T00:00:00Z","timestamp":870393600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1997,8,1]],"date-time":"1997-08-01T00:00:00Z","timestamp":870393600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T00:00:00Z","timestamp":1374710400000},"content-version":"vor","delay-in-days":5837,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["#IRI-93 1306 I"],"award-info":[{"award-number":["#IRI-93 1306 I"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1997,8]]},"DOI":"10.1016\/s0004-3702(97)00032-5","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T19:37:38Z","timestamp":1027625858000},"page":"115-154","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":8,"title":["Autoepistemic logic of knowledge and beliefs"],"prefix":"10.1016","volume":"95","author":[{"given":"Teodor C.","family":"Przymusinski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(97)00032-5_BIB1","series-title":"Proceedings International Joint Conference and Symposium on Logic Programming","first-page":"574","article-title":"On logic program semantics with two kinds of negation","author":"Alferes","year":"1992"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB2","series-title":"Progress in AI, Proceedings International Artificial Intelligence Conference (EPIA-95)","first-page":"41","article-title":"Belief revision in logic programming and nonmonotonic reasoning","author":"Alferes","year":"1995"},{"issue":"1\u20132","key":"10.1016\/S0004-3702(97)00032-5_BIB3","first-page":"1","article-title":"Belief revision in logic programming and nonmonotonic reasoning","volume":"28","author":"Alferes","year":"1996","journal-title":"Fund. Inform."},{"key":"10.1016\/S0004-3702(97)00032-5_BIB4","unstructured":"J.J. Alferes, L.M. Pereira and T.C. Przymusinski, \u2018Classical\u2019 negation in non-monotonic reasoning, J. Automated Reasoning, to appear."},{"key":"10.1016\/S0004-3702(97)00032-5_BIB5","series-title":"Proceedings International Conference on Artificial Intelligence and Mathematics (AI&Math-96)","first-page":"1","article-title":"Symmetric negation in non-monotonic reasoning","author":"Alferes","year":"1996"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB6","series-title":"Logic in Artificial Intelligence: Proceedings European Workshop (JEL1A-96)","first-page":"143","article-title":"Strong and explicit negation in nonmonotonic reasoning and logic programming","volume":"Vol. 1126","author":"Alferes","year":"1996"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB7","series-title":"Proceedings 12th International Conference on Logic Programming","article-title":"Disjunctive semantics based upon partial and bottom-up evaluation","author":"Brass","year":"1995"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB8","unstructured":"S. Brass, J. Dix, I. Niemela and T.C. Przymusinski, A comparison of the static and disjunctive well-founded semantics, in: Proceedings International Logic Programming Symposium (ILPS-97), to appear."},{"key":"10.1016\/S0004-3702(97)00032-5_BIB9","series-title":"Proceedings International Conference on Principles of Knowledge Representation and Reasoning (KR-96)","first-page":"529","article-title":"Super logic programs","author":"Brass","year":"1996"},{"article-title":"Logic programming and reasoning with incomplete information","year":"1992","author":"Gelfond","key":"10.1016\/S0004-3702(97)00032-5_BIB10"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB11","series-title":"Proceedings 5th Logic Programming Symposium","first-page":"1070","article-title":"The stable model semantics for logic programming","author":"Gelfond","year":"1988"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB12","series-title":"Proceedings 7th International Logic Programming Conference","first-page":"579","article-title":"Logic programs with classical negation","author":"Gelfond","year":"1990"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB13","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(89)90068-4","article-title":"On the relationship between circumscription and negation as failure","volume":"38","author":"Gelfond","year":"1989","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB14","series-title":"Proceedings AAAI-87","article-title":"A skeptical theory of inheritance in non-monotonic semantic nets","author":"Horty","year":"1987"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB15","series-title":"Proceedings IJCAI-85","first-page":"121","article-title":"Computing circumscription","author":"Lifschitz","year":"1985"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB16","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0004-3702(94)90103-1","article-title":"Minimal belief and negation as failure","volume":"70","author":"Lifschitz","year":"1994","journal-title":"Artificial Intelligence"},{"year":"1992","author":"Lobo","key":"10.1016\/S0004-3702(97)00032-5_BIB17"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB18","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","article-title":"Circumscription\u2014a form of non-monotonic reasoning","volume":"13","author":"McCarthy","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB19","series-title":"Proceedings 6th Conference on Automated Deduction","first-page":"292","article-title":"On indefinite data bases and the closed world assumption","author":"Minker","year":"1982"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB20","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","article-title":"Semantic considerations on nonmonotonic logic","volume":"25","author":"Moore","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB21","first-page":"243","article-title":"Stable theories in autoepistemic logic","volume":"12","author":"Marek","year":"1989","journal-title":"Fund. Inform."},{"year":"1994","author":"Marek","key":"10.1016\/S0004-3702(97)00032-5_BIB22"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB23","series-title":"Formal Techniques in Artificial Intelligence","first-page":"321","article-title":"Semantic issues in deductive databases and logic programs","author":"Przymusinska","year":"1990"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB24","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"193","article-title":"On the declarative semantics of deductive databases and logic programs","author":"Przymusinski","year":"1988"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB25","series-title":"Proceedings 1st International Workshop on Logic Programming and Non-Monotonic Reasoning","first-page":"3","article-title":"Autoepistemic logics of closed beliefs and logic programming","author":"Przymusinski","year":"1991"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB26_1","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BF03037171","article-title":"Stable semantics for disjunctive programs","volume":"9","author":"Przymusinski","year":"1991","journal-title":"New Generation Computing J."},{"key":"10.1016\/S0004-3702(97)00032-5_BIB26_2","series-title":"Proceedings 7th International Logic Programming Conference","first-page":"459","article-title":"Extended stable semantics for normal and disjunctive logic programs","author":"Przymusinski","year":"1990"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB27_1","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/0004-3702(91)90013-A","article-title":"Three-valued nonmonotonic formalisms and semantics of logic programs","volume":"49","author":"Przymusinski","year":"1991","journal-title":"Artificial Intelligence"},{"first-page":"341","year":"1989","series-title":"Proceedings 1st International Conference on Principles of Knowledge Representation and Reasoning (KR-89)","key":"10.1016\/S0004-3702(97)00032-5_BIB27_2"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB28","series-title":"Proceedings Workshop on Non-Monotonic Extensions of Logic Programming at the 11th International Logic Programming Conference (ICLP-95)","first-page":"43","article-title":"Semantics of normal and disjunctive logic programs: a unifying framework","author":"Przymusinski","year":"1995"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB29","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/BF01530826","article-title":"Static semantics for normal and disjunctive logic programs","volume":"14","author":"Przymusinski","year":"1995","journal-title":"Ann. Math. Artif. Intell."},{"key":"10.1016\/S0004-3702(97)00032-5_BIB30","unstructured":"T.C. Przymusinski, Epistemic specifications as theories of knowledge and belief, University of California at Riverside, in preparation."},{"key":"10.1016\/S0004-3702(97)00032-5_BIB31","series-title":"Logic and Data Bases","first-page":"55","article-title":"On closed-world data bases","author":"Reiter","year":"1978"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB32","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/BF00248321","article-title":"Weak generalized closed world assumption","volume":"5","author":"Rajasekar","year":"1989","journal-title":"J. Automated Reasoning"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB33","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/BF00297247","article-title":"Inferring negative information from disjunctive databases","volume":"4","author":"Ross","year":"1988","journal-title":"J. Automated Reasoning"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB34_1","article-title":"The well-founded semantics for general logic programs","author":"van Gelder","year":"1990","journal-title":"J. ACM"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB34_2","series-title":"Proceedings 7th ACM Symposium on Principles of Database Systems","first-page":"221","author":"van Gelder","year":"1988"},{"article-title":"Autoepistemic circumscription and logic programming","year":"1992","author":"Yuan","key":"10.1016\/S0004-3702(97)00032-5_BIB35_1"},{"key":"10.1016\/S0004-3702(97)00032-5_BIB35_2","unstructured":"also: J. Automated Reasoning, to appear."}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370297000325?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370297000325?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T07:17:42Z","timestamp":1757747862000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370297000325"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,8]]},"references-count":39,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,8]]}},"alternative-id":["S0004370297000325"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(97)00032-5","relation":{},"ISSN":["0004-3702"],"issn-type":[{"type":"print","value":"0004-3702"}],"subject":[],"published":{"date-parts":[[1997,8]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Autoepistemic logic of knowledge and beliefs","name":"articletitle","label":"Article Title"},{"value":"Artificial Intelligence","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S0004-3702(97)00032-5","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1997 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}