{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T21:01:14Z","timestamp":1750453274758,"version":"3.32.0"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"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":[[1994]]},"DOI":"10.1007\/bf00881912","type":"journal-article","created":{"date-parts":[[2004,12,25]],"date-time":"2004-12-25T20:34:58Z","timestamp":1104006898000},"page":"69-82","source":"Crossref","is-referenced-by-count":8,"title":["Autoepistemic logic of first order and its expressive power"],"prefix":"10.1007","volume":"13","author":[{"given":"Li-Yan","family":"Yuan","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/BF00881799","volume":"10","author":"C. R. Baral","year":"1993","unstructured":"Baral, C. R. and Subrahmanian, V. S.: Dualities between alternative semantics for logic programming and nonmonotonic reasoning,Journal of Automated Reasoning 10 (1993), 399?420.","journal-title":"Journal of Automated Reasoning"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/BF02341854","volume":"8","author":"C. R. Baral","year":"1992","unstructured":"Baral, C. R. and Subrahmanian, V. S.: Stable and extension class theory for logic programs and default logics,Journal of Automated Reasoning 8 (1992), 345?366.","journal-title":"Journal of Automated Reasoning"},{"key":"CR3","unstructured":"Dung, P. M.: Negations as hypotheses: an abductive foundation for logic programming, inProceedings of the 8th International Conference on Logic Programming, The MIT Press, 1991, pp. 3?17."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Gelder van, A.: The alternating fixpoints of logic programs with negation, inProceedings of the 8th ACM PODS, 1989, pp. 1?10.","DOI":"10.1145\/73721.73722"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder van","year":"1991","unstructured":"Gelder van, A., Ross, K., and Schlipf, J.: The well-founded semantics for general logic programs,JACM 38 (1991), 620?650.","journal-title":"JACM"},{"key":"CR6","unstructured":"Gelfond, M.: On stratified autoepistemic theories, inProceedings of AAAI-87, Morgan Kaufmann Publishers, 1987, pp. 207?211."},{"key":"CR7","unstructured":"Gelfond, M. and Lifschitz, V.: Logical programs with classical negation, inProceedings of the 7th International Conference on Logic Programming, The MIT Press, 1990, pp. 579?597."},{"key":"CR8","unstructured":"Gelfond, M. and Lifschitz, V.: The stable model semantics for logic programming, inProc. of the 5th International Conference and Symposium on Logic Programming, The MIT Press, 1988, pp. 1070?1080."},{"key":"CR9","unstructured":"Hu, Y. and Yuan, L. Y.: Extended well founded semantics for logic programs with negations, inProceedings of the 8th International Conference on Logic Programming, The MIT Press, 1991, pp. 412?425."},{"key":"CR10","unstructured":"Hughes, G. E. and Cresswell, M. J.:Introduction to Modal Logic, Routledge, 1968."},{"key":"CR11","unstructured":"Konolige, K.: Ideal introspective belief, inProceedings of the AAAI-92, Morgan Kaufmann Publishers, 1992, pp. 635?641."},{"key":"CR12","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 relationship between default and autoepistemic logic,Artificial Intelligence 35 (1988), 343?382.","journal-title":"Artificial Intelligence"},{"key":"CR13","unstructured":"Lifschitz, V.: Between circumscription and autoepistemic logic.KR'89, 1989, pp. 235?244."},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Marek, W. and Subrahmanian, V.S.: The relationship between stable, supported, default and auto-epistemic semantics for general logic programs, inProceedings of the 6th International Conference and Symposium on Logic Programming, The MIT Press, 1989, pp. 600?617. Extended version inTheoretical Computer Science 103 (1992), 365?386.","DOI":"10.1016\/0304-3975(92)90019-C"},{"key":"CR15","unstructured":"Marek, W. and Truszczunski, M.: Relating autoepistemic and default logic, inProc. of KR '89, 1989, pp. 276?288."},{"key":"CR16","first-page":"75","volume":"25","author":"R. C. Moore","year":"1985","unstructured":"Moore, R. C.: Semantic considerations on non-monotonic logic,AI 25 (1985), 75?94.","journal-title":"AI"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0004-3702(88)90003-3","volume":"36","author":"D. Perlis","year":"1988","unstructured":"Perlis, D.: Autocircumscription,Artificial Intelligence 36 (1988), 223?236.","journal-title":"Artificial Intelligence"},{"key":"CR18","unstructured":"Przymusinski, T. C.: Autoepistemic logics of closed world beliefs and logic programming, inProc. of the Workshop on NRLP, 1991, pp. 3?20."},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"Przymusinski, T. C.: Semantics of disjunctive logic programs and deductive databases, inProc. of the 2nd International Conference on Deductive and Object Oriented Databases, 1991.","DOI":"10.1007\/3-540-55015-1_5"},{"key":"CR20","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning,Artificial Intelligence 13 (1980), 81?132.","journal-title":"Artificial Intelligence"},{"key":"CR21","unstructured":"Schwarz, G.: Bounding introspection in nonmonotonic reasoning,KR '92, 1992, pp. 581?590."},{"key":"CR22","unstructured":"Tiomkin, M. and Kaminski, M.: Nonmonotonic default modal logics, inProc. of TARK 1990, 1990, pp. 73?84."},{"key":"CR23","unstructured":"You, J.-H. and Yuan, L. Y.: On the equivalence of logic program semantics, inProc. of the Workshop on Logic Programs with Incomplete Information, following ILPS '93, 1993, pp. 161?176, also available as Research Report of ISIS-RR-93-E12, Fujitsu Labs (to appear inJ. Logic Programming)."},{"key":"CR24","doi-asserted-by":"crossref","unstructured":"You, J.-H. and Yuan, L. Y.: Three-valued formalization of logic programming: is it needed? inProc. of the 9th ACM PODS, 1990, pp. 172?182.","DOI":"10.1145\/298514.298559"},{"key":"CR25","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0020-0190(94)00018-2","volume":"50","author":"L. Y. Yuan","year":"1994","unstructured":"Yuan, L. Y.: Logic program semantics and circumscription of autoepistemic theories,Information Processing Letters,50 (1994), 159?164.","journal-title":"Information Processing Letters"},{"key":"CR26","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/BF00881833","volume":"10","author":"L. Y. Yuan","year":"1993","unstructured":"Yuan, L. Y. and You, J.-H.: Autoepistemic circumscription and logic programs,Journal of Automated Reasoning 10 (1993), 143?160.","journal-title":"Journal of Automated Reasoning"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881912.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00881912\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881912","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,21]],"date-time":"2024-12-21T17:47:50Z","timestamp":1734803270000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00881912"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994]]}},"alternative-id":["BF00881912"],"URL":"https:\/\/doi.org\/10.1007\/bf00881912","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[1994]]}}}