{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:27:15Z","timestamp":1725514035930},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540721994"},{"type":"electronic","value":"9783540722007"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72200-7_6","type":"book-chapter","created":{"date-parts":[[2007,6,5]],"date-time":"2007-06-05T16:54:47Z","timestamp":1181062487000},"page":"44-57","source":"Crossref","is-referenced-by-count":1,"title":["A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation"],"prefix":"10.1007","author":[{"given":"Pedro","family":"Cabalar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Pearce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panos","family":"Rondogiannis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William W.","family":"Wadge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/11562931_26","volume-title":"Logic Programming","author":"J. Alcantara","year":"2005","unstructured":"Alcantara, J., Damasio, C.V., Pereira, L.M.: A Well-Founded Semantics with Disjunction. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol.\u00a03668, pp. 341\u2013355. Springer, Heidelberg (2005)"},{"issue":"3","key":"6_CR2","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S0743-1066(96)00115-X","volume":"32","author":"S. Brass","year":"1997","unstructured":"Brass, S., Dix, J.: Characterizations of the (disjunctive) Stable Semantics by Partial Evaluation. Journal of Logic Programming\u00a032(3), 207\u2013228 (1997)","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"6_CR3","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1023\/A:1005952908693","volume":"20","author":"S. Brass","year":"1998","unstructured":"Brass, S., Dix, J.: Characterizations of the Disjunctive Well-founded Semantics: Confluent Calculi and Iterated GCWA. Journal of Automated Reasoning\u00a020(1), 143\u2013165 (1998)","journal-title":"Journal of Automated Reasoning"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/11799573_26","volume-title":"Logic Programming","author":"P. Cabalar","year":"2006","unstructured":"Cabalar, P., et al.: Analysing and Extending Well-Founded and Partial Stable Semantics using Partial Equilibrium Logic. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol.\u00a04079, pp. 346\u2013360. Springer, Heidelberg (2006)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Galanaki, C., Rondogiannis, P., Wadge, W.W.: An Infinite-Game Semantics for Well-Founded Negation. Annals of Pure and Applied Logic (to appear) (2007)","DOI":"10.1016\/j.apal.2007.10.004"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10472-006-9028-z","volume":"47","author":"D. Pearce","year":"2006","unstructured":"Pearce, D.: Equilibrium Logic. Ann. Math & Artificial Int.\u00a047, 3\u201341 (2006)","journal-title":"Ann. Math & Artificial Int."},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BF01530784","volume":"12","author":"T. Przymusinski","year":"1994","unstructured":"Przymusinski, T.: Well-founded and stationary models of logic programs. Annals of Mathematics and Artificial Intelligence\u00a012, 141\u2013187 (1994)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"2-4","key":"6_CR8","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/BF01530826","volume":"14","author":"T. Przymusinski","year":"1995","unstructured":"Przymusinski, T.: Static Semantics of Logic Programs. Annals of Mathematics and Artificial Intelligence\u00a014(2-4), 323\u2013357 (1995)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"2","key":"6_CR9","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1145\/1055686.1055694","volume":"6","author":"P. Rondogiannis","year":"2005","unstructured":"Rondogiannis, P., Wadge, W.W.: Minimum Model Semantics for Logic Programs with Negation-as-Failure. ACM Transactions on Computational Logic\u00a06(2), 441\u2013467 (2005)","journal-title":"ACM Transactions on Computational Logic"},{"issue":"3","key":"6_CR10","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder van","year":"1991","unstructured":"van Gelder, A., Ross, K.A., Schlipf, J.S.: The Well-Founded Semantics for General Logic Programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"issue":"1-3","key":"6_CR11","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0743-1066(00)00004-2","volume":"45","author":"K. Wang","year":"2000","unstructured":"Wang, K.: Argumentation-based Abduction in Disjunctive Logic Programming. Journal of Logic Programming\u00a045(1-3), 105\u2013141 (2000)","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"6_CR12","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1145\/1055686.1055690","volume":"6","author":"K. Wang","year":"2005","unstructured":"Wang, K., Zhou, L.: Comparisons and Computation of Well-Founded Semantics for Disjunctive Logic Programs. ACM Transactions on Computational Logic\u00a06(2), 295\u2013327 (2005)","journal-title":"ACM Transactions on Computational Logic"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72200-7_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:29:39Z","timestamp":1605763779000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72200-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540721994","9783540722007"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72200-7_6","relation":{},"subject":[]}}