Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Salem Benferhat

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Numéros spéciaux de revues / Special issues of journal

  • Salem Benferhat, Philippe Besnard. Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Dans : Journal of Applied Non-Classical Logics, Hermes, Vol. 12, 2002.
    BibTeX

  • Salem Benferhat, Henri Prade. Uncertainty Frameworks in Nonmonotonic Reasoning. Dans : Annals of Mathematics and Artificial Intelligence, Kluwer Academic Publishers, Vol. 34, 2002.
    BibTeX

Actes de conférences et de workshops / Conference proceedings

Articles de revues internationales / International journal papers

Articles de revues nationales / National journal papers

Contributions à des ouvrages de synthèse / Book chapters
  • Salem Benferhat, Thierry Denoeux, Didier Dubois, Henri Prade. Représentations de l'incertitude en intelligence artificielle. Dans : Panorama de l'Intelligence artificielle / Artificial Intelligence. Pierre Marquis, Odile Papini, Henri Prade (Eds.), Cépaduès Editions, 3, p. 65-121, Vol. 1, 2014.
    BibTeX

  • Souhila Kaci, Salem Benferhat, Didier Dubois, Henri Prade. Possibilistic logic: A theoretical framework for multiple source information fusion. Dans : Soft Computing in Measurement and Information Acquisition. L. Reznik, V. Kreinovich (Eds.), Springer-Verlag, p. 68-89, Vol. 127, 2003.
    Résumé
    BibTeX

  • Nahla Ben Amor, Salem Benferhat, Khaled Mellouli. Qualitative possibilistic independence based on plausibility relations. Dans : Technologies for Constructing Intelligent Systems 2. Bernadette Bouchon-Meunier, Julio Gutiérrez-Rios, Luis Magdalena, Ronald R. Yager (Eds.), Janusz Kacprzyk, Warsaw, Poland, p. 31-44, Vol. 90, Studies in Fuzziness and Soft Computing, 2002.
    Résumé
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. A computational model for belief change and fusing ordered belief bases. Dans : Frontiers in Belief Revision. Mary-Anne Williams, Hans Rott (Eds.), Kluwer Academic Publishers, p. 109-134, 2001.
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. Towards a possibilistic logic handling of preferences. Dans : Aiding decisions with multiple criteria (essays in honor of Bernard Roy). Denis Bouyssou, Eric Jacquet-Lagrèze, Patrice Perny, Roman Slowinsky, Daniel Vanderpooten (Eds.), Kluwer Academic Publishers, p. 315-337, 2001.
    Résumé
    BibTeX

  • Salem Benferhat. Computing specificity in default reasoning. Dans : Algorithms for Uncertainty and Defeasible Reasoning. Jürg Kohlas, Serafin Moral (Eds.), Kluwer Academic Publishers, Dordrecht, The Netherlands, p. 147-177, Vol. 5, Handbook of Defeasible Reasoning and Uncertainty Management (Gabbay D., Smets P., Eds.)Systems, 2001.
    BibTeX

  • Salem Benferhat, Didier Dubois, Hélène Fargier, Henri Prade, Régis Sabbadin. Decision, nonmonotonic reasoning and possibilistic logic. Dans : Logic-Based Artificial Intelligence. Jack Minker (Eds.), Kluwer Academic Publishers, p. 333-358, 2000.
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. An overview of possibilistic logic and its applications to nonmonotonic reasoning and data fusion. Dans : Computational Intelligence in Data Mining. G. Della Riccia, R. Kruse, H.J. Lenz (Eds.), Springer-Verlag, Berlin, p. 69-93, 2000.
    BibTeX

  • Salem Benferhat, Henri Farreny, Henri Prade. Possibilistic rule-based inference: a case study in financial analysis. Dans : Soft Computing in Financial Engineering. R. Ribeiro, H.-J. Zimmermann, R. Yager, J. Kacprzyk (Eds.), Physica-Verlag, Heidelberg, Allemagne, p. 301-319, 1999.
    BibTeX

  • Salem Benferhat, Didier Dubois, Laurent Garcia, Henri Prade. Directed possibilistic graphs and possibilistic logic. Dans : Information, Uncertainty and Fusion. B. Bouchon-Meunier, R. R. Yager, L. A. Zadeh (Eds.), Kluwer, Boston, Mass., p. 365-379, 1999.
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. An overview of inconsistency-tolerant inferences in prioritized knowledge bases. Dans : Fuzzy Sets, Logic and Reasoning about Knowledge. D. Dubois, H. Prade, E.P. Klement (Eds.), Kluwer, Dordrecht, Pays-Bas, p. 395-417, Vol. 15, Applied Logic Series, 1999.
    BibTeX

  • Salem Benferhat. Infinitesimal theories of uncertainty for plausible reasoning. Dans : Quantified Representation of Uncertainty and Imprecision. Dov M. Gabbay, Philippe Smets (Eds.), Kluwer Academic Publishers, The Netherlands, p. 303-356, Vol. 1, Handbook of Defeasible Reasoning and Uncertainty Management, 1998.
    BibTeX

  • Salem Benferhat, Laurent Garcia. A local handling of inconsistent knowledge and default bases. Dans : Applications of Uncertainty Formalisms. A. Hunter, S. Parsons (Eds.), Springer, Berlin, p. 323-353, 1998.
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study Part 2: The prioritized case. Dans : Logic at work. Ewa Orlowska (Eds.), Physica-Verlag, Heidelberg, p. 473-511, Vol. 24, 1998.
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. From semantic to syntactic approaches to information combination in possibilistic logic. Dans : Aggregation and Fusion of Imperfect Information. B. Bouchon-Meunier (Eds.), Physica-Verlag, Heidelberg, p. 141-161, Vol. 12, 1998.
    BibTeX

  • Salem Benferhat, T. Chehire, F. Fluvio Monai. Possibilistic ATMS in a data fusion problem. Dans : Fuzzy Information Engineering: A Guided Tour of Applications. D. Dubois, H. Prade, R.R. Yager (Eds.), John Wiley & Sons, New York, p. 417-435, 1997.
    BibTeX

  • Salem Benferhat. Handling hard rules and default rules in possibilistic logic. Dans : Advances in Intelligent Computing ? IPMU'94 (Selected Papers of the IPMU'94 Conf.) Lecture Notes in Computer Science. B. Bouchon-Meunier, R.R. Yager, L.A. Zadeh (Eds.), Springer Verlag, Berlin, p. 302-310, Vol. 945, 1995.
    BibTeX

  • Salem Benferhat, Didier Dubois, Jérôme Lang, Henri Prade. Hypothetical reasoning in possibilistic logic: basic notions and implementation issues. Dans : Between Mind and Computer, Fuzzy Science and Engineering. P.Z. Wang, K.F. Loe (Eds.), World Scientific Publ., Singapore, p. 1-29, Vol. I, 1994.
    BibTeX

Conférences et workshops internationaux / International conference papers
  • Salem Benferhat, Didier Dubois, Henri Prade. Interventions in Possibilistic Logic (regular paper). Dans : International Conference on Scalable Uncertainty Management (SUM 2009), Washington DC (USA), 28/09/2009-30/09/2009, Lluis Godo, Andrea Pugliese (Eds.), Springer, LNAI 5785, p. 40-54, 2009.
    Résumé
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade, Mary-Anne Williams. A general framework for revising belief based using qualitative Jeffrey's rule. Dans : International Symposium on Methodologies for Intelligent Systems (ISMIS 2009), Prague (République Tchéque), 14/09/2009-17/09/2009, Jan Rauch, Zbigniew Ras, Petr Berka, Tapio Elomaa (Eds.), Springer, Lecture Notes in Artificial Intelligence 5722, p. 612-621, 2009.
    BibTeX

  • Salem Benferhat, Jean-François Bonnefon, Philippe Chassy, Rui Da Silva Neves, Didier Dubois, Florence Dupin De Saint Cyr - Bannay, Daniel Kayser, Farid Nouioua, Sara Nouioua-Boutouhami, Henri Prade, Salma Smaoui. A comparative study of six formal models of causal ascription (regular paper). Dans : International Conference on Scalable Uncertainty Management (SUM 2008), Naples (Italy), 01/10/2008-03/10/2008, Sergio Greco, Thomas Lukasiewicz (Eds.), Springer, LNAI 5291, p. 47-62, septembre 2008.
    Résumé Accès : https://www.irit.fr/~Florence.Bannay/publis/sum08micrac.pdf
    BibTeX

  • Salem Benferhat, Henri Prade. Compiling Possibilistic Knowledge Bases. Dans : European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, 29/08/2006-01/09/2006, G. Brewka, S. Coradeschi, A. Perini, P. Traverso (Eds.), IOS Press, p. 337-341, 2006.
    Résumé
    BibTeX

  • Salem Benferhat, Jonathan Ben-Naim, Robert Jeansoulin, Mahat Khelfallah, Sylvain Lagrue, Odile Papini, Nic Wilson, Eric Würbel. Belief Revision of GIS Systems: The Results of REV!GIS (regular paper). Dans : European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2005), Barcelona - Spain, 06/06/2005-08/06/2005, Springer, p. 452-464, juin 2005.
    BibTeX

  • Salem Benferhat, Henri Prade. Encoding formulas with partially constrained weights in a possibilistic-like many-sorted propositional logic. Dans : Proc. of the 9th International Joint Conference on Artificiel Intelligence (IJCAI'05), Edinburgh, Scotland, 31/07/2005-05/08/2005, Gallus, p. 1281-1286, juillet 2005.
    BibTeX

  • Jonathan Ben-Naim, Salem Benferhat, Odile Papini, Eric Würbel. An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS (regular paper). Dans : European Conference on Logics in Artificial Intelligence (JELIA 2004), Lisbon, Portugal, 27/09/2004-30/09/2004, Springer, p. 604-616, 2004.
    BibTeX

  • Anas Abou El Kalam, Rania El Baida, Philippe Balbiani, Salem Benferhat, Al. Et. Organization based access control. Dans : Policies for Distributed Systems and Networks (POLICY 2003), Como, 01/01/2003-31/12/2003, H. Lutfiyya, J. Moffett, F. Garcia (Eds.), Institute of Electrical and Electronics Engineers, p. 120-131, janvier 2003.
    BibTeX

  • Salem Benferhat, Rania El Baida, Frédéric Cuppens. Modélisation des politiques de sécurité dans le cadre de la théorie des possibilités. Dans : Flexible Query Answering Systems, 5th International Conference, (FQAS'02), Copenhagen, Denmark , 27/10/2002-29/10/2002, LNAI 2522, Springer-Verlag, Berlin, p. 245-252, octobre 2002.
    Résumé
    BibTeX

  • Salem Benferhat, Mohand Boughanem, Claude Chrisment, Nawel Nassr, Henri Prade. Disambiguation translation in multilingual queries. Dans : Proc. of the 9th International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 2002), Annecy- France, 01/07/2002-05/07/2002, IPMU, p. 1375-1381, juillet 2002.
    Résumé
    BibTeX

  • Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade. Bipolar possibilistic representations. Dans : Proc. of the 18th. Conference on Uncertainty in Artificial Intelligence, UAI 2002, Edmonton-Canada, 01/08/2002-04/08/2002, Morgan Kaufmann Publishers, San Francisco - California, p. 45-52, août 2002.
    Résumé
    BibTeX

  • Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade. Possibilistic logic representation of preferences: relating prioritized goals and satisfaction levels expressions. Dans : Proc. of the 15th. Eropean Conference on Artificial Intelligence, ECAI 2002, Lyon - France, 21/07/2002-26/07/2002, IOS Press, Amsterdam-The Netherlands, p. 685-689, juillet 2002.
    Résumé
    BibTeX

  • Salem Benferhat, Sylvain Lagrue, Odile Papini. Reasoning with partially ordered information in a possibilistic logic framework. Dans : Proc. of the Ninth International Conference, Information Processing and Management of Uncertainty in Knowledge-based Systems(IPMU 2002), Annecy-France, 01/07/2002-05/07/2002, ESIA-Université de Savoie, p. 1047-1052, juillet 2002.
    Résumé
    BibTeX

  • Salem Benferhat, Didier Dubois, Sylvain Lagrue, Henri Prade. A big-stepped probability approach for discovering default rules. Dans : Proc. of the Ninth International Conference, Information Processing and Management of Uncertainty in Knowledge-based Systems(IPMU 2002), Annecy-France, 01/07/2002-05/07/2002, ESIA-Université de Savoie, p. 283-289, juillet 2002.
    Résumé
    BibTeX

  • Salem Benferhat, Souhila Kaci. Fusion of possibilistic knowledge bases from a postulate point of view. Dans : Proc. of the 15th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2002), Pensacola Beach - Florida, 14/05/2002-16/05/2002, Susan Haller & Gene Simmons, p. 519-523, mai 2002.
    Résumé
    BibTeX

  • Nahla Ben Amor, Salem Benferhat, Khaled Mellouli. Anytime possibilistic propagation algorithm. Dans : Proc. of the first International Conference, Soft-Ware 2002: Computing in an Imperfect World, Belfast, Northern Ireland, 08/04/2002-10/04/2002, Springer-Verlag, LNCS 2311, p. 263-279, avril 2002.
    Résumé
    BibTeX

  • Salem Benferhat, Daniel Le Berre, Gerhard Brewka. Qualitative choice logic. Dans : Proc. of the 8th International conference, Principles of Knowledge Representation and Reasoning (KR2002), Toulouse-France, 22/04/2002-25/04/2002, Morgan Kaufmann Publishers, San Francisco, California, p. 158-169, avril 2002.
    Résumé
    BibTeX

  • Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade. Bipolar representation and fusion of preferences in the possibilistic logic framework. Dans : Proc. of the 8th International Conference, Principles of Knowledge Representation and Reasoning, Toulouse, France, 22/04/2002-25/04/2002, Morgan Kaufmann Publishers, San Francisco, California, p. 421-432, avril 2002.
    Résumé
    BibTeX

  • Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade. Bridging logical, comparative and graphical possibilistic representation frameworks. Dans : Proc.of the 6th.European Conference (ECSQARU 2001), Toulouse, France, 19/09/2001-21/09/2001, Springer-Verlag, p. 422-431, septembre 2001.
    BibTeX

  • Nahla Ben Amor, Salem Benferhat, Khaled Mellouli. A two-steps algorithm for min-based possibilistic causal networks. Dans : Proc.of the 6th.European Conference (ECSQARU 2001), Toulouse, France, 19/09/2001-21/09/2001, Springer-Verlag, p. 266-277, septembre 2001.
    BibTeX

  • Salem Benferhat, Souhila Kaci, Daniel Le Berre, Mary-Anne Williams. Weakening conflicting information for iterated revision and knowledge integration. Dans : Proc. of the 17th International Joint Conference on Artificial Intelligence(IJCAI01), Seattle-USA, 04/08/2001-10/08/2001, Morgan Kaufmann Publishers, p. 109-115, août 2001.
    BibTeX

  • Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade. Graphical readings of possibilisitc logic bases. Dans : Proc.of the 17th Conference Uncertainty in Artificial Intelligence (UAI01), Seattle-USA, 02/08/2001-05/08/2001, Morgan Kaufmann Publishers, p. 24-31, août 2001.
    BibTeX

  • Salem Benferhat, Didier Dubois, Sylvain Lagrue, Henri Prade. Towards learning default rules by identifying big-stepped probabilities. Dans : Proc.Joint 9th IFSA Congress and 20th NAFIPS International Conference, Vancouver-Canada, 25/07/2001-28/07/2001, IEEE Operations Center, p. 1850-1855, juillet 2001.
    BibTeX

  • Nahla Ben Amor, Salem Benferhat, Khaled Mellouli. Some issues on the coherence of min-based possibilistic causal Networks. Dans : Proc.Joint 9th IFSA World Congress and 20th NAFIPS International Conference, Vancouver-Canada, 25/07/2001-28/07/2001, IEEE Operations Center, p. 604-609, juillet 2001.
    BibTeX

  • Salem Benferhat, Souhila Kaci. A possibilisitc logic handling of strong preferences. Dans : Proc.Joint 9th IFSA Congress and 20th NAFIPS International Conference, Vancouver-Canada, 25/07/2001-28/07/2001, IEEE Operations Center, p. 962-967, juillet 2001.
    BibTeX

  • Salem Benferhat, Odile Papini, Sébastien Konieczny, Ramon Pino Pérez. Iterated revision by epistemic states: axioms, semantics and syntax. Dans : Proc. of the 14th European Conference on Artificial Intelligence (ECAI-2000), Berlin, 20/08/2000-25/08/2000, Humboldt University,IOS Press, Berlin, p. 13-17, août 2000.
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. Kalman-like filtering and updating in a possibilistic setting. Dans : Proc.14th Europ.Conf.on Artificial Intelligence (ECAI 2000), Berlin, 20/08/2000-25/08/2000, IOS Press, p. 8-12, août 2000.
    BibTeX

  • Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade. Encoding information fusion in possibilistic logic:A general framework for rational syntactic merging. Dans : Proc.14th Europ.Conf.on Artificial Intelligence (ECAI2000), Berlin, 20/08/2000-25/08/2000, IOS Press, p. 3-7, août 2000.
    BibTeX

  • Nahla Ben Amor, Salem Benferhat, Didier Dubois, Hector Geffner, Henri Prade. Independence in qualitative uncertainty frameworks. Dans : Proc.7th Int.Conf.on Principles of Knowledge Representation and Reasoning (KR 2000), Breckenridge, Co., 11/04/2000-15/04/2000, Morgan Kaufmann Publishers, Inc., San Francisco, California, p. 235-246, avril 2000.
    BibTeX

  • Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade. A principled analysis of merging operations in possibilistic logic. Dans : Proc.of 16th Conference on Uncertainty in Artificial Intelligence(UAI'00), Stanford, 30/06/2000-03/07/2000, Morgan Kaufmann, San Francisco, p. 24-31, juin 2000.
    BibTeX

  • Salem Benferhat, Souhila Kaci. A new algorithm for fusing possibilistic knowledge bases. Dans : IMPU'2000, Madrid, 03/07/2000-07/07/2000, Graficas 82 S.L., Madrid, p. 1546-1553, juillet 2000.
    BibTeX

  • Nahla Ben Amor, Salem Benferhat, Khaled Mellouli. Possibilistic Independence vs Qualitative Independence. Dans : IMPU'2000, Madrid, 03/07/2000-07/07/2000, Graficas 82 S.L., Madrid, p. 349-356, juillet 2000.
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade, Mary-Anne Williams. A practical approach to revising prioritized knowledge-bases. Dans : In third International Conference on Knowledge-Based Intelligent Information Engineering Systems, KES'99, Adelaid-AUSTRALIE, 31/08/1999-01/09/1999, IEEE Press, p. 170-174, août 1999.
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. Towards fuzzy default reasoning. Dans : Proceedings of the 18th International Conference of the North American Fuzzy Information Processing Society, New York, USA, 10/06/1999-12/06/1999, IEEE Service Center, p. 23-27, juin 1999.
    BibTeX

  • Salem Benferhat, Didier Dubois, Odile Papini. A sequentiel reversible belief revision method based on polynomials. Dans : AAAI-99, IAAI-99, Orlando, Floride (USA), 18/07/1999-22/07/1999, AAAI Press/The MIT Press, 445, Burgess DriveMenlo ParkCalifornia 94025, p. 733-738, juillet 1999.
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. Towards a possibilistic logic handling of preferences. Dans : IJCAI'9, Stockholm, Suède, 31/07/1999-06/08/1999, Thomas Dean, p. 1370-1375, juillet 1999.
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade, Mary-Anne Williams. A Practical Approach to Fusing Prioritized Knowledge Bases. Dans : 9th Portuguese Conference on Artificial Intelligence (EPIA'99), Evora,Portugal, 21/09/1999-24/09/1999, LNCS 1695, Springer Verlag, Berlin, Allemagne, p. 222-236, septembre 1999.
    BibTeX

  • Salem Benferhat, Didier Dubois, Laurent Garcia, Henri Prade. Possibilistic logic bases and possibilistic graphs. Dans : 15th Conference on Uncertainty in Artificial Intelligence (UAI'99), Stockholm, Morgan Kaufmann, San Francisco, Ca., p. 57-64, juillet 1999.
    BibTeX

  • Salem Benferhat, Didier Dubois, Jérôme Lang, Henri Prade, Alessandro Saffiotti, Philippe Smets. A general approach for inconsistency handling and merging information in prioritized knowledge bases. Dans : Proc. of 6th Int. Conf. Principles of Knowledge Representation and Reasoning, Trento, Italy, Morgan Kaufmann, San Francisco, CA, p. 466-477, juin 1998.
    BibTeX

  • Salem Benferhat, Claudio Sossai. Merging uncertain knowledge bases in a possibilistic logic framework. Dans : Proceedings of 14th Conference on Uncertainty in Artificial Intelligence (UAI'98), Madison, WI, USA, Morgan Kaufmann, San Francisco, CA, p. 8-15, juillet 1998.
    BibTeX

  • Salem Benferhat, Didier Dubois, Jérôme Lang, Henri Prade, Alessandro Saffiotti, Philippe Smets. Reasoning under inconsistency based on implicitly-specified partial qualitative probability relations: a unified framework. Dans : 15th National Conferenc on Artificial Intelligence (AAAI-98), Madison, WI, AAAI Press, Menlo Park, Ca., p. 121-126, juillet 1998.
    BibTeX

  • Salem Benferhat, Didier Dubois, Laurent Garcia, Henri Prade. Directed possibilistic graphs and possibilistic logic. Dans : Proceedings of 7th International Conference on InformationProcessing and Management of Uncertainty in Knowledge-basedSystems (IPMU'98), Paris, Editions EDK, Paris, p. 1470-1471, juillet 1998.
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. Possibilistic semantics of conditional knowledge. Dans : U.S. National conf. on Artificial Intelligence (AAAI'97 - IAAAI'97), Providence, RI, The MIT Press, Menlo Park, California, p. 70-75, juillet 1997.
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. Syntactic combination of uncertain information: Possibilistic approach. Dans : Proc. of the 1st Inter. Joint Conf. on Qualitative and Quantitative Practical Reasoning (ECSQARU/FAPR'97), BadHonnef, Germany, Lecture Notes in Artificial Intelligence, Vol. 1244, Springer Verlag, Berlin, p. 30-42, juin 1997.
    Accès : https://www.irit.fr/publis/ADRIA/SCUIPA.ps.gz
    BibTeX

  • Salem Benferhat, Laurent Garcia. A coherence-based approach to default reasoning. Dans : Proc. of the 1st Inter. Joint Conf. on Qualitative and Quantitative Practical Reasoning (ECSQARU/FAPR'97), Bad Honnef, Germany, Lecture Notes in Artificial Intelligence, Vol. 1244, Springer Verlag, Berlin, p. 43-57, juin 1997.
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. Beyond counter-examples to nonmonotonic formalisms: A possibility-theoretic analysis. Dans : Proc. of the 12th Europ. Conf. on Artificial Intelligence (ECAI'96) (W. Wahlster, ed.), Budapest, Hungary, John Wiley & Sons, New York, p. 652-656, août 1996.
    Accès : https://www.irit.fr/publis/ADRIA/BCENFP.ps.gz
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. Coping with the limitations of rational inference in the framework of possibility theory. Dans : Proc. of the 12th Conf. on Uncertainty in Artificial Intelligence, Portland, Or, Morgan & Kaufmann, San Mateo, CA, p. 90-97, août 1996.
    Accès : https://www.irit.fr/publis/ADRIA/CLRIFP.ps.gz
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. Reasoning in inconsistent stratified knowledge bases. Dans : Proc. of the 26 Inter. Symp. on Multiple-Valued Logic (ISMVL'96), Santiago de Compostela, Spain, 29/05/1996-31/05/1996, IEEE, p. 184-189, mai 1996.
    Accès : https://www.irit.fr/publis/ADRIA/RISKB.ps.gz
    BibTeX

  • Salem Benferhat, Alessandro Saffiotti, Philippe Smets. Belief functions and default reasoning. Dans : Proc. of the 11th Conf. on Uncertainty in Artificial Intelligence, -, Morgan Kaufmann, p. 19-26, janvier 1995.
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. How to infer from inconsistent beliefs without revising? Dans : Proc. of the 14th Inter. Joint Conf. on Artificial Intelligence (IJCAI'95), Montréal, Canada, 20/08/1995-25/08/1995, Morgan Kaufmann, p. 1449-1455, août 1995.
    Accès : https://www.irit.fr/publis/ADRIA/HIIBWR.ps.gz
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. Possibilistic independence and plausible reasoning. Dans : Proc. of the Conf. on Foundations and Applications of Possibility Theory (FAPT'95), Ghent, Belgium, 13/12/1995-15/12/1995, World Scientific, Singapore, p. 47-63, décembre 1995.
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. A local approach to reasoning under inconsistency in stratified knowledge bases. Dans : Symbolic and Quantitative Approaches to Reasoning and Uncertainty (Proc. of the Europ. Conf. ECSQARU'95) (C. Froidevaux, J. Kohlas, eds.), Lecture Notes in Artificial Intelligence, Vol. 946, Fribourg, Switzerland, Springer Verlag, Berlin, juillet 1995.
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. Expressing independence in a possibilistic framework and its application to default reasoning. Dans : Proc. of the 11th Europ. Conf. on Artificial Intelligence (ECAI'94), Amsterdam, The Netherlands, 08/08/1994-12/08/1994, Wiley, New York, p. 150-154, août 1994.
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. Possibilistic logic: From nonmonotonicity to logic programming. Dans : Symbolic and Quantitative Approaches to Reasoning and Uncertainty (Proc. of the Europ. Conf. ECSQARU'93) (M. Clarke, R. Kruse, S. Moral, eds.), Lecture Notes in Computer Science, Granada, Spain, Springer Verlag, Berlin, p. 17-24, novembre 1993.
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. Argumentative inference in uncertain and inconsistent knowledge base. Dans : Proc. of the 9th Conf. on Uncertainty in Artificial Intelligence, Washington, DC, 09/07/1993-11/07/1993, Morgan Kaufmann, San Mateo, CA, p. 411-419, juillet 1993.
    BibTeX

  • Salem Benferhat, Claudette Cayrol, Didier Dubois, Jérôme Lang, Henri Prade. Inconsistency management and prioritized syntax-based entailment. Dans : Proc. of the 13th Inter. Joint Conf. on Artificial Intelligence (IJCAI'93), Chambéry, 28/08/1993-03/09/1993, ., p. 640-645, août 1993.
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. Representing default rules in possibilistic logic. Dans : Proc. of the 3rd Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR'92), Cambridge, 26/10/1992-29/10/1992, MA, p. 673-684, octobre 1992.
    BibTeX

Conférences et workshops nationaux / National conference papers

Conférences sans actes publiés / Conference papers without published proceedings
  • Salem Benferhat, Sylvain Lagrue, Odile Papini. Revising partially ordered beliefs. Dans : Proc. of the 9th International Workshop on Non-Monotonic Reasoning (NMR'2002), Toulouse, France, 19/04/2002-21/04/2002.
    Résumé
    BibTeX

  • Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade. Modification possibiliste de connaissances et de préférences. Dans : Journée Nationales sur les Modèles de Raisonnement (JNMR'01), Arras, 03/05/2001-04/05/2001.
    BibTeX

  • Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade. Encoding classical fusion in ordered knowledge bases framework. Dans : Proc. 8th Int. workshop on Non-Monotonic Reasoning (NMR-2000), Uncertainty frameworks in NMR, Breckenridge, Co, 09/04/2000-11/04/2000.
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. Independence relations in the possibilistic setting and their use.Extended abstract. Dans : Conf. invitée.Proc.Workshop on Partial Knowledge and Uncertainty: Independence, Conditioning, Inference, Rome (Italie), 04/05/2000-06/05/2000.
    BibTeX

  • Salem Benferhat, Florence Dupin De Saint Cyr - Bannay. Contextual handling of conditional knowledge. Dans : Proc. of the 6th Inter. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'96), Granada, Spain, 01/07/1996-05/07/1996.
    Accès : https://www.irit.fr/~Florence.Bannay/publis/IPMU96.ps.gz
    BibTeX

  • Salem Benferhat, Didier Cayrac, Didier Dubois, Henri Prade. Explaining away in a possibilistic setting. Dans : Proc. of the 6th Inter. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'96), Granada, Spain, .
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. From linear possibility distributions to a non-infinitesimal probabilistic semantics of conditional knowledge. Dans : Proc. of the 1996 Inter. Multidisciplinary Conf. on Intelligent Systems: A Semiotic Perspective, Gaithersburg, Maryland, .
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. Inconsistency-tolerant inference in prioritized knowledge bases. Dans : Proc. of the Inter. Seminar on Fuzzy Sets, Logics, and Artificial Intelligence (LINZ'96), Linz, Austria, 20/02/1996-24/02/1996.
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. Gestion d'informations contradictoires dans les systèmes à base de connaissances. Dans : Proc. of the 4th Maghrebian Conf. on Software Engineering and Artificial Intelligence (MCSEAI'96), Alger, Algérie, 14/04/1996-18/04/1996.
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. A conditional approach to possibilistic abduction. Dans : Proc. of the 3rd Europ. Congress on Intelligent Techniques and Soft Computing (EUFIT'95), Aachen, Germany, 28/08/1995-31/08/1995.
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. Possibilistic semantics of nonmonotonic consequence relationship. Dans : Proc. of the 3rd Europ. Congress on Intelligent Techniques and Soft Computing (EUFIT'95), Aachen, Germany, 28/08/1995-31/08/1995.
    BibTeX

  • Salem Benferhat, Didier Dubois, Henri Prade. Représentation des connaissances conditionnelles. Dans : ", Proc. of the 3rd Maghrebian Conf. on Software Engineering and Artificial Intelligence (MCSEAI'94), Rabat, Algérie, 11/04/1994-14/04/1994.
    BibTeX

  • Salem Benferhat. Traitement possibiliste des règles avec exceptions. Dans : Actes des 4èmes Journées Nationales sur les Applications des Ensembles Flous, Lille, 01/12/1994-02/12/1994.
    BibTeX

Rapports / Reports

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • Salem Benferhat. Evolution des croyances et raisonnement plausible - Modèles qualitatifs -. Habilitation à diriger des recherches, Université Paul Sabatier, décembre 2000.
    Résumé
    BibTeX

  • Salem Benferhat. Raisonnement non-monotone et traitement de l'inconsistance en logique possibiliste. Thèse de doctorat, Université Paul Sabatier, février 1994.
    BibTeX