{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:42:35Z","timestamp":1725540155566},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642052576"},{"type":"electronic","value":"9783642052583"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-05258-3_2","type":"book-chapter","created":{"date-parts":[[2009,10,31]],"date-time":"2009-10-31T15:14:41Z","timestamp":1257002081000},"page":"15-26","source":"Crossref","is-referenced-by-count":3,"title":["Possibilistic Well-Founded Semantics"],"prefix":"10.1007","author":[{"given":"Mauricio","family":"Osorio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan Carlos","family":"Nieves","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Aulinas, M.: Management of industrial wastewater discharges through agents\u2019 argumentation. PhD thesis, PhD on Environmental Sciences, University of Girona, to be presented"},{"key":"2_CR2","unstructured":"Aulinas, M., Nieves, J.C., Poch, M., Cort\u00e9s, U.: Supporting Decision Making in River Basin Systems Using a Declarative Reasoning Approach. In: Finkel, M., Grathwohl, P. (eds.) Proceedings of the AquaTerra Conference (Scientific Fundamentals for River Basic Management), March 2009, p. 75 (2009) ISSN 0935-4948"},{"key":"2_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Brass, S., Zukowski, U., Freitag, B.: Transformation-based bottom-up computation of the well-founded model. In: NMELP, pp. 171\u2013201 (1996)","DOI":"10.1007\/BFb0023807"},{"issue":"3","key":"2_CR5","doi-asserted-by":"crossref","first-page":"257","DOI":"10.3233\/FI-1995-2234","volume":"22","author":"J. Dix","year":"1995","unstructured":"Dix, J.: A classification theory of semantics of normal logic programs: II. weak properties. Fundam. Inform.\u00a022(3), 257\u2013288 (1995)","journal-title":"Fundam. Inform."},{"issue":"1-3","key":"2_CR6","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/S0168-0072(00)00044-0","volume":"108","author":"J. Dix","year":"2001","unstructured":"Dix, J., Osorio, M., Zepeda, C.: A general theory of confluent rewriting systems for logic programming and its applications. Ann. Pure Appl. Logic\u00a0108(1-3), 153\u2013188 (2001)","journal-title":"Ann. Pure Appl. Logic"},{"key":"2_CR7","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1093\/oso\/9780198537472.003.0009","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming, Nonmonotonic Reasoning and Uncertain Reasoning","author":"D. Dubois","year":"1994","unstructured":"Dubois, D., Lang, J., Prade, H.: Possibilistic logic. In: Gabbay, D., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, Nonmonotonic Reasoning and Uncertain Reasoning, vol.\u00a03, pp. 439\u2013513. Oxford University Press, Oxford (1994)"},{"issue":"3","key":"2_CR8","first-page":"620","volume":"38","author":"A.V. Gelder","year":"1991","unstructured":"Gelder, A.V., 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"},{"key":"2_CR9","volume-title":"Introduction to Mathematical Logic","author":"E. Mendelson","year":"1997","unstructured":"Mendelson, E.: Introduction to Mathematical Logic, 4th edn. Chapman and Hall\/CRC, Boca Raton (1997)","edition":"4"},{"issue":"1-2","key":"2_CR10","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/s10472-006-9029-y","volume":"47","author":"P. Nicolas","year":"2006","unstructured":"Nicolas, P., Garcia, L., St\u00e9phan, I., Laf\u00e9vre, C.: Possibilistic Uncertainty Handling for Answer Set Programming. Annals of Mathematics and Artificial Intelligence\u00a047(1-2), 139\u2013181 (2006)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-540-72200-7_32","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"J.C. Nieves","year":"2007","unstructured":"Nieves, J.C., Osorio, M., Cort\u00e9s, U.: Semantics for possibilistic disjunctive programs. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, pp. 315\u2013320. Springer, Heidelberg (2007)"},{"key":"2_CR12","unstructured":"Nieves, J.C., Osorio, M., Cort\u00e9s, U.: Semantics for possibilistic disjunctive programs. In: Costantini, S., Watson, R. (eds.) Answer Set Programming: Advances in Theory and Implementation, pp. 271\u2013284 (2007)"},{"key":"2_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-540-76631-5_28","volume-title":"MICAI 2007: Advances in Artificial Intelligence","author":"M. Osorio","year":"2007","unstructured":"Osorio, M., Nieves, J.C.: Pstable semantics for possibilistic logic programs. In: Gelbukh, A., Kuri Morales, \u00c1.F. (eds.) MICAI 2007. LNCS (LNAI), vol.\u00a04827, pp. 294\u2013304. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","MICAI 2009: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-05258-3_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,17]],"date-time":"2024-03-17T11:34:42Z","timestamp":1710675282000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-05258-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642052576","9783642052583"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-05258-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}