Possibilistic Logic - An Overview

Handbook of the History of Logic

Volumn 9, Issue C, 2014, Pages 283-342

  Dubois, Didier ^a   Prade, Henri ^a  

^a IRIT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84961290782     PISSN: 18745857     EISSN: None     Source Type: Book Series    
DOI: 10.1016/B978-0-444-51624-4.50007-1     Document Type: Chapter

References (221)

1. Alsinet T., Godo L. A complete calculus for possibilistic logic programming with fuzzy propositional variables 2000, 1-10. Morgan Kaufmann, San Francisco.
2. Alsinet T., Godo L., Sandri S. Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description. Elec. Notes in Theor. Computer Sci. 2002, 66(5).
3. Alsinet T., Chesnevar C.I., Godo L. A level-based approach to computing warranted arguments in possibilistic defeasible logic programming 2008, 1-12. IOS Press. P. Besnard, S. Doutre, A. Hunter (Eds.).
4. Amgoud L., Prade H. Using arguments for making and explaining decisions. Artificial Intelligence 2009, 173:413-436.
5. Amgoud L., Prade H. Towards a logic of argumentation 2012, 558-565. Springer, volume 7520 of LNCS. E. Hüllermeier, S. Link, T. Fober, B. Seeger (Eds.).
6. Banerjee M., Dubois D. A simple modal logic for reasoning about revealed beliefs 2009, 805-816. Springer, number 5590 in LNCS. C. Sossai, G. Chemello (Eds.).
7. Banerjee M., Dubois D. A simple logic for reasoning about incomplete knowledge. Int. J. of Approximate Reasoning 2014, 55:639-653.
8. Banerjee M., Dubois D., Godo L. Possibilistic vs. relational semantics for logics of incomplete information. Comm. in Comp. and Inf. Sci. 2014, 335-344. Springer, volume 442. A. Laurent, O. Strauss, B. Bouchon-Meunier, R.R. Yager (Eds.).
9. Bauters K., Schockaert S., De Cock M., Vermeir D. Possibilistic answer set programming revisited 2010, 48-55. AUAI Press. P. Grünwald, P. Spirtes (Eds.).
10. Bauters K., Schockaert S., De Cock M., Vermeir D. Weak and strong disjunction in possibilistic ASP 2011, 475-488. Springer, volume 6929 of LNCS. S. Benferhat, J. Grant (Eds.).
11. Bauters K., Schockaert S., De Cock M., Vermeir D. Possible and necessary answer sets of possibilistic answer set programs 2012, 836-843.
12. Belhadi A., Dubois D., Khellaf-Haned F., Prade H. Multiple agent possibilistic logic. J. of Applied Non-Classical Logics 2013, 23:299-320.
13. Belnap N.D. A useful four-valued logic. Modern Uses of Multiple-Valued Logic 1977, 7-37. D. Reidel, Dordrecht. J.M. Dunn, G. Epstein (Eds.).
14. Ben Amor N., Benferhat S. Graphoid properties of qualitative possibilistic independence relations. Int. J. Uncertainty, Fuzziness & Knowledge-based Syst. 2005, 13:59-97.
15. Ben Amor N., Benferhat S., Dubois D., Mellouli K., Prade H. A theoretical framework for possibilistic independence in a weakly ordered setting. Int. J. Uncertainty, Fuzziness & Knowledge-based Syst. 2002, 10:117-155.
16. Ben Amor N., Benferhat S., Mellouli K. Anytime propagation algorithm for min-based possibilistic graphs. Soft Comput. 2003, 8(2):150-161.
17. Ben Amor N., Dubois D., Gouider H., Prade H. Possibilistic networks: A new setting for modeling preferences 2014, 1-7. Springer, volume 8720 of LNCS. U. Straccia, A. Cali (Eds.).
18. Benferhat S., Bouraoui Z. Possibilistic DL-Lite 2013, 346-359. Springer, volume 8078 of LNCS. W. Liu, V.S. Subrahmanian, J. Wijsen (Eds.).
19. Benferhat S., Kaci S. Logical representation and fusion of prioritized information based on guaranteed possibility measures: Application to the distance-based merging of classical bases. Artificial Intelligence 2003, 148(1-2):291-333.
20. Benferhat S., Prade H. Encoding formulas with partially constrained weights in a possibilistic-like many-sorted propositional logic 2005, 1281-1286. L. Pack Kaelbling, A. Saffiotti (Eds.).
21. Benferhat S., Prade H. Compiling possibilistic knowledge bases 2006, 337-341. IOS Press. G. Brewka, S. Coradeschi, A. Perini, P. Traverso (Eds.).
22. Benferhat S., Sedki K. Two alternatives for handling preferences in qualitative choice logic. Fuzzy Sets and Systems 2008, 159(15):1889-1912.
23. Benferhat S., Smaoui S. Hybrid possibilistic networks. Int. J. Approx. Reasoning 2007, 44(3):224-243.
24. Benferhat S., Smaoui S. Possibilistic causal networks for handling interventions: A new propagation algorithm 2007, 373-378.
25. Benferhat S., Smaoui S. Inferring interventions in product-based possibilistic causal networks. Fuzzy Sets and Systems 2011, 169:26-50.
26. Benferhat S., Titouna F. Min-based fusion of possibilistic networks 2005, 553-558. Universidad Polytecnica de Catalunya. E. Montseny, P. Sobrevilla (Eds.).
27. Benferhat S., Titouna F. Fusion and normalization of quantitative possibilistic networks. Applied Intelligence 2009, 31(2):135-160.
28. Benferhat S., Dubois D., Prade H. Representing default rules in possibilistic logic 1992, 673-684.
29. Benferhat S., Dubois D., Prade H. Argumentative inference in uncertain and inconsistent knowledge base 1993, 411-419. Morgan Kaufmann.
30. Benferhat S., Dubois D., Prade H. Possibilistic logic: From nonmonotonicity to logic programming 1993, 17-24. Springer, volume 747 of LNCS. M. Clarke, R. Kruse, S. Moral (Eds.).
31. Benferhat S., Dubois D., Lang J., Prade H. Hypothetical reasoning in possibilistic logic: basic notions and implementation issues. Between Mind and Computer, Fuzzy Science and Engineering 1994, 1-29. World Scientific Publ., Singapore. P.Z. Wang, K.F. Loe (Eds.).
32. Benferhat S., Dubois D., Prade H. Expressing independence in a possibilistic framework and its application to default reasoning 1994, 150-154.
33. Benferhat S., Chehire T., Monai F. Possibilistic ATMS in a data fusion problem. Fuzzy Information Engineering: A Guided Tour of Applications 1997, 417-435. John Wiley & Sons, New York. D. Dubois, H. Prade, R.R. Yager (Eds.).
34. Benferhat S., Dubois D., Prade H. Nonmonotonic reasoning, conditional objects and possibility theory. Artificial Intelligence 1997, 92(1-2):259-276.
35. Benferhat S., Dubois D., Prade H. From semantic to syntactic approaches to information combination in possibilistic logic. Aggregation and Fusion of Imperfect Information 1998, 141-161. Physica-Verlag, Heidelberg. B. Bouchon-Meunier (Ed.).
36. Benferhat S., Dubois D., Prade H. Practical handling of exception-tainted rules and independence information in possibilistic logic. Applied Intelligence 1998, 9(2):101-127.
37. Benferhat S., Dubois D., Prade H. An overview of inconsistency-tolerant inferences in prioritized knowledge bases. Fuzzy Sets, Logic and Reasoning about Knowledge 1999, 395-417. Kluwer, Dordrecht, volume 15 of Applied Logic Series. D. Dubois, E.P. Klement, H. Prade (Eds.).
38. Benferhat S., Dubois D., Prade H. Possibilistic and standard probabilistic semantics of conditional knowledge bases. J. of Logic and Computation 1999, 9(6):873-895.
39. Benferhat S., Dubois D., Prade H., Williams M.-A. A practical approach to fusing prioritized knowledge bases 1999, 222-236. Springer, volume 1695 of LNCS.
40. Benferhat S., Dubois D., Fargier H., Prade H., Sabbadin R. Decision, nonmonotonic reasoning and possibilistic logic. Logic-Based Artificial Intelligence 2000, 333-358. Kluwer Acad. Publ. J. Minker (Ed.).
41. Benferhat S., Dubois D., Prade H. Kalman-like filtering in a possibilistic setting 2000, 8-12. IOS Press. W. Horn (Ed.).
42. Benferhat S., Dubois D., Kaci S., Prade H. Bridging logical, comparative and graphical possibilistic representation frameworks 2001, 422-431. Springer, volume 2143 of LNAI. S. Benferhat, P. Besnard (Eds.).
43. Benferhat S., Dubois D., Kaci S., Prade H. Graphical readings of a possibilistic logic base 2001, 24-31. Morgan Kaufmann. J. Breese, D. Koller (Eds.).
44. Benferhat S., Dubois D., Prade H. A computational model for belief change and fusing ordered belief bases. Frontiers in Belief Revision 2001, 109-134. Kluwer Acad. Publ. M.-A. Williams, H. Rott (Eds.).
45. Benferhat S., Dubois D., Prade H. Towards a possibilistic logic handling of preferences. Applied Intelligence 2001, 14(3):303-317.
46. Benferhat S., Dubois D., Garcia L., Prade H. On the transformation between possibilistic logic bases and possibilistic causal networks. Int. J. Approx. Reasoning 2002, 29(2):135-173.
47. Benferhat S., Dubois D., Kaci S., Prade H. Possibilistic merging and distance-based fusion of propositional information. Annals of Mathematics and Artificial Intelligence 2002, 34(1-3):217-252.
48. Benferhat S., Dubois D., Prade H., Williams M.-A. A practical approach to revising prioritized knowledge bases. Studia Logica 2002, 70(1):105-130.
49. Benferhat S., El Baida R., Cuppens F. A possibilistic logic encoding of access control 2003, 481-485. AAAI Press. I. Russell, S.M. Haller (Eds.).
50. Benferhat S., Brewka G., Le Berre D. On the relation between qualitative choice logic and possibilistic logic 2004, 951-957.
51. Benferhat S., Lagrue S., Papini O. Reasoning with partially ordered information in a possibilistic logic framework. Fuzzy Sets and Systems 2004, 144(1):25-41.
52. Benferhat S., Khellaf F., Mokhtari A. Product-based causal networks and quantitative possibilistic bases. Int. J. of Uncertainty, Fuzziness and Knowledge-Based Systems 2005, 13:469-493.
53. Benferhat S., Dubois D., Kaci S., Prade H. Bipolar possibility theory in preference modeling: Representation, fusion and optimal solutions. Information Fusion 2006, 7(1):135-150.
54. Benferhat S., Dubois D., Kaci S., Prade H. Modeling positive and negative information in possibility theory. Int. J. of Intelligent Systems 2008, 23(10):1094-1118.
55. Benferhat S., Dubois D., Prade H. Interventions in possibilistic logic 2009, 40-54. Springer, volume 5785 of LNCS. L. Godo, A. Pugliese (Eds.).
56. Benferhat S., Dubois D., Prade H., Williams M.-A. A framework for iterated belief revision using possibilistic counterparts to Jeffrey's rule. Fundam. Inform. 2010, 99(2):147-168.
57. Benferhat S., Hué J., Lagrue S., Rossit J. Interval-based possibilistic logic 2011, 750-755. T. Walsh (Ed.).
58. Benferhat S., Bouraoui Z., Loukil Z. Min-based fusion of possibilistic DL-Lite knowledge bases 2013, 23-28. IEEE Computer Society.
59. Benferhat S. Interventions and belief change in possibilistic graphical models. Artificial Intelligence 2010, 174:177-189.
60. Besnard Ph., Hunter A. Quasi-classical logic: Non-trivializable classical reasoning from inconsistent information 1995, 44-51. Springer, volume 946 of LNCS. C. Froidevaux, J. Kohlas (Eds.).
61. Besnard Ph., Lang J. Possibility and necessity functions over non-classical logics 1994, 69-76. Morgan Kaufmann. R. López de Mántaras, D. Poole (Eds.).
62. Bocheński I.M. La Logique de Théophraste 1947, Librairie de l'Université de Fribourg en Suisse.
63. Boldrin L., Sossai C. Local possibilistic logic. J. of Applied Non-Classical Logics 1997, 7(3):309-333.
64. Boldrin L. A substructural connective for possibilistic logic 1995, 60-68. Springer, volume 946 of LNCS. C. Froidevaux, J. Kohlas (Eds.).
65. Bonnefon J.-F., Da Silva Neves R., Dubois D., Prade H. Predicting causality ascriptions from background knowledge: model and experimental validation. Int. J. Approximate Reasoning 2008, 48(3):752-765.
66. Bonnefon J.-F., Da Silva Neves R., Dubois D., Prade H. Qualitative and quantitative conditions for the transitivity of perceived causation - Theoretical and experimental results. Ann. Math. Artif. Intell. 2012, 64(2-3):311-333.
67. Bosc P., Pivert O. About projection-selection-join queries addressed to possibilistic relational databases. IEEE Trans. on Fuzzy Systems 2005, 13:124-139.
68. Bosc P., Pivert O., Prade H. A model based on possibilistic certainty levels for incomplete databases 2009, 80-94. Springer, volume 5785 of LNCS. L. Godo, A. Pugliese (Eds.).
69. Bosc P., Pivert O., Prade H. A possibilistic logic view of preference queries to an uncertain database 2010, 379-384.
70. Bou F., Esteva F., Godo L. On possibilistic modal logics defined over MTL-chains. Petr Hájek on Mathematical Fuzzy Logic 2014, Trends in Logic, Springer, in press.
71. Brewka G., Benferhat S., Le Berre D. Qualitative choice logic. Artificial Intelligence 2004, 157(1-2):203-237.
72. G. Brewka, V. Marek, M. Truszczynski Nonmonotonic Reasoning. Essays Celebrating its 30th Anniversary 2011, College Publications, volume 31 of Studies in Logic. (Eds.).
73. Rule-Based Expert Systems. The MYCIN Experiments of the Stanford Heuristic Programming Project 1984, Addison-Wesley, Reading, Ma. (Eds.).
74. Casali A., Godo L., Sierra C. A graded BDI agent model to represent and reason about preferences. Artificial Intelligence 2011, 175(7-8):1468-1478.
75. Cayrol C., Dubois D., Touazi F. On the semantics of partially ordered bases 2014, 136-153. Springer, volume 8367 of LNCS. C. Beierle, C. Meghini (Eds.).
76. Chellas B.F. Modal Logic, an Introduction 1980, Cambridge University Press, Cambridge.
77. Chesnevar C.I., Simari G.R., Godo L., Alsinet T. Argument-based expansion operators in possibilistic defeasible logic programming: Characterization and logical properties 2005, 353-365. Springer, volume 3571 of LNCS. L. Godo (Ed.).
78. Cohen L.J. The Probable and the Provable 1977, Clarendon Press, Oxford.
79. Coletti G., Vantaggi B. T-conditional possibilities: Coherence and inference. Fuzzy Sets and Systems 2009, 160(3):306-324.
80. Confalonieri R., Prade H. Using possibilistic logic for modeling qualitative decision: Answer set programming algorithms. Int. J. Approximate Reasoning 2014, 55(2):711-738.
81. Confalonieri R., Nieves J.C., Osorio M., Vázquez-Salceda J. Dealing with explicit preferences and uncertainty in answer set programming. Ann. Math. Artif. Intell. 2012, 65(2-3):159-198.
82. De Baets B., Tsiporkova E., Mesiar R. Conditioning in possibility with strict order norms. Fuzzy Sets and Systems 1999, 106:221-229.
83. De Campos L.M., Huete J.F. Independence concepts in possibility theory. Fuzzy Sets and Systems 1999, 103:127-152. 487-506.
84. De Cooman G. Possibility theory. Part i: Measure- and integral-theoretic groundwork; Part ii: Conditional possibility; Part iii: Possibilistic independence. Int. J. of General Syst. 1997, 25:291-371.
85. Dellunde P., Godo L., Marchioni E. Extending possibilistic logic over gödel logic. Int. J. Approx. Reasoning 2011, 52(1):63-75.
86. Dubois D., Prade H. Fuzzy Sets and Systems - Theory and Applications 1980, Academic Press, New York.
87. Dubois D., Prade H. Possibility Theory. An Approach to Computerized Processing of Uncertainty 1988, Plenum Press, New York and London, With the collaboration of H. Farreny, R. Martin-Clouaire and C. Testemale.
88. Dubois D., Prade H. The logical view of conditioning and its application to possibility and evidence theories. Int. J. Approx. Reasoning 1990, 4(1):23-46.
89. Dubois D., Prade H. Resolution principles in possibilistic logic. Int. J. Approximate Reasoning 1990, 4(1):1-21.
90. Dubois D., Prade H. Epistemic entrenchment and possibilistic logic. Artificial Intelligence 1991, 50:223-239.
91. Dubois D., Prade H. Possibility theory as a basis for preference propagation in automated reasoning 1992, 821-832.
92. Dubois D., Prade H. Belief revision and updates in numerical formalisms: An overview, with new results for the possibilistic framework 1993, 620-625. Morgan Kaufmann. R. Bajcsy (Ed.).
93. Dubois D., Prade H. Conditional objects, possibility theory and default rules. Conditionals: From Philosophy to Computer Science 1995, 301-336. Oxford Science Publ., Studies in Logic and Computation. L. Fariñas Del Cerro, G. Crocco, A. Herzig (Eds.).
94. Dubois D., Prade H. Possibility theory as a basis for qualitative decision theory 1995, 1924-1932. Morgan Kaufmann.
95. Dubois D., Prade H. Combining hypothetical reasoning and plausible inference in possibilistic logic. J. of Multiple Valued Logic 1996, 1:219-239.
96. Dubois D., Prade H. A synthetic view of belief revision with uncertain inputs in the framework of possibility theory. Int. J. Approx. Reasoning 1997, 17:295-324.
97. Dubois D., Prade H. Valid or complete information in databases - a possibility theory-based analysis 1997, 603-612. Springer, volume 1308 of LNCS. A. Hameurlain, A.M. Tjoa (Eds.).
98. Dubois D., Prade H. Possibility theory: Qualitative and quantitative aspects. Quantified Representation of Uncertainty and Imprecision, volume 1 of Handbook of Defeasible Reasoning and Uncertainty Management Systems 1998, 169-226. Kluwer Acad. Publ. D.M. Gabbay, P. Smets (Eds.).
99. Dubois D., Prade H. An overview of ordinal and numerical approaches to causal diagnostic problem solving. Abductive Reasoning and Learning, Vol. 4 in Handbooks of Defeasible Reasoning and Uncertainty Management Systems 2000, 231-280. Kluwer Acad. Publ., Boston. D.M. Gabbay, R. Kruse (Eds.).
100. Dubois D., Prade H. Possibilistic logic: A retrospective and prospective view. Fuzzy Sets and Systems 2004, 144:3-23.
101. Dubois D., Prade H. A bipolar possibilistic representation of knowledge and preferences and its applications. Revised Selected Papers from the Inter. Workshop on Fuzzy Logic and Applications (WILF'05), Crema, Italy, Sept. 2005 2006, 1-10. Springer, volume 3849 of LNCS. I. Bloch, A. Petrosino, A. Tettamanzi, G.B. Andrea (Eds.).
102. Dubois D., Prade H. Toward multiple-agent extensions of possibilistic logic 2007, 187-192.
103. Dubois D., Prade H. Generalized possibilistic logic 2011, 428-432. Springer, volume 6929 of LNCS. S. Benferhat, J. Grant (Eds.).
104. Dubois D., Prade H. Handling various forms of inconsistency in possibilistic logic 2011, 327-331. IEEE Computer Society. F. Morvan, A. Min Tjoa, R. Wagner (Eds.).
105. Dubois D., Prade H. Non-monotonic reasoning and uncertainty theories. Nonmonotonic Reasoning. Essays Celebrating its 30th Anniversary 2011, 141-176. College Publications, volume 31 of Studies in Logic. G. Brewka, V. Marek, M. Truszczynski (Eds.).
106. Dubois D., Prade H. From Blanché's hexagonal organization of concepts to formal concept analysis and possibility theory. Logica Universalis 2012, 6(1-2):149-169.
107. Dubois D., Prade H. Modeling "and if possible" and "or at least": Different forms of bipolarity in flexible querying. Flexible Approaches in Data, Information and Knowledge Management, volume 497 of Studies in Computational Intelligence 2013, 3-19. Springer. O. Pivert, S. Zadrozny (Eds.).
108. Dubois D., Lang J., Prade H. Theorem proving under uncertainty - A possibility theory-based approach 1987, 984-986. Morgan Kaufmann. J.P. McDermott (Ed.).
109. Dubois D., Prade H., Testemale C. In search of a modal system for possibility theory 1988, 501-506. Pitmann Publ., London. Y. Kodratoff (Ed.).
110. Dubois D., Lang J., Prade H. Handling uncertain knowledge in an ATMS using possibilistic logic 1990, 252-259. North-Holland.
111. Dubois D., Lang J., Prade H. Fuzzy sets in approximate reasoning. Part 2: Logical approaches. Fuzzy Sets and Systems 1991, 40:203-244.
112. Dubois D., Lang J., Prade H. Timed possibilistic logic. Fundamenta Informaticae 1991, 15:211-234.
113. Dubois D., Lang J., Prade H. Towards possibilistic logic programming 1991, 581-595. MIT Press. K. Furukawa (Ed.).
114. Dubois D., Lang J., Prade H. Dealing with multi-source information in possibilistic logic 1992, 38-42. IEEE Computer Society. B. Neumann (Ed.).
115. Dubois D., Lang J., Prade H. Automated reasoning using possibilistic logic: semantics, belief revision and variable certainty weights. IEEE Trans. on Data and Knowledge Engineering 1994, 6(1):64-71.
116. Dubois D., Lang J., Prade H. Handling uncertainty, context, vague predicates, and partial inconsistency in possibilistic logic 1994, 45-55. Springer, volume 833 of LNCS. D. Driankov, P.W. Eklund, A.L. Ralescu (Eds.).
117. Dubois D., Lang J., Prade H. Possibilistic logic 1994, 439-513. Oxford Univ. Press. D.M. Gabbay, C.J. Hogger, J.A. Robinson, D. Nute (Eds.).
118. Dubois D., Fariñas del Cerro L., Herzig A., Prade H. Qualitative relevance and independence: A roadmap 1997, 62-67.
119. Dubois D., Moral S., Prade H. Belief change rules in ordinal and numerical uncertainty theories. Belief Change 1998, 311-392. Kluwer, Dordrecht. D. Dubois, H. Prade (Eds.).
120. Dubois D., Prade H., Sandri S. A possibilistic logic with fuzzy constants and fuzzily restricted quantifiers. Logic Programming and Soft Computing 1998, 69-90. Research Studies Press, Baldock, UK. T.P. Martin, F. Arcelli-Fontana (Eds.).
121. Dubois D., Fariñas del Cerro L., Herzig A., Prade H. A roadmap of qualitative independence. Fuzzy Sets, Logics and Reasoning about Knowledge, volume 15 of Applied Logic series 1999, 325-350. Kluwer Acad. Publ., Dordrecht. D. Dubois, H. Prade, E.P. Klement (Eds.).
122. Dubois D., Le Berre D., Prade H., Sabbadin R. Using possibilistic logic for modeling qualitative decision: ATMS-based algorithms. Fundamenta Informaticae 1999, 37(1-2):1-30.
123. Dubois D., Hajek P., Prade H. Knowledge-driven versus data-driven logics. J. Logic, Language, and Information 2000, 9:65-89.
124. Dubois D., Prade H., Sabbadin R. Decision-theoretic foundations of qualitative possibility theory. Europ. J. of Operational Research 2001, 128(3):459-478.
125. Dubois D., Prade H., Smets Ph. Not impossible" vs. "guaranteed possible" in fusion and revision 2001, 522-531. Springer, volume 2143 of LNCS. S. Benferhat, P. Besnard (Eds.).
126. Dubois D., Konieczny S., Prade H. Quasi-possibilistic logic and its measures of information and conflict. Fundamenta Informaticae 2003, 57(2-4):101-125.
127. Dubois D., Kaci S., Prade H. Approximation of conditional preferences networks? CP-nets? in possibilistic logic 2006, 2337-2342.
128. Dubois D., Esteva F., Godo L., Prade H. Fuzzy-set based logics - An history-oriented presentation of their main developments. Handbook of the History of Logic, Vol. 8, The Many-Valued and Nonmonotonic Turn in Logic 2007, 325-449. Elsevier. D.M. Gabbay, J. Woods (Eds.).
129. Dubois D., Prade H., Schockaert S. Rules and metarules in the framework of possibility theory and possibilistic logic. Scientia Iranica, Transactions D 2011, 18:566-573.
130. Dubois D., Prade H., Schockaert S. Stable models in generalized possibilistic logic 2012, 519-529. AAAI Press. G. Brewka, T. Eiter, S.A. McIlraith (Eds.).
131. Dubois D., Lorini E., Prade H. Bipolar possibility theory as a basis for a logic of desire and beliefs 2013, 204-218. Springer, number 8078 in LNCS. W. Liu, V.S. Subramanian, J. Wijsen (Eds.).
132. Dubois D., Prade H., Touazi F. Conditional preference nets and possibilistic logic 2013, 181-193. Springer, volume 7958 of LNCS. L.C. van der Gaag (Ed.).
133. Dubois D., Prade H., Touazi F. Conditional preference-nets, possibilistic logic, and the transitivity of priorities 2013, 175-184. Springer. M. Bramer, M. Petridis (Eds.).
134. Dubois D., Lorini E., Prade H. Nonmonotonic desires - A possibility theory viewpoint 2014, CEUR.
135. Dubois D., Prade H., Rico A. The logical encoding of Sugeno integrals. Fuzzy Sets and Systems 2014, 241:61-75.
136. Dubois D., Prade H., Schockaert S. Reasoning about uncertainty and explicit ignorance in generalized possibilistic logic 2014.
137. Dubois D. Belief structures, possibility theory and decomposable measures on finite sets. Computers and AI 1986, 5:403-416.
138. Dubois D. Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic. Soft Computing 2012, 16(11):1817-1831.
139. Dupin de Saint Cyr F., Prade H. Handling uncertainty and defeasibility in a possibilistic logic setting. Int. J. Approximate Reasoning 2008, 49(1):67-82.
140. Dupin de Saint Cyr F., Lang J., Schiex Th. Penalty logic and its link with Dempster-Shafer theory 1994, 204-211. Morgan Kaufmann. R. Lopez de Mantaras, D. Poole (Eds.).
141. El-Zekey M., Godo L. An extension of Gödel logic for reasoning under both vagueness and possibilistic uncertainty 2012, 216-225. Springer, volume 298 of Comm. in Comp, and Inf. Sci. S. Greco, B. Bouchon-Meunier, G. Coletti, M. Fedrizzi, B. Matarazzo, R.R. Yager (Eds.).
142. Fariñas del Cerro L. Resolution modal logic. Logique et Analyse 1985, 110-111:153-172.
143. Flaminio T., Godo L., Marchioni E. On the logical formalization of possibilistic counterparts of states over n-valued Lukasiewicz events. J. Log. Comput. 2011, 21(3):429-446.
144. Flaminio T., Godo L., Marchioni E. Reasoning about uncertainty of fuzzy events: an overview. Understanding Vagueness - Logical, Philosophical, and Linguistic Perspectives 2011, 367-401. College Publications, London, Studies in Logic no. 36. P. Cintula, C.G. Fermüller, L. Godo, P. Hájek (Eds.).
145. Flaminio T., Godo L., Marchioni E. Geometrical aspects of possibility measures on finite domain MV-clans. Soft Comput. 2012, 16(11):1863-1873.
146. Gabbay D. Labelled Deductive Systems 1996, Oxford University Press, Oxford, Volume 1.
147. Gärdenfors P. Knowledge in Flux: Modeling the Dynamics of Epistemic States 1988, The MIT Press, College Publications, 2008. 2nd ed.
148. Gärdenfors P. Belief revision and nonmonotonic logic: Two sides of the same coin? 1990, 768-773. Pitman, London. L. Aiello (Ed.).
149. Godo L., Marchioni E., Pardo P. Extending a temporal defeasible argumentation framework with possibilistic weights 2012, 242-254. Springer, volume 7519 of LNCS. L. Fariñas del Cerro, A. Herzig, J. Mengin (Eds.).
150. Grabisch M., Prade H. The correlation problem in sensor fusion in a possibilistic framework. Int. J. of Intelligent Systems 2001, 16(11):1273-1283.
151. Grabisch M. Temporal scenario modelling and recognition based on possibilistic logic. Artificial Intelligence 2003, 148(1-2):261-289.
152. Grove A. Two modellings for theory change. J. Philos. Logic 1988, 17:157-170.
153. Hájek P. Metamathematics of Fuzzy Logic, volume 4 of Trends in Logic - Studia Logica Library 1998, Kluwer Acad. Publ., Dordrecht.
154. Hájek P., Godo L., Esteva F. Fuzzy logic and probability 1995, 237-244. Aug. 18-20. P. Besnard, S. Hanks (Eds.).
155. Hájek P., Harmancová D., Esteva F., Garcia P., Godo L. On modal logics for qualitative possibility in a fuzzy setting 1994, 278-285. Morgan Kaufmann, San Francisco. R. Lopez de Mantaras, D. Poole (Eds.).
156. Halpern J.Y. Reasoning about Uncertainty 2005, MIT Press, Cambridge, Ma.
157. Herzig A., Fariñas del Cerro L. A modal analysis of possibility theory. Fundamentals of Artificial Intelligence Research (FAIR'91), Smolenice, Sept. 8-13 1991, 11-18. Springer, volume 535 of LNCS. P. Jorrand, J. Kelemen (Eds.).
158. Hunter A. Reasoning with contradictory information using quasi-classical logic. J. Log. Comput. 2000, 10(5):677-703.
159. Jensen F.V. Bayesian Networks and Graphs 2001, Springer Verlag.
160. Kaci S., Benferhat S., Dubois D., Prade H. A principled analysis of merging operations in possibilistic logic 2000, 24-31.
161. Klement E.P., Mesiar R., Pap E. Triangular Norms 2000, Springer.
162. Koehler H., Leck U., Link S., Prade H. Logical foundations of possibilistic keys 2014, 181-195. Springer, LNCS 8761. E. Fermé, J. Leite (Eds.).
163. Koehler H., Link S., Prade H., Zhou X.f. Cardinality constraints for uncertain data 2014.
164. Kraus S., Lehmann D., Magidor M. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 1990, 44:167-207.
165. Lafage C., Lang J., Sabbadin R. A logic of supporters. Information, Uncertainty and Fusion 1999, 381-392. Kluwer Acad. Publ. B. Bouchon-Meunier, R.R. Yager, L.A. Zadeh (Eds.).
166. Lang J., Dubois D., Prade H. A logic of graded possibility and certainty coping with partial inconsistency 1991, 188-196. Morgan Kaufmann. B. D'Ambrosio, P. Smets (Eds.).
167. Lang J. Possibilistic logic as a logical framework for min-max discrete optimisation problems and prioritized constraints 1991, 112-126. Springer, volume 535 of LNCS. P. Jorrand, J. Kelemen (Eds.).
168. Lang J. Possibilistic logic: complexity and algorithms. Algorithms for Uncertainty and Defeasible Reasoning, Vol. 5 of Handbook of Defeasible Reasoning and Uncertainty Management Systems 2001, 179-220. Kluwer Acad. Publ., Dordrecht. D. Gabbay, P. Smets, J. Kohlas, S. Moral (Eds.).
169. Besnard Ph., Cholvy L., Cordier M.O., Dubois D., Fariñas del Cerro L., Froidevaux C., Lévy F., Moinard Y., Prade H., Schwind C., Siegel P. Revision and Updating in Knowledge bases. Int. J. Intelligent Systems 1994, 9(1):1-182. Léa Sombé Group, Also simultaneously published as a book by John Wiley & Sons, New York.
170. Besnard Ph., Cordier M.O., Dubois D., Farinñas del Cerro L., Froidevaux C., Moinard Y., Prade H., Schwind C., Siegel P. Reasoning under incomplete information in Artificial Intelligence: A comparison of formalisms using a single example. Int. J. Intelligent Systems 1990, 5(4):323-472. Léa Sombé Group, Also simultaneously published as a book by John Wiley & Sons, New York.
171. Lehmann D., Magidor M. What does a conditional knowledge base entail?. Artificial Intelligence 1992, 55:1-60.
172. Levesque H.J. All I know: A study in autoepistemic logic. Artificial Intelligence 1990, 42:263-309.
173. Levi I. On potential surprise. Ratio 1966, 8:107-129.
174. Levi I. Gambling with Truth, chapters VIII and IX 1967, Knopf, New York.
175. Levi I. Support and surprise: L. J. Cohen's view of inductive probability. Brit. J. Phil. Sci 1979, 30:279-292.
176. Lewis D.K. Counterfactuals 1973, Basil Blackwell, Oxford.
177. Lewis D.K. Probabilities of conditionals and conditional probabilities. Philosophical Review 1976, 85:297-315.
178. Liau C.-J. Possibilistic residuated implication logics with applications. Int. J. of Uncertainty, Fuzziness and Knowledge-Based Systems 1998, 6(4):365-386.
179. Liau C.-J. On the possibility theory-based semantics for logics of preference. Int. J. Approx. Reasoning 1999, 20(2):173-190.
180. Liau C.-J., Lin B.I-P. Quantitative modal logic and possibilistic reasoning 1992, 43-47. John Wiley and Sons. B. Neumann (Ed.).
181. Liau C.-J., Lin B.I-P. Possibilistic reasoning - A mini-survey and uniform semantics. Artificial Intelligence 1996, 88(1-2):163-193.
182. Liau C.-J., Liu D.-R. A possibilistic decision logic with applications. Fundam. Inform. 2001, 46(3):199-217.
183. Marchioni E. Possibilistic conditioning framed in fuzzy logics. Int. J. Approx. Reasoning 2006, 43(2):133-165.
184. Logic-Based Artificial Intelligence 2000, Kluwer, Dordrecht. J. Minker (Ed.).
185. Nicolas P., Garcia L., Stéphan I., Lefévre C. Possibilistic uncertainty handling for answer set programming. Ann. Math. Artif. Intell. 2006, 47(1-2):139-181.
186. Nieves J.C., Cortés U. Modality argumentation programming 2006, 295-306. Springer, volume 3885 of LNCS. V. Torra, Y. Narukawa, A. Valls, J. Domingo-Ferrer (Eds.).
187. Nieves J.C., Osorio M., Cortés U. Semantics for possibilistic disjunctive programs 2007, 315-320. Springer, volume 4483 of LNCS. C. Baral, G. Brewka, J.S. Schlipf (Eds.).
188. Parsons T. The traditional square of opposition. The Stanford Encyclopedia of Philosophy 1997, Stanford University, spring 2014 edition. E.N. Zalta (Ed.).
189. Pearce D. Equilibrium logic. Annals of Mathematics and Artificial Intelligence 2006, 47:3-41.
190. Pearl J. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference 1988, Morgan Kaufmann Publ.
191. Pearl J. System Z: A natural ordering of defaults with tractable applications to nonmonotonic reasoning 1990, 121-135. Morgan Kaufmann. R. Parikh (Ed.).
192. Pearl J. Causality: Models, Reasoning and Inference 2000, Cambridge University Press, 2009. 2nd edition.
193. Pinkas G. Propositional non-monotonic reasoning and inconsistency in symmetric neural networks 1991, 525-530. Morgan Kaufmann Publ., San Francisco.
194. Pivert O., Prade H. A certainty-based model for uncertain databases. IEEE Trans. on Fuzzy Systems 2014, To appear.
195. Prade H. Handling (un)awareness and related issues in possibilistic logic: A preliminary discussion 2006, 219-225. Clausthal Univ. of Techn. J. Dix, A. Hunter (Eds.).
196. Prade H. Current research trends in possibilistic logic: Multiple agent reasoning, preference representation, and uncertain database. Advances in Data Management 2009, 311-330. Springer. Z.W. Ras, A. Dardzinska (Eds.).
197. Qi G.l., Wang K.w. Conflict-based belief revision operators in possibilistic logic 2012, AAAI Press. J. Hoffmann, B. Selman (Eds.).
198. Qi G.l., Du J.f., Liu W.r., Bell D.A. Merging knowledge bases in possibilistic logic by lexicographic aggregation 2010, 458-465. AUAI Press. P. Grünwald, P. Spirtes (Eds.).
199. Qi G.l., Liu W.r., Bell D.A. A comparison of merging operators in possibilistic logic 2010, 39-50. Springer, volume 6291 of LNCS. Y. Bi, M.-A. Williams (Eds.).
200. Qi G.l., Ji Q., Pan J.Z., Du J.f. Extending description logics with uncertainty reasoning in possibilistic logic. Int. J. Intell. Syst. 2011, 26(4).
201. Qi G.l. A semantic approach for iterated revision in possibilistic logic 2008, 523-528. AAAI Press. D. Fox, C.P. Gomes (Eds.).
202. Rescher N. Plausible Reasoning 1976, Van Gorcum, Amsterdam.
203. Schiex T., Fargier H., Verfaillie G. Valued constraint satisfaction problems: Hard and easy problems 1995, 631-639. Morgan Kaufmann.
204. Schiex Th. Possibilistic constraint satisfaction problems or "how to handle soft constraints" 1992, 268-275. D. Dubois, M.P. Wellman (Eds.).
205. Serrurier M., Prade H. Introducing possibilistic logic in ILP for dealing with exceptions. Artificial Intelligence 2007, 171:939-950.
206. Shackle G.L.S. Expectation in Economics 1949, Cambridge University Press, UK, 1952. 2nd edition.
207. Shackle G.L.S. Decision, Order and Time in Human Affairs 1961, Cambridge University Press, UK. 2nd edition.
208. Shackle G.L.S. Imagination and the Nature of Choice 1979, Edinburgh University Press.
209. Shafer G. A Mathematical Theory of Evidence 1976, Princeton Univ. Press.
210. Shortliffe E.H. Computer-based Medical Consultations MYCIN 1976, Elsevier.
211. Spohn W. Ordinal conditional functions: a dynamic theory of epistemic states. Causation in Decision, Belief Change, and Statistics 1988, volume 2:105-134. Kluwer. W.L. Harper, B. Skyrms (Eds.).
212. Spohn W. The Laws of Belief: Ranking Theory and Its Philosophical Applications 2012, Oxford Univ. Press.
213. Walley P. Statistical Reasoning with Imprecise Probabilities 1991, Chapman and Hall, London.
214. Walley P. Measures of uncertainty in expert systems. Artificial Intelligence 1996, 83:1-58.
215. Classic Works of the Dempster-Shafer Theory of Belief Functions 2008, Springer Verlag, Heidelberg. R.R. Yager, L.P. Liu (Eds.).
216. Yager R.R. An introduction to applications of possibility theory. Human Systems Management 1983, 3:246-269.
217. Zadeh L.A. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems 1978, 1:3-28.
218. Zadeh L.A. Fuzzy sets and information granularity. Advances in Fuzzy Set Theory and Applications 1979, 3-18. North-Holland, Amsterdam. M.M. Gupta, R. Ragade, R.R. Yager (Eds.).
219. Zadeh L.A. A theory of approximate reasoning. Machine intelligence 1979, Vol. 9:149-194. Ellis Horwood. J.E. Hayes, D. Mitchie, L.I. Mikulich (Eds.).
220. Zadeh L.A. Possibility theory and soft data analysis. Mathematical Frontiers of Social and Policy Sciences 1982, 69-129. Westview Press, Boulder, Co. L. Cobb, R. Thrall (Eds.).
221. Zhu J.f., Qi G.l., Suntisrivaraporn B. Tableaux algorithms for expressive possibilistic description logics 2013, 227-232. IEEE Comp. Soc.