{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:24Z","timestamp":1725467424096},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540649588"},{"type":"electronic","value":"9783540498728"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0054791","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T05:52:33Z","timestamp":1153979553000},"page":"85-101","source":"Crossref","is-referenced-by-count":0,"title":["Disjunctive logic programming and autoepistemic logic"],"prefix":"10.1007","author":[{"given":"Li -Yan","family":"Yuan","sequence":"first","affiliation":[]},{"given":"Jia -Huai","family":"You","sequence":"additional","affiliation":[]},{"given":"Randy","family":"Goebel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,26]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/BF02341854","volume":"8","author":"C. R. Baral","year":"1992","unstructured":"C. R. Baral and V. S. Subrahmanian. Stable and extension class theory for logic programs and default logics. Journal of Automated Reasoning, 8:345\u2013366, 1992.","journal-title":"Journal of Automated Reasoning"},{"key":"4_CR2","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/978-3-642-51136-3_13","volume-title":"Innovationen bei Rechen-und Kommunikationssystemen","author":"S. Brass","year":"1994","unstructured":"S. Brass and J. Dix. Stefan Brass and J\u00fcrgen Dix. A disjunctive semantics based on unfolding and bottom-up evaluation. In Bernd Wolfinger, editor, Innovationen bei Rechen-und Kommunikationssystemen, (IFIP '94-Congress, Workshop FG2: Disjunctive Logic Programming and Disjunctive Databases), pages 83\u201391, Berlin, 1994. Springer."},{"issue":"3","key":"4_CR3","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S0743-1066(96)00115-X","volume":"32","author":"S. Brass","year":"1997","unstructured":"Stefan Brass and J\u00fcrgen Dix. Characterizations of the Disjunctive Stable Semantics by Partial Evaluation. Journal of Logic Programming, 32(3):207\u2013228, 1997. (Extended abstract appeared in: Characterizations of the Stable Semantics by Partial Evaluation LPNMR, Proceedings of the Third International Conference, Kentucky, pages 85\u201398, 1995. LNCS 928, Springer.).","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"4_CR4","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1023\/A:1005952908693","volume":"20","author":"S. Brass","year":"1998","unstructured":"Stefan Brass and J\u00fcrgen Dix. Characterizations of the Disjunctive Well-founded Semantics: Confluent Calculi and Iterated GCWA. Journal of Automated Reasoning, 20(1):143\u2013165, 1998. (Extended abstract appeared in: Characterizing D-WFS: Confluence and Iterated GCWA. Logics in Artificial Intelligence, JELIA '96, pages 268\u2013283, 1996. Springer, LNCS 1126.).","journal-title":"Journal of Automated Reasoning"},{"key":"4_CR5","first-page":"74","volume-title":"A Comparison of the Static and the Disjunctive Well-founded Semantics and its Implementation","author":"S. Brass","year":"1998","unstructured":"Stefan Brass, J\u00fcrgen Dix, Ilkka Niemel\u00c4, and Teodor. C. Przymusinski. A Comparison of the Static and the Disjunctive Well-founded Semantics and its Implementation. In A. G. Cohn, L. K. Schubert, and S. C. Shapiro, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR '98), pages 74\u201385. San Francisco, CA, Morgan Kaufmann, May 1998. appeared also as TR 17\/97, University of Koblenz."},{"key":"4_CR6","unstructured":"J. Dix and T. Eiter. Personal communication."},{"key":"4_CR7","unstructured":"P. M. Dung. Negations as hypotheses: An abductive foundation for logic programming. In Proceedings of the 8th ICLP, pages 3\u201317, 1991."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Thomas Eiter, Nicola Leone, and Domenico Sacc. The expressive power of partial models in disjunctive deductive databases. In Logic in Databases, pages 245\u2013264, 1996.","DOI":"10.1007\/BFb0031745"},{"key":"4_CR9","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"A. Van Gelder, K. Ross, and J. Schlipf. The well-founded semantics for general logic programs. JACM, 38:620\u2013650, 1991.","journal-title":"JACM"},{"key":"4_CR10","unstructured":"M. Gelfond. On stratified autoepistemic theories. In Proceedings of AAAI-87, pages 207\u2013211. Morgan Kaufmann Publishers, 1987."},{"key":"4_CR11","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proc. of the 5th ICLP, pages 1070\u20131080, 1988."},{"key":"4_CR12","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365\u2013386, 1991.","journal-title":"New Generation Computing"},{"key":"4_CR13","first-page":"263","volume":"42","author":"H. J. Levesque","year":"1990","unstructured":"H. J. Levesque. All i know: A study in autoepistemic logic. AI, 42:263\u2013309, 1990.","journal-title":"AI"},{"key":"4_CR14","first-page":"75","volume":"25","author":"F. C. Moore","year":"1985","unstructured":"Ft. C. Moore. Semantic considerations on non-monotonic logic. AI, 25:75\u201394, 1985.","journal-title":"AI"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/BF03037171","volume":"9","author":"T. C. Przymusinski","year":"1991","unstructured":"T. C. Przymusinski. Stable semantics for disjunctive programs. New Generation Computing, 9:401\u2013424, 1991.","journal-title":"New Generation Computing"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/BF01530826","volume":"14","author":"T. C. Przymusinski","year":"1995","unstructured":"T. C. Przymusinski. Static semantics for normal and disjunctive logic programs. Annals of Mathematics and Artificial Intelligence, 14:323\u2013357, 1995.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"D. Sacc\u00e0 and C. Zaniolo. Stable models and non-determinism in logic programs with negation. In Proceedings of the 9th ACM PODS, pages 205\u2013217, 1990.","DOI":"10.1145\/298514.298572"},{"key":"4_CR18","unstructured":"G. Schwarz. Bounding introspection in nonmonotonic reasoning. KR'92, pages 581\u2013590, 1992."},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"J.-H. You, X. Wang, and L.-Y. Yuan. Disjunctive logic programming as constrainted inferences. In Proc. of International Conference on Logic Programming, 1997.","DOI":"10.7551\/mitpress\/4299.003.0031"},{"key":"4_CR20","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1016\/S0022-0000(05)80053-4","volume":"49","author":"J.-H. You","year":"1994","unstructured":"J.-H. You and L.-Y. Yuan. A three-valued semantics of deductive databases and logic programs. Journal of Computer and System Sciences, 49:334\u2013361, 1994. A preliminary version appears in the Proc. of the 9th ACM PODS, page 171\u2013182, 1990.","journal-title":"Journal of Computer and System Sciences"},{"issue":"3","key":"4_CR21","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/0743-1066(94)00023-Y","volume":"22","author":"J.-H. You","year":"1995","unstructured":"J.-H. You and L.-Y. Yuan. On the equivalence of semantics for normal logic programs. Journal of Logic Programming, 22(3):209\u2013219, 1995.","journal-title":"Journal of Logic Programming"},{"key":"4_CR22","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BF00881833","volume":"10","author":"L.-Y. Yuan","year":"1993","unstructured":"L.-Y. Yuan and J.-H. You. Autoepistemic circumscription and logic programming. Journal of Automated Reasoning, 10:143\u2013160, 1993.","journal-title":"Journal of Automated Reasoning"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"L.-Y. Yuan and J.-H. You. On the extension of logic programming with negation though uniform proofs. In Proc. of the 3rd International Conference on Logic Programming and Nonmonotonic Reasoning, 1995.","DOI":"10.1007\/3-540-59487-6_17"},{"key":"4_CR24","unstructured":"L.-Y. Yuan and J.-H. You. An introspective logic of belief. In Proc. of the Workshop on Logic Programming and Knowledge Representation, ILPS'97, pages 157\u2013170, 1997."}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Knowledge Representation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0054791","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,5]],"date-time":"2024-02-05T15:48:02Z","timestamp":1707148082000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0054791"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649588","9783540498728"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/bfb0054791","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}