{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:19:33Z","timestamp":1760170773400},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2012,7,1]],"date-time":"2012-07-01T00:00:00Z","timestamp":1341100800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1007\/s10472-012-9311-0","type":"journal-article","created":{"date-parts":[[2012,8,28]],"date-time":"2012-08-28T16:50:48Z","timestamp":1346172648000},"page":"159-198","source":"Crossref","is-referenced-by-count":8,"title":["Dealing with explicit preferences and uncertainty in answer set programming"],"prefix":"10.1007","volume":"65","author":[{"given":"Roberto","family":"Confalonieri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan Carlos","family":"Nieves","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauricio","family":"Osorio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"V\u00e1zquez-Salceda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,8,29]]},"reference":[{"key":"9311_CR1","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":"9311_CR2","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19\/20","author":"C Baral","year":"1994","unstructured":"Baral, C., Gelfond, M.: Logic programming and knowledge representation. J. Log. Program. 19\/20, 73\u2013148 (1994)","journal-title":"J. Log. Program."},{"issue":"1","key":"9311_CR3","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1017\/S1471068408003645","volume":"9","author":"C Baral","year":"2009","unstructured":"Baral, C., Gelfond, M., Rushton, N.: Probabilistic reasoning with answer sets. Theory Pract. Log. Program. 9(1), 57\u2013144 (2009)","journal-title":"Theory Pract. Log. Program."},{"key":"9311_CR4","unstructured":"Bauters, K., Schockaert, S., Cock, M.D., Vermeir, D.: Possibilistic answer set programming revisited. In: Proceedings of the 26th Conference on Uncertainty in Artificial Intelligence, (UAI\u201910). AUAI Press (2010)"},{"key":"9311_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/978-3-642-23963-2_37","volume-title":"Proceedings of the 11th International Conference on Scalable Uncertainty Management (SUM 2011)","author":"K Bauters","year":"2011","unstructured":"Bauters, K., Schockaert, S., Cock, M.D., Vermeir, D.: Weak and strong disjunction in possibilistic ASP. In: Benferhat, S., Grant, J. (eds.) Proceedings of the 11th International Conference on Scalable Uncertainty Management (SUM 2011). Lecture Notes in Computer Science, vol.\u00a06929, pp.\u00a0475\u2013488. Springer, New York (2011)"},{"issue":"3","key":"9311_CR6","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1023\/A:1011298804831","volume":"14","author":"S Benferhat","year":"2001","unstructured":"Benferhat, S., Dubois, D., Prade, H.: Towards a possibilistic logic handling of preferences. Appl. Intell. 14(3), 303\u2013317 (2001)","journal-title":"Appl. Intell."},{"key":"9311_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1007\/978-3-642-04388-8_8","volume-title":"Proceedings of the 3rd International Conference on Scalable Uncertainty Management (SUM\u201909)","author":"P Bosc","year":"2009","unstructured":"Bosc, P., Pivert, O., Prade, H.: A model based on possibilistic certainty levels for incomplete databases. In: Godo, L., Pugliese, A. (eds.) Proceedings of the 3rd International Conference on Scalable Uncertainty Management (SUM\u201909). Lecture Notes in Computer Science, vol.\u00a05785, pp.\u00a080\u201394. Springer, Berlin (2009)"},{"key":"9311_CR8","doi-asserted-by":"crossref","unstructured":"Bosc, P., Pivert, O., Prade, H.: A possibilistic logic view of preference queries to an uncertain database. In: Proceedings of 19th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE\u201910), pp.\u00a0581\u2013595 (2010)","DOI":"10.1109\/FUZZY.2010.5584028"},{"issue":"1","key":"9311_CR9","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1613\/jair.1234","volume":"21","author":"C Boutilier","year":"2004","unstructured":"Boutilier, C., Brafman, R.I., Domshlak, C., Hoos, H.H., Poole, D.: CP-nets: a tool for representing and reasoning with conditional ceteris paribus preference statements. J. Artif. Intell. Res. 21(1), 135\u2013191 (2004)","journal-title":"J. Artif. Intell. Res."},{"key":"9311_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/3-540-59487-6_7","volume-title":"Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning, (LPNMR\u201995).","author":"S Brass","year":"1995","unstructured":"Brass, S., Dix, J.: Characterizations of the stable semantics by partial evaluation. In: Marek, V., Nerode, A., Truszczy\u0144ski, M. (eds.) Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning, (LPNMR\u201995). Lecture Notes in Computer Science, vol.\u00a0928, pp.\u00a085\u201398. Springer, London (1995)"},{"issue":"1","key":"9311_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0743-1066(98)10030-4","volume":"40","author":"S Brass","year":"1999","unstructured":"Brass, S., Dix, J.: Semantics of (disjunctive) logic programs based on partial evaluation. J. Log. Program. 40(1), 1\u201346 (1999)","journal-title":"J. Log. Program."},{"issue":"5","key":"9311_CR12","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1017\/S147106840100103X","volume":"1","author":"S Brass","year":"2001","unstructured":"Brass, S., Dix, J., Freitag, B., Zukowski, U.: Transformation-based bottom-up computation of the well-founded model. Theory Pract. Log. Program. 1(5), 497\u2013538 (2001)","journal-title":"Theory Pract. Log. Program."},{"key":"9311_CR13","volume-title":"CSLI Lecture Notes 73","author":"G Brewka","year":"1997","unstructured":"Brewka, G., Dix, J., Konolige, K.: Nonmonotonic reasoning: an overview. In: CSLI Lecture Notes 73. CSLI Publications, Stanford (1997)"},{"key":"9311_CR14","first-page":"867","volume-title":"Proceedings of 18th International Joint Conference on Artificial Intelligence, (IJCAI\u201903)","author":"G Brewka","year":"2003","unstructured":"Brewka, G., Niemel\u00e4, I., Truszczy\u0144ski, M.: Answer set optimization. In: Gottlob, G., Walsh, T. (eds.) Proceedings of 18th International Joint Conference on Artificial Intelligence, (IJCAI\u201903), pp 867\u2013872. Morgan Kaufmann, San Mateo (2003)"},{"issue":"2","key":"9311_CR15","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1111\/j.0824-7935.2004.00241.x","volume":"20","author":"G Brewka","year":"2004","unstructured":"Brewka, G., Niemel\u00e4, I., Syrj\u00e4nen, T.: Logic programs with ordered disjunction. Comput. Intell. 20(2), 333\u2013357 (2004)","journal-title":"Comput. Intell."},{"issue":"4","key":"9311_CR16","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1609\/aimag.v29i4.2179","volume":"29","author":"G Brewka","year":"2008","unstructured":"Brewka, G., Niemel\u00e4, I., Truszczy\u0144ski, M.: Preferences and nonmonotonic reasoning. AI Mag. 29(4), 69\u201378 (2008)","journal-title":"AI Mag."},{"key":"9311_CR17","unstructured":"Confalonieri, R.: The role of preferences in logic programming: nonmonotonic reasoning, user preferences, decision under uncertainty. PhD thesis, Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain (2011)"},{"issue":"1","key":"9311_CR18","doi-asserted-by":"crossref","first-page":"19","DOI":"10.3233\/FI-2011-597","volume":"113","author":"R Confalonieri","year":"2011","unstructured":"Confalonieri, R., Nieves, J.C.: Nested preferences in answer set programming. Fundam. Inform. 113(1), 19\u201339 (2011). doi: 10.3233\/FI-2011-597","journal-title":"Fundam. Inform."},{"key":"9311_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1007\/978-3-642-22152-1_41","volume-title":"Proceedings of the 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2011).","author":"R Confalonieri","year":"2011","unstructured":"Confalonieri, R., Prade, H.: Answer set programming for computing decisions under uncertainty. In: Liu, W. (ed.) Proceedings of the 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2011). Lecture Notes in Artificial Intelligence, vol.\u00a06717, pp.\u00a0485\u2013496. Springer, Berlin (2011)"},{"key":"9311_CR20","series-title":"Lecture Notes in Artificial Intelligence","first-page":"52","volume-title":"Proceedings of the 11th International Conference of the Italian Association for Artificial Intelligence on Emergent Perspectives in Artificial Intelligence (AI*IA \u201909).","author":"R Confalonieri","year":"2009","unstructured":"Confalonieri, R., Nieves, J., V\u00e1zquez-Salceda, J.: Pstable semantics for logic programs with possibilistic ordered disjunction. In: Serra, R., Cucchiara, R. (eds.) Proceedings of the 11th International Conference of the Italian Association for Artificial Intelligence on Emergent Perspectives in Artificial Intelligence (AI*IA \u201909). Lecture Notes in Artificial Intelligence, vol.\u00a05883, pp.\u00a052\u201361. Springer, Berlin (2009)"},{"key":"9311_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/978-3-642-11829-6_11","volume-title":"Proceedings of 6th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2010).","author":"R Confalonieri","year":"2010","unstructured":"Confalonieri, R., Nieves, J.C., Osorio, M., V\u00e1zquez-Salceda, J.: Possibilistic semantics for logic programs with ordered disjunction. In: Link, S., Prade, H. (eds.) Proceedings of 6th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2010). Lecture Notes in Computer Science, vol.\u00a05956, pp.\u00a0133\u2013152. Springer, Berlin (2010)"},{"key":"9311_CR22","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1007\/978-3-642-22152-1_43","volume-title":"Proceedings of the 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2011).","author":"R Confalonieri","year":"2011","unstructured":"Confalonieri, R., Prade, H., Nieves, J.C.: Handling exceptions in logic programming without negation as failure. In: Liu, W. (ed.) Proceedings of the 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2011). Lecture Notes in Artificial Intelligence, vol.\u00a06717, pp.\u00a0509\u2013520. Springer, Berlin (2011)"},{"key":"9311_CR23","series-title":"Communications in Computer and Information Science","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/978-3-642-31715-6_11","volume-title":"Advances in Computational Intelligence: Proceedings of 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 2012), Part II","author":"R Confalonieri","year":"2012","unstructured":"Confalonieri, R., I\u00f1an, H., Palau, M.: Handling uncertain user preferences in a context-aware system. In: Greco, S., Bouchon-Meunier, B., Coletti, G., Fedrizzi, M., Matarazzo, B., Yager, R.R. (eds.) Advances in Computational Intelligence: Proceedings of 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 2012), Part II, Communications in Computer and Information Science, vol.\u00a0298, pp.\u00a088\u201397. Springer, Berlin (2012)"},{"issue":"1","key":"9311_CR24","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.jalgor.2009.02.002","volume":"64","author":"S Costantini","year":"2009","unstructured":"Costantini, S., Formisano, A.: Modeling preferences and conditional preferences on resource consumption and production in ASP. J. Algorithms 64(1), 3\u201315 (2009)","journal-title":"J. Algorithms"},{"key":"9311_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/978-3-642-20895-9_24","volume-title":"Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR11).","author":"S Costantini","year":"2011","unstructured":"Costantini, S., Formisano, A.: Weight constraints with preferences in ASP. In: Delgrande, J., Faber, W. (eds.) Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR11). Lecture Notes in Artificial Intelligence, vol.\u00a06645, pp.\u00a0229\u2013235. Springer, Berlin (2011)"},{"key":"9311_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02962-6","volume-title":"Logic and Structure","author":"D Dalen van","year":"1994","unstructured":"van Dalen, D.: Logic and Structure, 3rd edn. Springer, Berlin (1994)","edition":"3"},{"issue":"2","key":"9311_CR27","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1111\/j.0824-7935.2004.00240.x","volume":"20","author":"J Delgrande","year":"2004","unstructured":"Delgrande, J., Schaub, T., Tompits, H., Wang, K.: A classification and survey of preference handling approaches in nonmonotonic reasoning. Comput. Intell. 20(2), 308\u2013334 (2004)","journal-title":"Comput. Intell."},{"key":"9311_CR28","doi-asserted-by":"crossref","unstructured":"Dershowitz, N., Plaisted, D.A.: Rewriting. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp.\u00a0535\u2013610. Elsevier and MIT Press (2001)","DOI":"10.1016\/B978-044450813-3\/50011-4"},{"issue":"1\u20133","key":"9311_CR29","doi-asserted-by":"crossref","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 108(1\u20133), 153\u2013188 (2001)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"7\u20138","key":"9311_CR30","doi-asserted-by":"crossref","first-page":"1037","DOI":"10.1016\/j.artint.2011.03.004","volume":"175","author":"C Domshlak","year":"2011","unstructured":"Domshlak, C., H\u00fcllermeier, E., Kaci, S., Prade, H.: Preferences in AI: an overview. Artif. Intell. 175(7\u20138), 1037\u20131052 (2011)","journal-title":"Artif. Intell."},{"key":"9311_CR31","unstructured":"Dubois, D., Prade, H.: Possibility theory as a basis for qualitative decision theory. In: Proceedings of the 14th International Joint Conference on Artificial Intelligence, (IJCAI\u201995), pp.\u00a01924\u20131930. Morgan Kaufmann, San Francisco (1995)"},{"key":"9311_CR32","first-page":"581","volume-title":"Proceedings of International Conference on Logic Programming, (ICLP\u201991)","author":"D Dubois","year":"1991","unstructured":"Dubois, D., Lang, J., Prade, H.: Towards possibilistic logic programming. In: Furukawa, K. (ed.) Proceedings of International Conference on Logic Programming, (ICLP\u201991), pp.\u00a0581\u2013595. MIT Press, Cambridge (1991)"},{"key":"9311_CR33","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, vol. 3: Nonmonotonic Reasoning and Uncertain Reasoning","author":"D Dubois","year":"1994","unstructured":"Dubois, D., Lang, J., Prade, H.: Possibilistic logic. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A., Siekmann, J.H. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3: Nonmonotonic Reasoning and Uncertain Reasoning, pp.\u00a0439\u2013513. Oxford University Press, New York (1994)"},{"key":"9311_CR34","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"614","DOI":"10.1007\/978-3-642-02906-6_53","volume-title":"Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, (ECSQARU\u201999)","author":"L Garcia","year":"2009","unstructured":"Garcia, L., Ngoma, S., Nicolas, P.: Dealing automatically with exceptions by introducing specificity in ASP. In: Sossai, C., Chemello, G. (eds.) Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, (ECSQARU\u201999). Lecture Notes in Artificial Intelligence, vol.\u00a05590, pp.\u00a0614\u2013625. Springer, Berlin (2009)"},{"key":"9311_CR35","first-page":"1070","volume-title":"Proceedings of the Fifth International Conference on Logic Programming, (ICLP\u201988)","author":"M Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the Fifth International Conference on Logic Programming, (ICLP\u201988), pp.\u00a01070\u20131080. MIT Press, Cambridge (1988)"},{"key":"9311_CR36","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-17280-9","volume-title":"Working with Preferences: Less Is More","author":"S Kaci","year":"2011","unstructured":"Kaci, S.: Working with Preferences: Less Is More. Springer, New York (2011)"},{"key":"9311_CR37","unstructured":"K\u00e4rger, P., Lopes, N., Olmedilla, D., Polleres, A.: Towards logic programs with ordered and unordered disjunction. In: Proceedings of Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP2008), 24th International Conference on Logic Programming (ICLP 2008), pp.\u00a046\u201360 (2008)"},{"issue":"4","key":"9311_CR38","doi-asserted-by":"crossref","first-page":"526","DOI":"10.1145\/383779.383783","volume":"2","author":"V Lifschitz","year":"2001","unstructured":"Lifschitz, V., Pearce, D., Valverde, A.: Strongly equivalent logic programs. ACM Trans. Comput. Log. 2(4), 526\u2013541 (2001)","journal-title":"ACM Trans. Comput. Log."},{"key":"9311_CR39","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, New York (1987)","edition":"2"},{"issue":"1\u20132","key":"9311_CR40","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/j.artint.2005.05.005","volume":"168","author":"T Lukasiewicz","year":"2005","unstructured":"Lukasiewicz, T.: Weak nonmonotonic probabilistic logics. Artif. Intell. 168(1\u20132), 119\u2013161 (2005)","journal-title":"Artif. Intell."},{"issue":"2","key":"9311_CR41","doi-asserted-by":"crossref","first-page":"223","DOI":"10.2307\/1968867","volume":"43","author":"MHA Newman","year":"1942","unstructured":"Newman, M.H.A.: On theories with a combinatorial definition of equivalence. Ann. Math. 43(2), 223\u2013243 (1942)","journal-title":"Ann. Math."},{"issue":"1\u20132","key":"9311_CR42","doi-asserted-by":"crossref","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., Lef\u00e8vre, C.: Possibilistic uncertainty handling for answer set programming. Ann. Math. Artif. Intell. 47(1\u20132), 139\u2013181 (2006)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9311_CR43","author":"JC Nieves","year":"2011","unstructured":"Nieves, J.C., Osorio, M., Cort\u00e9s, U.: Semantics for possibilistic disjunctive programs. Theory Pract. Log. Program. (2011). doi: 10.1017\/S1471068411000408","journal-title":"Theory Pract. Log. Program."},{"key":"9311_CR44","first-page":"294","volume-title":"Proceedings of the Artificial Intelligence 6th Mexican International Conference on Advances in Artificial Intelligence, MICAI\u201907","author":"M Osorio","year":"2007","unstructured":"Osorio, M., Nieves, J.C.: Pstable semantics for possibilistic logic programs. In: Gelbukh, A., Morales, A.F.K. (eds.) Proceedings of the Artificial Intelligence 6th Mexican International Conference on Advances in Artificial Intelligence, MICAI\u201907, pp.\u00a0294\u2013304. Springer, Berlin (2007)"},{"key":"9311_CR45","series-title":"Lecture Notes in Computer Science","first-page":"57","volume-title":"Selected Papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation, (LOPSTR 2001).","author":"M Osorio","year":"2001","unstructured":"Osorio, M., Navarro, J.A., Arrazola, J.: Equivalence in answer set programming. In: Pettorossi, A. (ed.) Selected Papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation, (LOPSTR 2001). Lecture Notes in Computer Science, vol.\u00a02372, pp.\u00a057\u201375. Springer, London (2001)"},{"key":"9311_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/11562931_17","volume-title":"Proceedings of 21st International Conference on Logic Programming, (ICLP\u201905).","author":"E Saad","year":"2005","unstructured":"Saad, E., Pontelli, E.: Hybrid probabilistic logic programs with non-monotonic negation. In: Gabbrielli, M., Gupta, G. (eds.) Proceedings of 21st International Conference on Logic Programming, (ICLP\u201905). Lecture Notes in Computer Science, vol.\u00a03668, pp.\u00a0204\u2013220. Springer, Berlin (2005)"},{"issue":"1","key":"9311_CR47","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/j.ijar.2007.08.001","volume":"49","author":"Saint-Cyr F Dupin de","year":"2008","unstructured":"Dupin de, Saint-Cyr, F., Prade, H.: Handling uncertainty and defeasibility in a possibilistic logic setting. Int. J. Approx. Reason. 49(1), 67\u201382 (2008)","journal-title":"Int. J. Approx. Reason."},{"key":"9311_CR48","first-page":"597","volume-title":"Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI\u201901)","author":"T Schaub","year":"2001","unstructured":"Schaub, T., Wang, K.: A comparative study of logic programs with preference. In: Nebel, B. (ed.) Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI\u201901), vol.\u00a01, pp.\u00a0597\u2013602. Morgan Kaufmann, San Francisco (2001)"},{"issue":"2","key":"9311_CR49","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A Tarski","year":"1955","unstructured":"Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pac. J. Math. 5(2), 285\u2013309 (1955)","journal-title":"Pac. J. Math."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-012-9311-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-012-9311-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-012-9311-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,28]],"date-time":"2024-04-28T19:37:08Z","timestamp":1714333028000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-012-9311-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":49,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2012,7]]}},"alternative-id":["9311"],"URL":"https:\/\/doi.org\/10.1007\/s10472-012-9311-0","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7]]}}}