Accéder directement au contenu

Didier DUBOIS

115
Documents

Présentation

<a name="OLE_LINK107"></a><a name="OLE_LINK106"></a>Didier Dubois is an Emeritus Research Advisor at IRIT, the Computer Science Department of Paul Sabatier University in Toulouse, France and belongs to the French National Centre for Scientific Resarch (CNRS). He holds a Doctorate in Engineering from ENSAE, Toulouse (1977), a Doctorat d'Etat from Grenoble University (1983) and an Honorary Doctorate from the Faculté Polytechnique de Mons, Belgium (1997) and from Obuda University Budapest (2016). He is the co-author, with Henri Prade, of two books on fuzzy sets and possibility theory, and 15 edited volumes on uncertain reasoning and fuzzy sets. Also with Henri Prade, he coordinated the HANDBOOK of FUZZY SETS series published by Kluwer (7 volumes, 1998-2000, 2 of which he co-edited). It includes the book Fundamentals of Fuzzy Sets, edited again with H. Prade (Kluwer, Boston, 2000). He has contributed about 200 technical journal papers on uncertainty theories and applications. Didier Dubois has been an Advisory Editor of the IEEE Transactions on Fuzzy Systems. He is a member of the Editorial Board of several technical journals, such as the International Journal on Approximate Reasoning, General Systems, and Information Sciences among others. Since January 1, 1999, he has been co-Editor-in -Chief of Fuzzy Sets and Systems. He is a former president of the International Fuzzy Systems Association (1995-1997). <a name="OLE_LINK8"></a><a name="OLE_LINK7"></a>His topics of interest range from Artificial Intelligence to Operations Research and Decision Sciences, with emphasis on the modelling, representation and processing of imprecise and uncertain information in reasoning and problem-solving tasks.

Publications

salem-benferhat

A Framework for Iterated Belief Revision Using Possibilistic Counterparts to Jeffrey's Rule

Salem Benferhat , Didier Dubois , Henri Prade , Mary-Anne Williams
Fundamenta Informaticae, 2010, 99 (2), pp.147-168. ⟨10.3233/FI-2010-243⟩
Article dans une revue hal-03299549v1

A Framework for Iterated Belief Revision Using Possibilistic Counterparts to {J}effrey's Rule

Salem Benferhat , Didier Dubois , Henri Prade , Mary-Anne Williams
Fundamenta Informaticae, 2010, 99 (2), pp.147-168
Article dans une revue hal-00869353v1

Modeling positive and negative information in possibility theory

Salem Benferhat , Didier Dubois , Souhila Kaci , Henri Prade
International Journal of Intelligent Systems, 2008, Special Issue: Bipolar Representations of Information and Preference - Part 2: Reasoning and Learning, 23 (10), pp.1094-1118. ⟨10.1002/int.20308⟩
Article dans une revue hal-00747155v1

Bipolar possibility theory in preference modeling: Representation, fusion and optimal solutions

Salem Benferhat , Didier Dubois , Souhila Kaci , Henri Prade
Information Fusion, 2006, Special Issue: Logic-based Approaches to Information Fusion, 7 (1 (March 2006)), pp.135-150. ⟨10.1016/j.inffus.2005.04.001⟩
Article dans une revue hal-00022664v1

A big-stepped probability approach for discovering default rules

Salem Benferhat , Didier Dubois , Sylvain Lagrue , Henri Prade
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2003, 11 (sppl. 01), pp.1-14. ⟨10.1142/S0218488503002235⟩
Article dans une revue hal-03299557v1

Logique possibiliste et fusion d'informations

Salem Benferhat , Didier Dubois , Souhila Kaci , Henri Prade
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2003, Numéro Spécial Fusion de données numériques et d'informations symboliques, 22 (7-8), pp.1035-1064. ⟨10.3166/tsi.22.1035-1064⟩
Article dans une revue hal-03375246v1

Making revision reversible: an approach based on polynomials

Salem Benferhat , Didier Dubois , Sylvain Lagrue , Odile Papini
Fundamenta Informaticae, 2002, 53 (3-4), pp.251-280
Article dans une revue hal-03299565v1

Making revision reversible: a method based on polynomials

Salem Benferhat , Didier Dubois , Sylvain Lagrue , Odile Papini
Fundamenta Informticae , 2002, 53 (3--4), pp.251--280
Article dans une revue hal-01479597v1

A theorical framework for possibilistic independence in weakly ordered setting

Nahla Ben Amor , Khaled Mellouli , Salem Benferhat , Didier Dubois , Henri Prade
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2002, 10 (2), pp.117-155. ⟨10.1142/S0218488502001387⟩
Article dans une revue hal-03299561v1

A practical approach to revising prioritized knowledge bases

Salem Benferhat , Didier Dubois , Henri Prade , Mary-Anne Williams
Studia Logica, 2002, 70 (1), pp.105-130
Article dans une revue hal-03299562v1

The Possibilistic Handling of Irrelevance in exception-Tolerant Reasoning

Salem Benferhat , Didier Dubois , Henri Prade
Annals of Mathematics and Artificial Intelligence, 2002, 35, pp.29-61. ⟨10.1023/A:1014537925523⟩
Article dans une revue hal-03299566v1

On the transformation between possibilistic logic bases and possibilistic causal networks

Salem Benferhat , Didier Dubois , Laurent Garcia , Henri Prade
International Journal of Approximate Reasoning, 2002, 29 (2), pp.135-173. ⟨10.1016/S0888-613X(01)00061-5⟩
Article dans une revue hal-03299567v1

Possibilistic merging and distance-based fusion of propositional information

Salem Benferhat , Didier Dubois , Souhila Kaci , Henri Prade
Annals of Mathematics and Artificial Intelligence, 2002, 34, pp.217-252. ⟨10.1023/A:1014446411602⟩
Article dans une revue hal-03299564v1

Towards a possibilistic logic handling of preferences

Salem Benferhat , Didier Dubois , Henri Prade
Applied Intelligence, 2001, 14, pp.303-317. ⟨10.1023/A:1011298804831⟩
Article dans une revue hal-03299568v1

Exception-tolerant reasoning and decision under uncertainty using qualitative possibility theory

Salem Benferhat , Didier Dubois , Hélène Fargier , Henri Prade , Régis Sabbadin
KI - Künstliche Intelligenz, 2001, 15 (3), pp.9-15
Article dans une revue hal-03299686v1
Image document

Fusion: general concepts and characteristics

Alain Appriou , André Ayoun , Salem Benferhat , Philippe Besnard , Isabelle Bloch
International Journal of Intelligent Systems, 2001, 16 (10), pp.1107-1134
Article dans une revue hal-03299687v1

Possibilistic and Standard Probabilistic Semantics of Conditional Knowledge Bases

Salem Benferhat , Didier Dubois , Henri Prade
Journal of Logic and Computation, 1999, 9 (6), pp.873-895. ⟨10.1093/logcom/9.6.873⟩
Article dans une revue hal-03299690v1

Practical Handling of Exception-Teinted Rules and Independence Information in Possibilistic Logic

Salem Benferhat , Didier Dubois , Henri Prade
Applied Intelligence, 1998, 9, pp.101-127. ⟨10.1023/A:1008259801924⟩
Article dans une revue hal-03299691v1

Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study − Part 1: The flat case

Salem Benferhat , Didier Dubois , Henri Prade
Studia Logica, 1997, 58 (1), pp.17--45. ⟨10.1023/A:1004987830832⟩
Article dans une revue hal-04034565v1

Nonmonotonic reasoning , conditonal objects and possibility theory

Salem Benferhat , Didier Dubois , Henri Prade
Artificial Intelligence, 1997, 92 (1-2), pp.259-276. ⟨10.1016/S0004-3702(97)00012-X⟩
Article dans une revue hal-03299692v1

Connaissances conditionnelles et exceptions : Du raisonnement non-monotone à la théorie des possibilités

Salem Benferhat , Didier Dubois , Henri Prade
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 1995, 9 (4), pp.475--521
Article dans une revue hal-04049241v1
Image document

Provenance Calculus and Possibilistic Logic: A Parallel and a Discussion

Salem Benferhat , Didier Dubois , Henri Prade
17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2023), CRIL, Université d’Artois - CNRS, Sep 2023, Arras, France. pp.427-441, ⟨10.1007/978-3-031-45608-4_32⟩
Communication dans un congrès hal-04414547v1

Interventions in Possibilistic Logic

Salem Benferhat , Didier Dubois , Henri Prade
Third International Conference on Scalable Uncertainty Management (SUM 2009), 2009, Washington, United States. pp.40-54, ⟨10.1007/978-3-642-04388-8_5⟩
Communication dans un congrès hal-00867738v1

A General Framework for Revising Belief Bases Using Qualitative Jeffrey's Rule

Salem Benferhat , Didier Dubois , Henri Prade , Mary-Anne Williams
18th International Symposium on Methodologies for Intelligent Systems (ISMIS'09), 2009, Prague, Czech Republic. pp.612-621
Communication dans un congrès hal-00867736v1

A general framework for revising belief based using qualitative Jeffrey's rule

Salem Benferhat , Didier Dubois , Henri Prade , Mary-Anne Williams
18th International Symposium on Methodologies for Intelligent Systems (ISMIS 2009), Sep 2009, Prague, Czech Republic. pp.612-621, ⟨10.1007/978-3-642-04125-9_64⟩
Communication dans un congrès hal-03353606v1

A Comparative Study of Six Formal Models of Causal Ascription

Salem Benferhat , Jean-François Bonnefon , Philippe Chassy , Rui da Silva Neves , Didier Dubois
2nd International Conference on Scalable Uncertainty Management (SUM 2008), Oct 2008, Naples, Italy. pp.47-62, ⟨10.1007/978-3-540-87993-0_6⟩
Communication dans un congrès hal-00710722v1

Logique possibiliste avec calcul symbolique sur des poids partiellement contraints

Salem Benferhat , Didier Dubois , Henri Prade
Rencontres Francophones sur la Logique Floue et ses Applications (LFA 2004), Nov 2004, Nantes, France. pp.67-74
Communication dans un congrès hal-03370921v1

Possibilistic logic representation of preferences : relating prioritized goals and satisfaction levels expressions

Salem Benferhat , Didier Dubois , Souhila Kaci , Henri Prade
15th European Conference on Artificial Intelligence (ECAI 2002), European Coordination Committee on Artificial Intelligence, 2002, Lyon, France. pp.685-689
Communication dans un congrès hal-03299807v1

Bipolar possibilistic representations

Salem Benferhat , Didier Dubois , Souhila Kaci , Henri Prade
18th Conference on Uncertainty in Artificial Intelligence (UAI 2002), Aug 2002, Edmonton, Canada. pp.45-52
Communication dans un congrès hal-03299809v1

A big-stepped probability approach for discovering default rules

Salem Benferhat , Didier Dubois , Sylvain Lagrue , Henri Prade
9ème Conférence internationale sur le Traitement d'Information et la Gestion d'Incertitudes dans les Systèmes à Base de Connaissance (IPMU 2002), Jul 2002, Annecy, France. pp.283-289
Communication dans un congrès hal-03377605v1

Représentation bipolaire et modification de préférences en logique possibiliste

Salem Benferhat , Didier Dubois , Souhila Kaci , Henri Prade
13ème Congrès Francophone de Reconnaissance des Formes et d'Intelligence Artificielle (RFIA 2002), AFRIF-AFIA, 2002, Angers, France. pp.955-964
Communication dans un congrès hal-03300183v1

Bipolar representation and fusion of preferences in the possibilistic logic framework

Salem Benferhat , Didier Dubois , Souhila Kaci , Henri Prade
8th International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), Apr 2002, Toulouse, France. pp.421-432
Communication dans un congrès hal-03299806v1

Bridging logical, comparative and graphical possibilistic representation frameworks

Salem Benferhat , Didier Dubois , Souhila Kaci , Henri Prade
6th European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU 2001), Sep 2001, Toulouse, France. pp.422-431, ⟨10.1007/3-540-44652-4_37⟩
Communication dans un congrès hal-03394644v1

Modification possibiliste de connaissances et de préférences

Salem Benferhat , Didier Dubois , Souhila Kaci , Henri Prade
Secondes Journées Nationales sur les Modèles de Raisonnement (JNMR 2001), May 2001, Arras, France
Communication dans un congrès hal-03385605v1

Graphical readings of possibilisitc logic bases

Salem Benferhat , Didier Dubois , Souhila Kaci , Henri Prade
17th Conference on Uncertainty in Artificial Intelligence (UAI 2001), Association for Uncertainty in Artificial Intelligence, Aug 2001, Seattle, United States. pp.24-31
Communication dans un congrès hal-03385619v1

Graphical readings of possibilistic logic bases

Salem Benferhat , Didier Dubois , Souhila Kaci , Henri Prade
17th Conference Uncertainty in Artificial Intelligence (UAI 2001), Association for Uncertainty in Artificial Intelligence, Aug 2001, Seattle, United States. pp.24-31
Communication dans un congrès hal-03299815v1

Bridging logical, comparative and graphical possibilistic representation framaworks

Salem Benferhat , Didier Dubois , Souhila Kaci , Henri Prade
6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2001), 2001, Toulouse, France. pp.422-431, ⟨10.1007/3-540-44652-4_37⟩
Communication dans un congrès hal-03299811v1

Towards learning default rules by identifying big-stepped probabilities

Salem Benferhat , Didier Dubois , Sylvain Lagrue , Henri Prade
Joint 9th IFSA Congress and 20th NAFIPS International Conference (IFSA 2001), Jul 2001, Vancouver, Canada. pp.1850-1855, ⟨10.1109/NAFIPS.2001.943834⟩
Communication dans un congrès hal-03299813v1

Codage des opérateurs de fusion classiques en logique possibiliste

Salem Benferhat , Didier Dubois , Souhila Kaci , Henri Prade
Workshop sur l'agrégation et la fusion de données 2000, Apr 2000, Douz, Tunisie
Communication dans un congrès hal-03300199v1

Codage de la fusion classique d'informations en logique possibiliste

Salem Benferhat , Didier Dubois , Souhila Kaci , Henri Prade
Rencontres francophones sur la logique floue et ses applications (LFA 2000), Oct 2000, La Rochelle, France. pp.131-138
Communication dans un congrès hal-03300188v1

A principled analysis of merging operations in possibilistic logic

Salem Benferhat , Didier Dubois , Souhila Kaci , Henri Prade
Sixteenth Conference on Uncertainty in Artificial Intelligence (UAI 2000), Association for Uncertainty in AI (AUAI), Jun 2000, Stanford, United States. pp.24-31
Communication dans un congrès hal-03403397v1
Image document

Independence in Qualitative Uncertainty Frameworks

Nahla Benamor , Salem Benferhat , Didier Dubois , Hector Geffner , Henri Prade
7th International Conference on Principles of Knowledge Representation and Reasoning (KR 2000), Apr 2000, Breckenridge, Colorado, United States. pp.235-246
Communication dans un congrès hal-03299822v1

Vers l'apprentissage de règles tolérant les exceptions avec des probabilités à grandes marches

Salem Benferhat , Didier Dubois , Sylvain Lagrue , Henri Prade
Rencontres francophones sur la logique floue et ses applications (LFA 2000), 2000, La Rochelle, France. pp.317-324
Communication dans un congrès hal-03300187v1

Encoding classical fusion in ordered knowledge bases framework

Salem Benferhat , Didier Dubois , Souhila Kaci , Henri Prade
8th International workshop on Non-Monotonic Reasoning: Uncertainty frameworks in NMR (NMR 2000), Apr 2000, Breckenridge, CO, United States
Communication dans un congrès hal-03405303v1

Independence relations in the possibilistic setting and their use (Extended abstract )

Salem Benferhat , Didier Dubois , Henri Prade
Workshop on Partial Knowledge and Uncertainty: Independence, Conditioning, Inference 2000, May 2000, Rome, Italy
Communication dans un congrès hal-03403390v1

Une approche qualitative de l'indépendance pour le raisonnement de l'incertain

Nahla Benamor , Salem Benferhat , Didier Dubois , Hector Geffner , Henri Prade
12ème Congrés francophone Reconnaissance de forme et intélligence artificielle (RFIA 2000), AFRIF : Association Française pour la Reconnaissance et l'Interprétation des Formes; AFIA : Association française pour l'intelligence artificielle., Feb 2000, Paris, France. pp.505-514
Communication dans un congrès hal-03300186v1
Image document

Encoding Information Fusion in Possibilistic Logic : A general Framework for Rational Syntactic Merging

Salem Benferhat , Didier Dubois , Souhila Kaci , Henri Prade
14th European Conference on Artificial Intelligence (ECAI 2000), Aug 2000, Berlin, Germany. pp.3-7
Communication dans un congrès hal-03299817v1

A postulate-based analysis of merging operations in possibilistic logic

Salem Benferhat , Didier Dubois , Souhila Kaci , Henri Prade
Sixteenth Conference on Uncertainty in Artificial Intelligence (UAI 2000), Association for Uncertainty in AI (AUAI), Jun 2000, Stanford, CA, United States. pp.24-31
Communication dans un congrès hal-03299819v1
Image document

Kalman-like filtering and updating in a possibilistic setting

Salem Benferhat , Didier Dubois , Henri Prade
14th European Conference on Artificial Intelligence (ECAI 2000), Aug 2000, Berlin, Germany. pp.8-12
Communication dans un congrès hal-03299818v1

Towards fuzzy default reasoning

Salem Benferhat , Didier Dubois , Henri Prade
18th International Conference of the North American Fussy Information Processing Society (NAFIPS1999), Jun 1999, New York, United States. ⟨10.1109/NAFIPS.1999.781645⟩
Communication dans un congrès hal-03299826v1

A sequentiel reversible belief revision method based on polynomials

Salem Benferhat , Didier Dubois , Odile Papini
16th AAAI Conference on Artificial Intelligence (AAAI 1999), AAAI: Association for the Advancement of Artificial Intelligence, Jul 1999, Orlando, Floride, United States. pp.733--738
Communication dans un congrès hal-04219927v1

Possibilistic logic bases and possibilistic graphs

Salem Benferhat , Didier Dubois , Laurent Garcia , Henri Prade
15th Conference on Uncertainty in Artificial Intelligence (UAI 1999), 1999, Stockholm, Sweden. pp.57-64
Communication dans un congrès hal-03299825v1

A Practical Approach to Fusing Prioritized Knowledge Bases

Salem Benferhat , Didier Dubois , Henri Prade , Mary-Anne Williams
9th Portuguese Conference on Artificial Intelligence (EPIA 1999), Portuguese Association for Arti cial Intelligence (APPIA), Sep 1999, Evora, Portugal. pp.222-236, ⟨10.1007/3-540-48159-1_16⟩
Communication dans un congrès hal-03299824v1
Image document

Towards a possibilistic logic handling of preferences

Salem Benferhat , Didier Dubois , Henri Prade
16th International Joint Conference on Artificial Intelligence (IJCAI 1999), International Joint Conferences on Artificial Intelligence Organization, Jul 1999, Stockholm, Sweden. pp.1370--1375
Communication dans un congrès hal-04019617v1

A sequential reversible belief revision methods based on polynomials

Salem Benferhat , Didier Dubois , Odile Papini
16th National conference in Artificial Intelligence (AAAI 1999), AAAI: Association for the Advancement of Artificial Intelligence, Jul 1999, Orlando, Florida, United States. pp.733-738
Communication dans un congrès hal-03299823v1

A practical approach to revising prioritized knowledge-bases

Salem Benferhat , Didier Dubois , Henri Prade , Mary-Anne Williams
3rd International Conference on Knowledge-Based Intelligent Information Engineering Systems (KES 1999), Aug 1999, Adelaïde, SA, Australia. pp.170--174, ⟨10.1109/KES.1999.820146⟩
Communication dans un congrès hal-04019620v1
Image document

Towards a possibilistic handling of preferences

Salem Benferhat , Didier Dubois , Henri Prade
16th International Joint Conference on Artificial Intelligence (IJCAI 1999), International Joint Conferences on Artificial Intelligence Organization, 1999, Stockholm, Sweden. pp.1370-1375
Communication dans un congrès hal-03299827v1

Réseaux possibilistes orientés et logique possibiliste

Salem Benferhat , L Garcia , Didier Dubois , Henri Prade
11ème congrès Reconnaissance des Formes et Intelligence Artificielle (RFIA 1998), AFCET : Association française pour la cybernétique économique et technique; AFIA : Association française pour l'intelligence artificielle, Auteur, Jan 1998, Clermont-Ferrand, France. pp.235-244
Communication dans un congrès hal-03300190v1

Reasoning under inconsistency based on implicitly-specified partial qualitative probability relations: a unified framework

Salem Benferhat , Didier Dubois , Jérôme Lang , Henri Prade , Alessandro Saffiotti
15th National Conference on Artificial Intelligence / 10th Innovative Applications of Artificial Intelligence Conference (AAAI / IAAI 1998), AAAI; IAAI, Jul 1998, Madison, Wisconsin, United States. pp.121--126
Communication dans un congrès hal-04026177v1

Directed possibilistic graphs and possibilistic logic

Salem Benferhat , Didier Dubois , Laurent Garcia , Henri Prade
7th International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 1998) = Septième conférence internationale IPMU Traitement d'information et gestion d'incertitudes dans les systèmes à base de connaissances, Jul 1998, Paris, France. pp.1470-1471
Communication dans un congrès hal-03299832v1

Reasoning under inconsistency based on inplicity-specified partial qualitative probability relations : a unified framework

Salem Benferhat , Didier Dubois , Jérôme Lang , Henri Prade , Alessandro Saffiotti
Fifteenth National Conference on Artificial Intelligence (AAAI 1998), 1998, Madison, Wisconsin, United States. pp.121-126
Communication dans un congrès hal-03299830v1

A general approach for inconsistency handling and merging information in prioritized knowledge bases

Salem Benferhat , Didier Dubois , Henri Prade , Alessandro Saffiotti , Jérôme Lang
6th Int Conf. Principles of Knowledge Representation and Reasoning (KR 1998), 1998, San Francisco CA, United States. pp.466-477
Communication dans un congrès hal-03299829v1

Lois, structures et dépendances (groupe LSD)

Salem Benferhat , Philippe Besnard , Laurence Cholvy , Robert Demolombe , Didier Dubois
6èmes journées nationales du PRC-GDR Intelligence Artificielle (PRC-GDR IA 1997), Mar 1997, Grenoble, France. pp.145-160
Communication dans un congrès hal-03300192v1

Syntactic combination of uncertain information : Possibilistic approach

Salem Benferhat , Didier Dubois , Henri Prade
1st International Joint Conference on Qualitative and quantitative practical reasoning (ECSQARU/FAPR 1997), Jun 1997, Bad Honnef, Germany. pp.30-42, ⟨10.1007/BFb0035610⟩
Communication dans un congrès hal-03299834v1

Possibilistic semantics of conditional knowledge

Salem Benferhat , Didier Dubois , Henri Prade
14th National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference (AAAI 1997), AAAI: Association for the Advancement of Artificial Intelligence, Jul 1997, Providence, Rhode Island, United States. pp.70--75
Communication dans un congrès hal-04038090v1

Reasoning in inconsistent stratified knowledge bases

Salem Benferhat , Didier Dubois , Henri Prade
26th IEEE International Symposium on Multiple-Valued Logic (ISMVL 1996), IEEE, 1996, Santiago de Compostela, Spain. pp.184-189, ⟨10.1109/ISMVL.1996.508357⟩
Communication dans un congrès hal-03299839v1

Inconsistency-tolerant inference in prioritized knowledge bases

Salem Benferhat , Didier Dubois , Henri Prade
International Seminar on Fuzzy Sets, Logics, and Artificial Intelligence (LINZ 1996), Feb 1996, Linz, Austria
Communication dans un congrès hal-04047399v1

Coping with the limitations of rational inference in the framework of possibility theory

Salem Benferhat , Didier Dubois , Henri Prade
12th Conference on Uncertainty in Artificial Intelligence (UAI 1996), Aug 1996, Portland, United States. pp.90--97, ⟨10.48550/arXiv.1302.3559⟩
Communication dans un congrès hal-04047388v1

Gestion d'informations contradictoires dans les systèmes à base de connaissances

Salem Benferhat , Didier Dubois , Henri Prade
4th Magrebian Conference on Software Engineering and Artificial Intelligence (MCSEAI 1996), Apr 1996, Alger, Zeralda, Algérie. pp.235-246
Communication dans un congrès hal-03300193v1

From linear possibility distributions to a non-infinitesimal probabilistic semantics of conditional knowledge

Salem Benferhat , Didier Dubois , Henri Prade
International Multidiscoplinary conference on Intelligent Systems: A Semiotic Perspective (MCIS 1996), Oct 1996, Gaithersburg, Maryland, United States. pp.128-133
Communication dans un congrès hal-03299835v1

Coping with the limitations of rational inference in the framework of possibility theory

Salem Benferhat , Didier Dubois , Henri Prade
12th Conference on Uncertainty in Artificial Intelligence (UAI 1996), Aug 1996, Portland, Oregon, United States. pp.90-97
Communication dans un congrès hal-03299836v1

Beyond counter-examples to nonmonotonic formalisms : A possibility-theoretic analysis

Salem Benferhat , Didier Dubois , Henri Prade
12th European Conference on Artificial Intelligence (ECAI 1996), Aug 1996, Budapest, Hungary. pp.652-656
Communication dans un congrès hal-03299841v1

Explaining away in a possibilistic setting

Salem Benferhat , Didier Cayrac , Didier Dubois , Henri Prade
6th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 1996), Jul 1996, Granada, Spain. pp.929-934
Communication dans un congrès hal-03299837v1

Possibilistic independence and plausible reasoning

Salem Benferhat , Didier Dubois , Henri Prade
1st Conference Foundations and applications of possibility theory (FAPT 1995), Dec 1995, Ghent, Belgium. pp.47-63
Communication dans un congrès hal-03299842v1

A conditional approach to possibilistic abduction

Salem Benferhat , Didier Dubois , Henri Prade
3rd European Congress on Intelligent Techniques and Soft Computing (EUFIT 1995), Aug 1995, Aachen, Germany. pp.64-68
Communication dans un congrès hal-03299845v1
Image document

A local approach to reasoning under inconsistency in stratified knowledge bases

Salem Benferhat , Didier Dubois , Henri Prade
3rd European conference Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ESCQARU 1995), Jul 1995, Fribourg, Switzerland. pp.36-43, ⟨10.1007/3-540-60112-0_5⟩
Communication dans un congrès hal-03299846v1

How to infer from inconsistent beliefs without revising ?

Salem Benferhat , Didier Dubois , Henri Prade
14th international joint conference on Artificial intelligence (IJCAI 1995), 1995, Montreal, Canada. pp.1449-1455
Communication dans un congrès hal-03299844v1

Possibilistic semantics of nonmonotonic consequence relationship

Salem Benferhat , Didier Dubois , Henri Prade
3 rd European Congress on Intelligent Techniques and Soft Computing (EUFIT 1995), Aug 1995, Aachen, Germany. pp.55-59
Communication dans un congrès hal-03299843v1

Inférence argumentée dans les bases de connaissances inconsistantes et stratifiées

Salem Benferhat , Didier Dubois , Henri Prade
9ème Congrès Reconnaissance des Formes et Intelligence Artificielle (RFIA 1994), Association pour la recherche cognitive France; Institut national de recherche en informatique et en automatique France; Association française des sciences et technologies de l'information et des systèmes; Association française pour l'intelligence artificielle, Jan 1994, Paris, France. pp.495--506
Communication dans un congrès hal-04053437v1

Représentation des connaissances conditionnelles

Salem Benferhat , Didier Dubois , Henri Prade
3rd Maghrebian Conference on Software Engineering and Artificial Intelligence (MCSEAI 1994), Apr 1994, Rabat, Maroc. pp.79-88
Communication dans un congrès hal-03300195v1

Inférence argumentée dans des bases de connaissances incertaines et inconsistantes

Salem Benferhat , Didier Dubois , Henri Prade
9ème congrès Reconnaissance des Formes et Intelligence Artificielle (RFIA 1994), AFCET : Association française pour la cybernétique économique et technique, Jan 1994, Paris, France. pp.495-506
Communication dans un congrès hal-03300197v1

Expressing independence in a possibilistic framework and its application to default reasoning

Salem Benferhat , Didier Dubois , Henri Prade
11th European Conference on Artificial Intelligence (ECAI 1994), Aug 1994, Amsterdam, Netherlands. pp.150-154
Communication dans un congrès hal-03299848v1
Image document

Inconsistency management and prioritized syntax-based entailment

Salem Benferhat , Claudette Cayrol , Didier Dubois , Jérôme Lang , Henri Prade
13th International Joint Conference on Artificial Intelligence (IJCAI 1993), The International Joint Conferences on Artificial Intelligence, Inc., Aug 1993, Chambéry, France. pp.640--645
Communication dans un congrès hal-04057362v1

Possibilistic logic: From nonmonotonicity to logic programming

Salem Benferhat , Didier Dubois , Henri Prade
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU 1993), Nov 1993, Granada, Spain. pp.17--24, ⟨10.1007/BFb0028177⟩
Communication dans un congrès hal-04057366v1
Image document

Argumentative inference in uncertain and inconsistent knowledge base

Salem Benferhat , Didier Dubois , Henri Prade
9th Conference on Uncertainty in Artificial Intelligence (UAI 1993), Jul 1993, Washington, DC, United States. pp.411--419, ⟨10.48550/arXiv.1303.1503⟩
Communication dans un congrès hal-04057363v1
Image document

Inconsistency management and prioritized syntax-based entailment

Salem Benferhat , Claudette Cayrol , Didier Dubois , Jérôme Lang , Henri Prade
13th international joint conference on Artifical intelligence (IJCAI 1993), Aug 1993, Chambéry, France. pp.640-645
Communication dans un congrès hal-04049065v1

Representing default rules in possibilistic logic

Salem Benferhat , Didier Dubois , Henri Prade
3rd International Conference on Principles of Knowledge Representation and Reasoning (KR 1992), Oct 1992, Cambridge, MA, United States. pp.673--684
Communication dans un congrès hal-04069105v1

Représentations de l'incertitude en intelligence artificielle

Salem Benferhat , Thierry Denoeux , Didier Dubois , Henri Prade
Marquis, Pierre; Papini, Odile; Prade, Henri. Panorama de l'Intelligence Artificielle, 1 : Représentation des connaissances et formalisation des raisonnements (Chapitre 3), Cépaduès Editions, pp.65--121, 2014, 978-2364930414
Chapitre d'ouvrage hal-03252264v1

Possibilistic logic: A theoretical framework for multiple source information fusion

Souhila Kaci , Salem Benferhat , Didier Dubois , Henri Prade
Leon Reznik; Vladik Kreinovich. Soft Computing in Measurement and Information Acquisition, 127, Springer-Verlag, pp.68-89, 2003, Studies in Fuzziness and Soft Computing book series (STUDFUZZ), 978-3-540-36216-6. ⟨10.1007/978-3-540-36216-6_6⟩
Chapitre d'ouvrage hal-03373363v1

Decision, Non-monotonicreasoning, possibilistic logic: An introductory survey of recent results

Salem Benferhat , Didier Dubois , Hélène Fargier , Henri Prade , Régis Sabbadin
Jack Minker. Logic-Based Artificial Intelligence, 597 (chapter 15), Springer, pp.333-358, 2001, The Springer International Series in Engineering and Computer Science book series (SECS), 978-1-4613-5618-9. ⟨10.1007/978-1-4615-1567-8_15⟩
Chapitre d'ouvrage hal-03300215v1

A computational model for belief change and fusing ordered belief bases

Salem Benferhat , Didier Dubois , Henri Prade
H.Rott; M.Williams. Frontiers of Belief Revision, 22, Kluwer Academic, pp.109-134, 2001, Applied Logic Series book series (APLS), 978-90-481-5720-4. ⟨10.1007/978-94-015-9817-0_5⟩
Chapitre d'ouvrage hal-03300214v1

An overview of possibilistic logic and its application to nonmonotonic reasoning and data fusion

Salem Benferhat , Didier Dubois , Henri Prade
Giacomo Della Riccia; Rudolf Kruse; Hanz-J. Lenz. Computational Intelligence in Data Mining, 408, Springer, pp.69-93, 2000, International Centre for Mechanical Sciences book series (CISM), 978-3-211-83326-1. ⟨10.1007/978-3-7091-2588-5_4⟩
Chapitre d'ouvrage hal-03300217v1

Fusion de Connaissances ou de Préférences en Intelligence Artificielle

Salem Benferhat , Didier Dubois , Henri Prade
Henri Prade; Robert Jeansoulin; C Garbay. Le temps, l'espace et l'évolutif en sciences, Tome 2, Cepadues éditions, Toulouse, pp.243-257, 2000, 978-2-85428-535-2
Chapitre d'ouvrage hal-03300216v1

Decision, nonmonotonic reasoning and possibilistic logic : an introductory survey of recent results

Salem Benferhat , Didier Dubois , Hélène Fargier , Henri Prade , Régis Sabbadin
Logic-based artificial intelligence, 597, Springer; Kluwer Academic, pp.333-358, 2000, The Springer International Series in Engineering and Computer Science book series (SECS), 978-1-4613-5618-9. ⟨10.1007/978-1-4615-1567-8_15⟩
Chapitre d'ouvrage hal-02840347v1

An overview of inconsistency-tolerant inferences in prioritized knowledge bases

Salem Benferhat , Didier Dubois , Henri Prade
Didier Dubois; Henri Prade; Erich Peter Klement. Fuzzy Sets, Logic and Reasoning about Knowledge, 15, Springer Netherlands, pp.395--417, 1999, Applied Logic Series book series (APLS), 978-90-481-5324-4. ⟨10.1007/978-94-017-1652-9_25⟩
Chapitre d'ouvrage hal-03299689v1

Some syntactic approaches to the handling of inconsistent knowledge bases : A comparative study. Part 2 : the prioritized case

Salem Benferhat , Didier Dubois , Henri Prade
Ewa Orlowska. Logic at work: Essays Dedicated to the Memory of Helena Rasiowa ; ISBN: 978-3-7908-1864-2 ; ISSN: 1434-9922, 24, Physica-Verlag, Heidelberg, pp.473-511, 1999, Studies in Fuzziness and Soft Computing
Chapitre d'ouvrage hal-03300219v1

From semantic to syntactic approaches to Information combination in possibilistic logic

Salem Benferhat , Didier Dubois , Henri Prade
Bernadette Bouchon-Meunier. Aggregation and Fusion of Imperfect Information, 12, Physica, Heidelberg, pp.141-151, 1998, Studies in Fuzziness and Soft Computing book series (STUDFUZZ), 978-3-7908-1889-5. ⟨10.1007/978-3-7908-1889-5_9⟩
Chapitre d'ouvrage hal-03300223v1

Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study Part 2: The prioritized case

Salem Benferhat , Didier Dubois , Henri Prade
Orlowska, Ewa. Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, 24 (Chapter 26), Physica-Verlag, pp.473--511, 1998, Book series: Studies in Fuzziness and Soft Computing (STUDFUZZ), 978-3790811643
Chapitre d'ouvrage hal-04028799v1
Image document

Hypothetical reasoning in possibilistic logic: basic notions and implementation issues

Salem Benferhat , Didier Dubois , Jérôme Lang , Henri Prade
Wang, P.Z.; Loe, K.F. Between Mind and Computer, Fuzzy Science and Engineering, 1, World Scientific, pp.1--29, 1994, Advances in Fuzzy Systems - Applications and Theory, ⟨10.1142/9789814503679_0001⟩
Chapitre d'ouvrage hal-04053436v1

Représentation bipolaire de l'information

Salem Benferhat , Didier Dubois , Souhila Kaci , Henri Prade , Philippe Smets
[Rapport de recherche] IRIT : Institut de Recherche en Informatique de Toulouse. 2002
Rapport hal-03378850v1

Approches qualitatives du raisonnement sous incertitude : développements formels et validations expérimentales.(Partie 2 : Raisonnement plausible tolérant les exceptions)

Salem Benferhat , Jean-François Bonnefon , Rui da Silva Neves , Didier Dubois , Henri Prade
[Rapport de recherche] IRIT : Institut de Recherche en Informatique de Toulouse. 2000
Rapport hal-03403396v1

Approches qualitatives du raisonnement sous incertitude : développements formels et validations expérimentales (Partie 1 : Théories des Possibilités)

Salem Benferhat , Rui da Silva Neves , Didier Dubois , Henri Prade , Eric Raufaste
[Rapport de recherche] IRIT : Institut de Recherche en Informatique de Toulouse. 2000
Rapport hal-03403395v1

Une approche qualitative de l'indépendance pour le raisonnement dans l'incertain

Salem Benferhat , Didier Dubois , Henri Prade , Nahla Ben Amor , Hector Geffner
[Rapport de recherche] IRIT : Institut de Recherche en Informatique de Toulouse. 1999
Rapport hal-04018207v1

Nouveaux modes de révision et de mise à jour dans des contextes dynamiques

Salem Benferhat , Didier Dubois , Henri Prade , Odile Papini
[Research Report] IRIT : Institut de Recherche en Informatique de Toulouse. 1999
Rapport hal-04018225v1

Réseaux possibilistes orientés et logique possibiliste

Salem Benferhat , Didier Dubois , Laurent Garcia , Henri Prade
[Rapport de recherche] IRIT : Institut de Recherche en Informatique de Toulouse. 1999
Rapport hal-04018211v1

Fusion et révision de bases de connaissances avec des priorités

Salem Benferhat , Didier Dubois , Henri Prade , Mary-Anne Williams
[Rapport de recherche] IRIT : Institut de Recherche en Informatique de Toulouse. 1999
Rapport hal-04018224v1

Une approche générale du raisonnement en présence d'incohérence dans des bases de connaissance ordonnées

Salem Benferhat , Didier Dubois , Jérôme Lang , Henri Prade , Alessandro Saffiotti
[Research Report] IRIT : Institut de Recherche en Informatique de Toulouse. 1998
Rapport hal-04028810v1

Réparation et sémantique probabiliste standard des bases de connaissances conditionnelles

Salem Benferhat , Didier Dubois , Henri Prade
[Research Report] IRIT : Institut de Recherche en Informatique de Toulouse. 1998
Rapport hal-04028795v1

Inférence préférentielle et exceptions: sémantique probabiliste et indépendance possibiliste

Salem Benferhat , Didier Dubois , Luis Fariñas del Cerro , Andreas Herzig , Henri Prade
[Research Report] IRIT : Institut de Recherche en Informatique de Toulouse. 1997
Rapport hal-04038105v1

Vers l'extension de la logique possibiliste : constantes floues, predicats flous et représentations par réseau

Salem Benferhat , Didier Dubois , Laurent Garcia , Henri Prade , Sandra Sandri
[Research Report] IRIT : Institut de Recherche en Informatique de Toulouse. 1997
Rapport hal-04039803v1

Révision, Focalisation et fusion d'informations

Didier Dubois , Henri Prade , Ronald Yager , Salem Benferhat
[Research Report] IRIT : Institut de Recherche en Informatique de Toulouse. 1997
Rapport hal-04039799v1

Approche possibiliste du raisonnement non-monotone : nouveaux résultats

Salem Benferhat , Didier Dubois , Henri Prade
[Research Report] IRIT : Institut de Recherche en Informatique de Toulouse. 1996
Rapport hal-04049235v1

Des distributions de possibilités linéaires à la sémantique probabiliste non-infinitésimale des connaissances conditionnelles

Salem Benferhat , Didier Dubois , Henri Prade
[Research Report] IRIT - Institut de Recherche en Informatique de Toulouse. 1996
Rapport hal-04049229v1

Applications de la théorie des possibilités aux raisonnements de sens commun

Salem Benferhat , Didier Dubois , Henri Prade
[Rapport de recherche] IRIT : Institut de Recherche en Informatique de Toulouse. 1995
Rapport hal-04053433v1

Inférences non-monotones : Des objets conditionnels à la logique possibiliste et au-delà

Salem Benferhat , Claudette Cayrol , Didier Dubois , Jérôme Lang , Henri Prade
[Rapport de recherche] IRIT : Institut de Recherche en Informatique de Toulouse. 1993
Rapport hal-04069104v1