{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T14:34:27Z","timestamp":1649169267970},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1993,6,1]],"date-time":"1993-06-01T00:00:00Z","timestamp":738892800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1993,6]]},"DOI":"10.1007\/bf03037155","type":"journal-article","created":{"date-parts":[[2009,4,22]],"date-time":"2009-04-22T02:58:00Z","timestamp":1240369080000},"page":"107-124","source":"Crossref","is-referenced-by-count":2,"title":["On the autoepistemic reconstruction of logic programming"],"prefix":"10.1007","volume":"11","author":[{"given":"Y. J.","family":"Jiang","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF03037155_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K., et al \u201cTowards a Theory of Declarative Knowledge\u201d inFoundation of Deductive and Logic Programming (J. Minker, ed.), Morgan Kaufmann, pp. 89\u2013142, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"BF03037155_CR2","unstructured":"Bonanti, P., \u201cAutoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs,\u201dICLP 1992."},{"key":"BF03037155_CR3","first-page":"293","volume-title":"Logic and Database","author":"K. Clark","year":"1978","unstructured":"Clark, K., \u201cNegation as Failure,\u201d inLogic and Database (H. Galliare and J. Minker, eds.), Plenum Press, New York, pp. 293\u2013322, 1978."},{"key":"BF03037155_CR4","doi-asserted-by":"crossref","unstructured":"Dung, P. and Kanchanasutt, \u201cA Fixpoint Semantics for Logic Programs with Negation,\u201d9th TCS&ST, India, LNCS Notes, 1989.","DOI":"10.1007\/3-540-52048-1_34"},{"issue":"4","key":"BF03037155_CR5","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. Emden van","year":"1976","unstructured":"van Emden, M. and Kowalski, R., \u201cThe Semantics of Predicate Logic as a Programming Language,\u201dJACM, 23, 4, pp. 733\u2013742, 1976.","journal-title":"JACM"},{"key":"BF03037155_CR6","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M. Fitting","year":"1985","unstructured":"Fitting, M., \u201cA Kripke-Kleene Semantics for Logic Programs.\u201dJ. Logic Program 2, pp. 295\u2013312, 1985.","journal-title":"J. Logic Program"},{"key":"BF03037155_CR7","volume-title":"Modal Probability Foundations for Negation as Failure","author":"D. Gabbay","year":"1986","unstructured":"Gabbay, D.,Modal Probability Foundations for Negation as Failure, Dept. of Computing, Imperial College, London, 1986."},{"key":"BF03037155_CR8","unstructured":"Gelfond, M., \u201cOn Stratified Autoepistemic Theories,\u201dAAAI 87, 1987."},{"key":"BF03037155_CR9","unstructured":"Gelfond, M. and Lifschitz, V., \u201cThe Stable Model Semantics of Logic Programming,\u201dInt. Conf. on Logic Programming, 1988."},{"key":"BF03037155_CR10","unstructured":"Jiang, Y. J., \u201cAn Intensional Autoepistemic Predicate Logic,\u201d to appear, 1991."},{"key":"BF03037155_CR11","doi-asserted-by":"crossref","unstructured":"Jiang, Y. J., \u201cAn International Epistemic Logic,\u201dStudia Logica Vol. 2, 1993.","DOI":"10.1007\/BF01058391"},{"key":"BF03037155_CR12","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"4","author":"K. Kunen","year":"1987","unstructured":"Kunen, K., \u201cNegation in Logic Programming,\u201dJ. of Logic Programming 4, pp. 289\u2013308, 1987.","journal-title":"J. of Logic Programming"},{"key":"BF03037155_CR13","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/3-540-16780-3_91","volume":"230","author":"K. Konolige","year":"1986","unstructured":"Konolige, K., \u201cResolution and Quantified Epistemic Logics,\u201d8th Int. Conf. on Automated Deduction, LNCS Note 230, pp. 199\u2013208, 1986.","journal-title":"8th Int. Conf. on Automated Deduction, LNCS Note"},{"key":"BF03037155_CR14","unstructured":"Konolige, K. \u201cOn the Relationship between Circumscription and AE Logic,\u201dIJCAI 85, 1989."},{"key":"BF03037155_CR15","unstructured":"Levesque, H. J., \u201cAll I Know: Abridged Report,\u201dAAAI 87, a full version, Dept. of Comp. Science, Toronto University, 1987."},{"key":"BF03037155_CR16","unstructured":"Lifschitz, V., \u201cBetween Circumscription and Autoepistemic Logic,\u201d1st Int. Conf. on Principles of Knowledge Representation (Reiter et al., eds.), 1989."},{"key":"BF03037155_CR17","unstructured":"Marek, W. and Truszczynski, \u201cStable Semantics for Logic Programs and Default Theories,\u201dNACLP 89, 1989."},{"key":"BF03037155_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. C. Moore","year":"1985","unstructured":"Moore, R. C., \u201cSemantic Considerations of Non-monotonic Logic,\u201dArtificial Intelligence, 25, 1, 1985.","journal-title":"Artificial Intelligence"},{"key":"BF03037155_CR19","unstructured":"Moore, R. C., \u201cAutoepistemic Logic,\u201dSRI 3068, 1986."},{"key":"BF03037155_CR20","first-page":"595","volume":"88","author":"I. Niemela","year":"1988","unstructured":"Niemela, I., \u201cAutoepistemic Predicate Logic,\u201dECAI 88, pp. 595\u2013599, 1988.","journal-title":"ECAI"},{"key":"BF03037155_CR21","unstructured":"Prymusinski, T., \u201cPerfect Model Semantics,\u201dICLP 1988, 1988."},{"key":"BF03037155_CR22","unstructured":"Przymusinski, T., \u201cNonmonotonic Formalisms and Logic Programming,\u201dICLP 89, 1989."},{"key":"BF03037155_CR23","unstructured":"Przymusinski, H. and Przymusinski, T., \u201cWeakly Perfect Model Semantics for Logic Programs,\u201dICLP 1988, 1988."},{"key":"BF03037155_CR24","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/0004-3702(91)90013-A","volume":"49","author":"T. Przymusinski","year":"1991","unstructured":"Przymusinski, T., \u201cThree-valued Nonmonotonic Formalisms and S\u00e9mantics of Logic Programs,\u201dArtificial Intelligence 49, pp. 309\u2013343, 1991.","journal-title":"Artificial Intelligence"},{"key":"BF03037155_CR25","doi-asserted-by":"crossref","unstructured":"Reiter, R., \u201cA Logic for Default Reasoning,\u201dArtificial Intelligence, 13, 1980.","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"BF03037155_CR26","first-page":"293","volume-title":"Logic and Database","author":"R. Reiter","year":"1988","unstructured":"Reiter, R., \u201cClosed World Assumption,\u201dLogic and Database (H. Galliare and J. Minker, eds.), Plenum Press, New York, pp. 293\u2013322, 1988."},{"key":"BF03037155_CR27","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., et al., \u201cThe Well-founded Semantics for General Logic Programs,\u201dJACM 38, pp. 620\u2013650, 1991.","journal-title":"JACM"},{"key":"BF03037155_CR28","first-page":"600","volume":"89","author":"W. Marek","year":"1989","unstructured":"Marek, W., and Subrahmanian, V., \u201cThe Relationship between Logic Program Semantics and Nonmonotonic Reasoning,\u201dICLP 89, pp. 600\u2013617, 1989.","journal-title":"ICLP"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037155.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037155\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037155","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:52:30Z","timestamp":1558572750000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037155"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,6]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993,6]]}},"alternative-id":["BF03037155"],"URL":"https:\/\/doi.org\/10.1007\/bf03037155","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,6]]}}}