{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:33:27Z","timestamp":1725467607379},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540647690"},{"type":"electronic","value":"9783540687221"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055020","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T09:11:15Z","timestamp":1153991475000},"page":"60-78","source":"Crossref","is-referenced-by-count":0,"title":["Disjunctive logic programming and possible model semantics"],"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,24]]},"reference":[{"key":"5_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":"5_CR2","doi-asserted-by":"crossref","unstructured":"S. Brass and J. Dix. A disjunctive semantics based on unfolding and bottom-up evaluation. In Bernd Wofiner, editor, IFIP '94-Congress, Workshop FG2: Disjunctive Logic Programming and Disjunctive Databases), pages 83\u201391, 1994.","DOI":"10.1007\/978-3-642-51136-3_13"},{"key":"5_CR3","unstructured":"S. Brass, J. Dix, I. Niemela, and T. Przymusinski. A comparison of the static and the disjunctive well-founded semantics and its implementation. In Proc. of Knowledge Representation, 1998."},{"key":"5_CR4","unstructured":"P. M. Dung. Negations as hypotheses: An abductive foundation for logic programming. In Proceedings of the 8th ICLP, pages 3\u201317, 1991."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"T. Eiter, N. Leone, and D. Sacc. The expressive power of partial models in disjunctive deductive databases. In Logic in Databases, pages 245\u2013264, 1996.","DOI":"10.1007\/BFb0031745"},{"key":"5_CR6","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":"5_CR7","unstructured":"M. Gelfond. On stratified autoepistemic theories. In Proceedings of AAAI-87, pages 207\u2013211. Morgan Kaufmann Publishers, 1987."},{"key":"5_CR8","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proc. of the 5th ICLP, pages 1070\u20131080, 1988."},{"key":"5_CR9","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":"5_CR10","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J.Y. Halpern","year":"1992","unstructured":"J.Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54:319\u2013379, 1992.","journal-title":"Artificial Intelligence"},{"key":"5_CR11","unstructured":"Jaakko Hintikka. Knowledge and Belief: An introduction to the logic of the two notions. Cornell University Press, 1962."},{"key":"5_CR12","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":"5_CR13","first-page":"75","volume":"25","author":"R. C. Moore","year":"1985","unstructured":"R. C. Moore. Semantic considerations on non-monotonic logic. AI, 25:75\u201394, 1985.","journal-title":"AI"},{"key":"5_CR14","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":"5_CR15","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":"5_CR16","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":"5_CR17","doi-asserted-by":"crossref","unstructured":"J.-H. You, X. Wang, and L.-Y. Yuan. Disjunctive logic programming as constrained inferences. In Proc. of ICLP, 1997.","DOI":"10.7551\/mitpress\/4299.003.0031"},{"key":"5_CR18","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.","journal-title":"Journal of Computer and System Sciences"},{"issue":"3","key":"5_CR19","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"},{"issue":"1","key":"5_CR20","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/BF00881912","volume":"13","author":"L.-Y. Yuan","year":"1994","unstructured":"L.-Y. Yuan. Autoepistemic logic of first order and its expressive power. Journal of Automated Reasoning, 13(1):69\u201382, 1994.","journal-title":"Journal of Automated Reasoning"},{"key":"5_CR21","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":"5_CR22","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 LPNMR'95, LNAI Vol. 928, 1995.","DOI":"10.1007\/3-540-59487-6_17"},{"key":"5_CR23","unstructured":"L.-Y. Yuan and J.-H. You. An introspective logic of belief. In Proc. of the Workshop on LP&KR, ILPS'97, pages 157\u2013170, 1997."}],"container-title":["Lecture Notes in Computer Science","Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055020","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,5]],"date-time":"2024-02-05T15:56:34Z","timestamp":1707148594000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055020"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540647690","9783540687221"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0055020","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}