{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T13:48:23Z","timestamp":1766065703528},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2006,9,16]],"date-time":"2006-09-16T00:00:00Z","timestamp":1158364800000},"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":[[2006,11,9]]},"DOI":"10.1007\/s10472-006-9029-y","type":"journal-article","created":{"date-parts":[[2006,9,15]],"date-time":"2006-09-15T08:40:54Z","timestamp":1158309654000},"page":"139-181","source":"Crossref","is-referenced-by-count":54,"title":["Possibilistic uncertainty handling for answer set programming"],"prefix":"10.1007","volume":"47","author":[{"given":"Pascal","family":"Nicolas","sequence":"first","affiliation":[]},{"given":"Laurent","family":"Garcia","sequence":"additional","affiliation":[]},{"given":"Igor","family":"St\u00e9phan","sequence":"additional","affiliation":[]},{"given":"Claire","family":"Lef\u00e8vre","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,9,16]]},"reference":[{"key":"9029_CR1","first-page":"1","volume-title":"Conference in Uncertainty in Artificial Intelligence","author":"T. Alsinet","year":"2000","unstructured":"Alsinet, T., Godo, L.: A complete calculus for possibilistic logic programming with fuzzy propositional variables. In: Boutilier, C., Goldszmidt, M. (eds.), Conference in Uncertainty in Artificial Intelligence, pp. 1\u201310. Stanford University, Stanford, California, USA. Morgan Kaufmann, San Francisco, California (2000)"},{"key":"9029_CR2","first-page":"422","volume-title":"Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR\u201905), volume 3662 of Lecture Notes in Artificial Intelligence","author":"C. Anger","year":"2005","unstructured":"Anger, C., Gebser, M., Linke, T., Neumann, A., Schaub, T.: The nomore++ system. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.), Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR\u201905), volume 3662 of Lecture Notes in Artificial Intelligence, pp. 422\u2013426. Springer, Berlin Heidelberg New York (2005)"},{"key":"9029_CR3","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."},{"key":"9029_CR4","first-page":"21","volume-title":"Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR\u201904), volume 2923 of LNCS","author":"C. Baral","year":"2004","unstructured":"Baral, C., Gelfond, M., Rushton, N.J.: Probabilistic reasoning with answer sets. In: Lifschitz, V., Niemel\u00e4, I. (eds.), Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR\u201904), volume 2923 of LNCS, pp. 21\u201333. Fort Lauderdale, FL, USA. Springer, Berlin Heidelberg New York (2004)"},{"key":"9029_CR5","unstructured":"Benferhat, S., Dubois, D., Prade, H.: Representing default rules in possibilistic logic. In: International Conference on the Principles of Knowledge Representation and Reasoning, pp. 673\u2013684 (1992)"},{"key":"9029_CR6","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/BFb0028177","volume-title":"European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty volume 747 of LNCS","author":"S. Benferhat","year":"1993","unstructured":"Benferhat, S., Dubois, D., Prade, H.: Possibilistic logic: From nonmonotonicity to logic programming. In: Clarke, M., Kruse, R., Moral, S. (eds.), European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty volume 747 of LNCS, pp. 17\u201324. Springer, Berlin Heidelberg New York (1993)"},{"issue":"1","key":"9029_CR7","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0890-5401(91)90073-B","volume":"91","author":"N. Bidoit","year":"1991","unstructured":"Bidoit, N., Froidevaux, C.: General logical databases and programs: Default logic semantics and stratification. Inf. Comput. 91(1), 15\u201354 (1991)","journal-title":"Inf. Comput."},{"key":"9029_CR8","unstructured":"Brewka, G.: Preferred subtheories: An extended logical framework for default reasoning. In: International Joint Conference on Artificial Intelligence, pp. 1043\u20131048 (1989)"},{"key":"9029_CR9","unstructured":"Brewka, G.: Complex preferences for answer set optimization. In: Dubois, D., Welty, C.A., Williams, M.A. (eds.), International Conference on the Principles of Knowledge Representation and Reasoning, pp. 213\u2013223 (2004)"},{"issue":"1\u20132","key":"9029_CR10","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/S0004-3702(99)00015-6","volume":"109","author":"G. Brewka","year":"1999","unstructured":"Brewka, G., Eiter, T.: Preferred answer sets for extended logic programs. Artif. Intell. 109(1\u20132), 297\u2013356 (1999)","journal-title":"Artif. Intell."},{"issue":"1\u20132","key":"9029_CR11","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1016\/S0304-3975(96)00131-4","volume":"171","author":"P. Chatalic","year":"1997","unstructured":"Chatalic, P., Froidevaux, C., Schwind, C.: Graded hypothesis theories. Theor. Comp. Sci. 171(1\u20132), 247\u2013280 (1997)","journal-title":"Theor. Comp. Sci."},{"key":"9029_CR12","first-page":"379","volume-title":"International Conference on Logic Programming and NonMonotonic Reasoning, volume 2173 of LNCS","author":"C.V. Damasio","year":"2001","unstructured":"Damasio, C.V., Pereira, L.M.: Antitonic logic programs. In: Eiter, T., Faber, W., Truszczynski, M. (eds.), International Conference on Logic Programming and NonMonotonic Reasoning, volume 2173 of LNCS, pp. 379\u2013392. Springer, Berlin Heidelberg New York (2001)"},{"key":"9029_CR13","first-page":"748","volume-title":"European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, volume 2143 of LNCS","author":"C.V. Damasio","year":"2001","unstructured":"Damasio, C.V., Pereira, L.M.: Monotonic and residuated logic programs. In: Benferhat, S., Besnard, P. (eds.) European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, volume 2143 of LNCS, pp. 748\u2013759. Springer, Berlin Heidelberg New York (2001)"},{"key":"9029_CR14","unstructured":"Dupin de\u00a0Saint-Cyr, F., Prade, H.: Describing evolving systems by uncertain default transition rules. In: International Conference in Advances in Intelligent Systems \u2013 Theory and Applications (AISTA\u201904), Luxembourg (2004)"},{"issue":"2","key":"9029_CR15","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":"9029_CR16","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"1","author":"W. Dowling","year":"1984","unstructured":"Dowling, W., Gallier, J.: Linear-time algorithms for testing the satisfiability of propositional horn formulae. J. Log. Program. 1, 267\u2013284 (1984)","journal-title":"J. Log. Program."},{"key":"9029_CR17","first-page":"581","volume-title":"International Conference on Logic Programming","author":"D. Dubois","year":"1991","unstructured":"Dubois, D., Lang, J., Prade, H.: Towards possibilistic logic programming. In: Furukawa, K. (ed.) International Conference on Logic Programming, pp. 581\u2013595. MIT Press, Cambridge, Massachusetts (1991)"},{"key":"9029_CR18","first-page":"439","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"D. Dubois","year":"1995","unstructured":"Dubois, D., Lang, J., Prade, H.: Possibilistic logic. In: Gabbay, D., Hogger, C., Robinson, J. (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 439\u2013513. Oxford University Press, Oxford (1995)"},{"key":"9029_CR19","volume-title":"Possibility Theory \u2013 An Approach to Computerized Processing of Uncertainty","author":"D. Dubois","year":"1988","unstructured":"Dubois, D., Prade, H.: Possibility Theory \u2013 An Approach to Computerized Processing of Uncertainty. Plenum Press, New-York (1988)"},{"key":"9029_CR20","first-page":"169","volume-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems","author":"D. Dubois","year":"1998","unstructured":"Dubois, D., Prade, H.: Possibility theory: qualitative and quantitative aspects. In: Smets, Ph. (ed.), Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 1, pp. 169\u2013226. Kluwer Academic Press, Dordrecht (1998)"},{"key":"9029_CR21","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1023\/A:1016740830286","volume":"32","author":"D. Dubois","year":"2001","unstructured":"Dubois, D., Prade, H.: Possibility theory, probability theory and multiple-valued logics: A clarification. Ann. Math. Artif. Intell. 32, 35\u201366 (2001)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9029_CR22","first-page":"1070","volume-title":"International Conference on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K. (eds.), International Conference on Logic Programming, pp. 1070\u20131080. The MIT Press, Cambridge, Massacusetts (1988)"},{"issue":"3\u20134","key":"9029_CR23","first-page":"363","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New. Gener. Comput. 9(3\u20134), 363\u2013385 (1991)","journal-title":"New Gener. Comput."},{"key":"9029_CR24","volume-title":"Over-Constrained Systems, volume 1106 of LNCS","year":"1996","unstructured":"Jampel, M., Freuder, E.C., Maher, M.J. (eds.), Over-Constrained Systems, volume 1106 of LNCS. Springer, Berlin Heidelberg New York (1996)"},{"issue":"1\u20132","key":"9029_CR25","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell. 44(1\u20132), 167\u2013208 (1990)","journal-title":"Artif. Intell."},{"key":"9029_CR26","doi-asserted-by":"crossref","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The dlv system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3), (July 2006)","DOI":"10.1145\/1149114.1149117"},{"key":"9029_CR27","first-page":"346","volume-title":"International Conference on Logic Programming and NonMonotonic Reasoning, volume 2923 of LNCS","author":"Y. Lierler","year":"2004","unstructured":"Lierler, Y., Maratea, M.: Cmodels-2: Sat-based answer set solver enhanced to non-tight programs. In: International Conference on Logic Programming and NonMonotonic Reasoning, volume 2923 of LNCS, pp. 346\u2013350. Springer, Berlin Heidelberg New York (2004)"},{"key":"9029_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming. Symbolic Computation","author":"J. Lloyd","year":"1987","unstructured":"Lloyd, J.: Foundations of Logic Programming. Symbolic Computation, 2nd edition. Springer, Berlin Heidelberg New York (1987)","edition":"2"},{"key":"9029_CR29","first-page":"466","volume-title":"International Conference on Logic Programming, volume 2916 of LNCS","author":"Y. Loyer","year":"2003","unstructured":"Loyer, Y., Straccia, U.: Default knowledge in logic programs with uncertainty. In: International Conference on Logic Programming, volume 2916 of LNCS, pp. 466\u2013480, Mumbai, India. Springer, Berlin Heidelberg New York (2003)"},{"key":"9029_CR30","first-page":"277","volume-title":"Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR\u201999), volume 1730 of LNCS","author":"T. Lukasiewicz","year":"1999","unstructured":"Lukasiewicz, T.: Many-valued disjunctive logic programs with probabilistic semantics. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR\u201999), volume 1730 of LNCS, pp. 277\u2013289, El Paso, Texas, USA. Springer, Berlin Heidelberg New York (1999)"},{"key":"9029_CR31","first-page":"336","volume-title":"Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR\u201901), volume 2173 of LNCS","author":"T. Lukasiewicz","year":"2001","unstructured":"Lukasiewicz, T.: Fixpoint characterizations for many-valued disjunctive logic programs with probabilistic semantics. In: Eiter, T., Faber, W., Truszczynski, M. (eds.), Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR\u201901), volume 2173 of LNCS, pp. 336\u2013350, Vienna, Austria. Springer, Berlin Heidelberg New York (2001)"},{"issue":"1\u20132","key":"9029_CR32","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":"3","key":"9029_CR33","doi-asserted-by":"crossref","first-page":"588","DOI":"10.1145\/116825.116836","volume":"38","author":"W. Marek","year":"1991","unstructured":"Marek, W., Truszczy\u0144ski, M.: Autoepistemic logic. J. ACM 38(3), 588\u2013619 (1991)","journal-title":"J. ACM"},{"key":"9029_CR34","first-page":"290","volume-title":"LPNMR, volume 1730 of LNCS","author":"C. Mateis","year":"1999","unstructured":"Mateis, C.: Extending disjunctive logic programming by t-norms. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR, volume 1730 of LNCS, pp. 290\u2013304. Springer, Berlin Heidelberg New York (1999)"},{"issue":"1\u20132","key":"9029_CR35","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/S0304-3975(96)00127-2","volume":"171","author":"A. Nerode","year":"1997","unstructured":"Nerode, A., Remmel, J.B., Subrahmanian, V.S.: Annotated nonmonotonic rule systems. Theor. Comp. Sci. 171(1\u20132), 111\u2013146 (1997)","journal-title":"Theor. Comp. Sci."},{"key":"9029_CR36","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1007\/11518655_35","volume-title":"European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, volume 3571 of LNCS","author":"P. Nicolas","year":"2005","unstructured":"Nicolas, P., Garcia, L., St\u00e9phan, I.: A possibilistic inconsistency handling in answer set programming. In: European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, volume 3571 of LNCS, pp. 402\u2013414, Barcelona, Spain. Springer, Berlin Heidelberg New York (2005)"},{"key":"9029_CR37","unstructured":"Nicolas, P., Garcia, L., St\u00e9phan, I.: Possibilistic stable models. In: International Joint Conference on Artificial Intelligence, pp. 248\u2013253, Edinburgh, Scotland, August 2\u20135 (2005)"},{"key":"9029_CR38","volume-title":"ASP\u201905 workshop","author":"P. Nicolas","year":"2005","unstructured":"Nicolas, P., Lef\u00e8vre, C.: Possibilistic stable model computing. In: ASP\u201905 workshop, Bath, England (2005)"},{"issue":"3\u20134","key":"9029_CR39","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic programs with stable model semantics as a constraint programming paradigm. Ann. Math. Artif. Intell. 25(3\u20134), 241\u2013273 (1999)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9029_CR40","first-page":"121","volume-title":"Proceedings of Theoretical Aspects of Reasoning about Knowledge","author":"J. Pearl","year":"1990","unstructured":"Pearl, J.: System Z: A natural ordering of defaults with tractable applications to default reasoning. In: Parikh, R. (ed.) Proceedings of Theoretical Aspects of Reasoning about Knowledge, pp. 121\u2013135. Morgan Kaufmann Publishers, San Mateo (1990)"},{"issue":"1\u20132","key":"9029_CR41","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artif. Intell. 13(1\u20132), 81\u2013132 (1980)","journal-title":"Artif. Intell."},{"key":"9029_CR42","first-page":"204","volume-title":"Logic Programming, 21st International Conference, (ICLP\u201905), volume 3668 of LNCS","author":"E. Saad","year":"2005","unstructured":"Saad, E., Pontelli, E.: Hybrid probabilistic logic programs with non-monotonic negation. In: Logic Programming, 21st International Conference, (ICLP\u201905), volume 3668 of LNCS, pp. 204\u2013220, Sitges, Spain. Springer, Berlin Heidelberg New York (2005)"},{"key":"9029_CR43","volume-title":"Conference on Automated Deduction","author":"C. Schwind","year":"1990","unstructured":"Schwind, C.: A tableaux-based theorem prover for a decidable subset of default logic. In: Stickel, M. (ed.) Conference on Automated Deduction. Springer, Berlin Heidelberg New York (1990)"},{"key":"9029_CR44","unstructured":"Simons, P.: Extending and implementing the stable model semantics. Research Report A58, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, April 2000. Doctoral dissertation"},{"key":"9029_CR45","first-page":"434","volume-title":"International Conference on Logic Programming and NonMonotonic Reasoning","author":"T. Syrj\u00e4nen","year":"2001","unstructured":"Syrj\u00e4nen, T., Niemel\u00e4, I.: The Smodels systems. In: International Conference on Logic Programming and NonMonotonic Reasoning, pp. 434\u2013438, Vienna, Austria, September. Springer-Verlag, Berlin Heidelberg New York (2001)"},{"key":"9029_CR46","unstructured":"Wagner, G.: A logical reconstruction of fuzzy inference in databases and logic programs. In: Intelligent Fuzzy Set Association World Congress, Prague, Czech (1997)"},{"issue":"3","key":"9029_CR47","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/0743-1066(93)90046-J","volume":"16","author":"M. Wilson","year":"1993","unstructured":"Wilson, M., Borning, A.: Hierarchical constraint logic programming. J. Log. Program. 16(3), 277\u2013318 (1993)","journal-title":"J. Log. Program."},{"key":"9029_CR48","doi-asserted-by":"crossref","first-page":"246","DOI":"10.3233\/HSM-1982-3404","volume":"3","author":"R.R. Yager","year":"1983","unstructured":"Yager, R.R.: An introduction to applications of possibility theory. Human Syst. Manag. 3, 246\u2013269 (1983)","journal-title":"Human Syst. Manag."},{"key":"9029_CR49","first-page":"3","volume-title":"Fuzzy Sets and Systems","author":"L.A. Zadeh","year":"1978","unstructured":"Zadeh, L.A.: Fuzzy sets as a basis for a theory of possibility. In: Fuzzy Sets and Systems, vol. 1, pp. 3\u201328. Elsevier Science, Amsterdam (1978)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-006-9029-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-006-9029-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-006-9029-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,18]],"date-time":"2020-04-18T06:43:34Z","timestamp":1587192214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-006-9029-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9,16]]},"references-count":49,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2006,11,9]]}},"alternative-id":["9029"],"URL":"https:\/\/doi.org\/10.1007\/s10472-006-9029-y","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,9,16]]}}}