{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:28:52Z","timestamp":1725550132342},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540292081"},{"type":"electronic","value":"9783540319474"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11562931_26","type":"book-chapter","created":{"date-parts":[[2005,10,8]],"date-time":"2005-10-08T13:28:42Z","timestamp":1128778122000},"page":"341-355","source":"Crossref","is-referenced-by-count":2,"title":["A Well-Founded Semantics with Disjunction"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o","family":"Alc\u00e2ntara","sequence":"first","affiliation":[]},{"given":"Carlos Viegas","family":"Dam\u00e1sio","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Baral, C., Lobo, J., Minker, J.: Generalized well-founded semantics for logic programs. In: 10th International Conference on Automated Deduction (1990)","DOI":"10.1007\/3-540-52885-7_82"},{"issue":"3","key":"26_CR2","first-page":"167","volume":"38","author":"S. Brass","year":"1999","unstructured":"Brass, S., Dix, J.: Semantics of (Disjunctive) Logic Programs Based on Partial Evaluation. Journal of Logic Programming\u00a038(3), 167\u2013213 (1999)","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"26_CR3","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/0743-1066(94)00106-G","volume":"25","author":"J.A. Fern\u00e1ndez","year":"1995","unstructured":"Fern\u00e1ndez, J.A., Minker, J.: Bottom-up computation of perfect models for disjunctive theories. Journal of Logic Programming\u00a025(1), 33\u201351 (1995)","journal-title":"Journal of Logic Programming"},{"key":"26_CR4","first-page":"1070","volume-title":"5th Int. Conf. on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: 5th Int. Conf. on Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"26_CR5","volume-title":"Foundations of Disjunctive Logic Programming","author":"J. Lobo","year":"1992","unstructured":"Lobo, J., Minker, J., Rajasekar, A.: Foundations of Disjunctive Logic Programming. MIT Press, Cambridge (1992)"},{"key":"26_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/BFb0000066","volume-title":"6th Conference on Automated Deduction","author":"J. Minker","year":"1982","unstructured":"Minker, J.: On indefinite databases and the closed world assumption. In: Loveland, D.W. (ed.) CADE 1982. LNCS, vol.\u00a0138, pp. 292\u2013308. Springer, Heidelberg (1982)"},{"issue":"1","key":"26_CR7","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0743-1066(90)90033-2","volume":"9","author":"J. Minker","year":"1990","unstructured":"Minker, J., Rajasekar, A.: A fixpoint semantics for disjunctive logic programs. Journal of Logic Programming\u00a09(1), 45\u201374 (1990)","journal-title":"Journal of Logic Programming"},{"key":"26_CR8","first-page":"321","volume-title":"Formal Techniques in Artificial Intelligence - a Sourcebook","author":"H. Przymusinska","year":"1990","unstructured":"Przymusinska, H., Przymusinski, T.: Semantic issues in deductive databases and logic. In: Banerji, R. (ed.) Formal Techniques in Artificial Intelligence - a Sourcebook, pp. 321\u2013367. North Holland, Amsterdam (1990)"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"Przymusinski, T.: Static semantics for normal and disjunctive logic programs. Annals of Mathematics and Artificial Intelligence, Special Issue on Disjunctive Programs, 323\u2013357 (1995)","DOI":"10.1007\/BF01530826"},{"key":"26_CR10","first-page":"193","volume-title":"Foundation of Deductive Databases and Logic Programming","author":"T.C. Przymusinski","year":"1998","unstructured":"Przymusinski, T.C.: On the declarative semantics of stratified deductive databases and logic programs. In: Minker, J. (ed.) Foundation of Deductive Databases and Logic Programming, pp. 193\u2013216. Morgan Kaufmann, San Francisco (1998)"},{"key":"26_CR11","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/BF03037171","volume":"9","author":"T.C. Przymusinski","year":"1991","unstructured":"Przymusinski, T.C.: Stable semantics for disjunctive programs. New Generation Computing Journal\u00a09, 401\u2013424 (1991)","journal-title":"New Generation Computing Journal"},{"key":"26_CR12","first-page":"55","volume-title":"Logic and Databases","author":"R. Reiter","year":"1978","unstructured":"Reiter, R.: On closed world data bases. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 55\u201376. Plenum Press, New York (1978)"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Ross, K.: The well founded semantics for disjunctive logic programs. In: First Int. Conf. on Deductive and Object Oriented Databases, pp. 352\u2013369 (1989)","DOI":"10.1016\/B978-0-444-88433-6.50029-0"},{"issue":"1","key":"26_CR14","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0743-1066(96)00116-1","volume":"32","author":"D. Seipel","year":"1997","unstructured":"Seipel, D., Minker, J., Ruiz, C.: Model generation and state generation for disjunctive logic programs. Journal of Logic Programming\u00a032(1), 49\u201369 (1997)","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"26_CR15","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","volume":"16","author":"M. Smyth","year":"1978","unstructured":"Smyth, M.: Power domains. J. Computer and System Sciences\u00a016(1), 23\u201336 (1978)","journal-title":"J. Computer and System Sciences"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"Tarski, A.: Lattice-theoretic fixpoint theorem and its applications. Pacific Journal of Mathematics, 285\u2013309 (1955)","DOI":"10.2140\/pjm.1955.5.285"},{"issue":"23","key":"26_CR17","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"4","author":"M. Emden van","year":"1976","unstructured":"van Emden, M., Kowalski, R.: The semantics of predicate logic as a programming language. Journal of ACM\u00a04(23), 733\u2013742 (1976)","journal-title":"Journal of ACM"},{"issue":"3","key":"26_CR18","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder van","year":"1991","unstructured":"van Gelder, A., Ross, K., Schlipf, J.: The well-founded semantics for general logic programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"key":"26_CR19","doi-asserted-by":"crossref","unstructured":"Wang, K.: Argumentation-based abduction in disjunctive logic programming. Journal of Logic Programming (2001)","DOI":"10.1016\/S0743-1066(00)00004-2"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11562931_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:52:08Z","timestamp":1605642728000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11562931_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540292081","9783540319474"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11562931_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}