Publications de
Salem Benferhat, Didier Dubois, Henri Prade, Mary-Anne Williams
A framework for iterated belief revision using possibilistic counterparts to Jeffrey’s rule
Dans : Fundamenta Informaticae, IOS Press, Numéro spécial Methodologies for intelligent systems, Vol. 99 N. 2, p. 147-168, 2010.
Salem Benferhat, Jonathan Ben-Naim, Odile Papini, Eric Würbel
An Answer Set Programming Encoding of Prioritized Removed Sets Revision : Application to GIS
Dans : Applied Intelligence, Springer, Vol. 32 N. 1, p. 60-87, 2010.
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
Modeling positive and negative information in possibility theory
Dans : International Journal of Intelligent Systems, Wiley, Numéro spécial Bipolar Representations of Information and Preference (Part 2: reasoning and learning), Vol. 23 N. 10, p. 1094-1118, 2008.
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
Bipolar possibility theory in preference modeling: Representation, fusion and optimal solutions
Dans : Information Fusion, Elsevier, Vol. 7, p. 135-150, 2006.
Anas Abou El Kalam, Rania El Baida, Philippe Balbiani, Salem Benferhat, Al. Et
ORBAC : un modèle de contrôle d’accès basé sur les organisations
Dans : Cahiers francophones de la recherche en sécurité de l’information, Vol. 2, p. 30-40, 2003.
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
Logique possibiliste et fusion d’informations
Dans : Technique et Sciences Informatique (N° Spécial Fusion de données numériques et d’informations symboliques), Hermès-Lavoisier, Vol. 22, RSTI série TSI, N. 7-8, p. 1035-1064, 2003.
Salem Benferhat, Didier Dubois, Sylvain Lagrue, Henri Prade
a big-stepped probability approach for discovering default rules
Dans : International Journal of Uncertainty, Vol. 11, suppl., p. 1-14, septembre 2003.
Logical representation and fusion of prioritized information based on guaranteed possibility measures: Application to the distance-based merging of classical bases
Dans : Artificial Intelligence, Vol. 148, p. 291-333, 2003.
Fusion of possibilistic knowledge bases from a postulate point of view
Dans : International Journal of Approximate Reasoning (IJAR), Elsevier, Vol. 33, p. 255-285, 2003.
Philippe Balbiani, Salem Benferhat
Dossier Temps, espace et évolutif
Dans : Bulletin de l’Afia, Vol. 51, p. 30-40, 2002.
Salem Benferhat, Didier Dubois, Sylvain Lagrue, Odile Papini
Making revision reversible: an approach based on polynominals
Dans : Fundamenta Informaticae, Vol. 53, p. 251-280, 2002.
Salem Benferhat, Didier Dubois, Henri Prade
The possibilistic handling of irrelevance in exception-tolerant reasoning
Dans : Annals of Mathematics and Artificial Intelligence, Kluwer Academic Publishers, The Netherlands, Vol. 35, p. 29-61, 2002.
Nahla Ben Amor, Khaled Mellouli, Salem Benferhat, Didier Dubois, Henri Prade
A theoretical framework for possibilistic independence in a weakly ordered setting
Dans : International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, World Scientific Publishing Company, Vol. 10 N. 2, p. 117-155, avril 2002.
Salem Benferhat, Laurent Garcia
Handling locally stratified inconsistent knowledge bases
Dans : Studia Logica, Kluwer, The Netherlands, Vol. 70, p. 77-104, 2002.
Salem Benferhat, Didier Dubois, Henri Prade, Mary-Anne Williams
A practical approach to revising prioritized knowledge bases
Dans : Studia Logica, Kluwer, The Netherlands, Vol. 70, p. 105-130, 2002.
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
Possibilistic merging and distance-based fusion of propositional information
Dans : Annals of Mathematics and Artificial Intelligence, Vol. 34 N. 1-3, p. 217-252, 2002.
Salem Benferhat, Didier Dubois, Laurent Garcia, Henri Prade
On the transformation between possibilistic logic bases and possibilistic causal networks
Dans : International Journal of Approximate Reasoning, Elsevier, North-Holland, Vol. 29 N. 2, p. 135-173, février 2002.
Salem Benferhat, Didier Dubois, Henri Prade, Régis Sabbadin
Exception-tolerant reasoning and decision under uncertainty using qualitative possibility theory
Dans : Künstliche Intelligenz (KI), Arendtap Desktop Publishing, Vol. 3, p. 9-15, 2001.
Conference paper assignment
Dans : International Journal of Intelligent Systems, Special Issue on Data and Knowledge Fusion (Part I of II), John Wiley&Sons, Inc., Vol. 16 N. 10, p. 1183-1192, octobre 2001.
Alain Appriou, Andre Ayoun, Salem Benferhat, Philippe Besnard, Isabelle Bloch, Laurence Cholvy, Roger Cooke, Frédéric Cuppens, Didier Dubois, Hélène Fargier, Michel Grabisch, Anthony Hunter, Rodolf Kruse, Jérôme Lang, Serafin Moral, Henri Prade, Alessandro Saffiotti, Philippe Smets, Claudio Sossai
Fusion: general concepts and characteristics
Dans : International Journal of Intelligent Systems, Special Issue on Data and Knowledge Fusion (Part I of II), John Wiley&Sons, Inc., Vol. 16 N. 10, p. 1107-1134, octobre 2001.
Salem Benferhat, Didier Dubois, Henri Prade
Towards a possibilistic logic handling of preferences
Dans : Applied Intelligence, Kluwer Academic Publishers, Vol. 14, p. 303-317, 2001.
Salem Benferhat, Alessandro Saffiotti, Philippe Smets
Belief functions and default reasoning
Dans : Artificial Intelligence Journal, Elsevier, The Netherlands, Vol. 122/1-2, p. 1-69, septembre 2000.
Salem Benferhat, Didier Dubois, Henri Prade
Possibilistic and standard probabilistic semantics of conditional knowledge bases
Dans : Journal of Logic and Computation, Oxford University Press, Vol. 9 N. 6, p. 873-895, 1999.
Salem Benferhat, Didier Dubois, Henri Prade
Practical Handling of Exception-tainted rules and independence information in possibilistic logic
Dans : Applied Intelligence, Vol. 9, p. 101-127, 1998.
Salem Benferhat, Didier Dubois, Henri Prade
Nonmonotonic reasoning, conditional objects and possibility theory
Dans : Artificial Intelligence, Vol. 92 N. 1–2, p. 259-276, mai 1997.
Salem Benferhat, Didier Dubois, Henri Prade
Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study — Part 1: The flat case
Dans : Studia Logica, Vol. 58, p. 17-45, 1997.
Salem Benferhat, Didier Dubois, Henri Prade
Connaissances conditionnelles et exceptions : Du raisonnement non-monotone à la théorie des possibilités
Dans : Revue d’Intelligence Artificielle (RIA), Hermès Science, Vol. 9, N. 4, p. 475-521, 1995.
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/09-30/09/09, Lluis Godo, Andrea Pugliese (Eds.), Springer, LNAI 5785, p. 40-54, 2009.
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/09-17/09/09, Jan Rauch, Zbigniew Ras, Petr Berka, Tapio Elomaa (Eds.), Springer, Lecture Notes in Artificial Intelligence 5722, p. 612-621, 2009.
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/08-03/10/08, Sergio Greco, Thomas Lukasiewicz (Eds.), Springer, LNAI 5291, p. 47-62, septembre 2008.
Résumé Accès : http://www.irit.fr/~Florence.Bannay/publis/sum08micrac.pdf
BibTeXCompiling Possibilistic Knowledge Bases
Dans : European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, 29/08/06-01/09/06, G. Brewka, S. Coradeschi, A. Perini, P. Traverso (Eds.), IOS Press, p. 337-341, 2006.
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/05-08/06/05, Springer, p. 452-464, juin 2005.
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/05-05/08/05, Gallus, p. 1281-1286, juillet 2005.
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/04-30/09/04, Springer, p. 604-616, 2004.
Salem Benferhat, Didier Dubois, Henri Prade
Logique possibiliste avec calcul symbolique sur des poids partiellement contraints (regular paper)
Dans : Rencontres Francophones sur la Logique Floue et ses Applications (LFA 2004), Nantes, France, 18/11/04-19/11/04, Cépaduès Editions, p. 67-74, novembre 2004.
Anas Abou El Kalam, Philippe Balbiani, Salem Benferhat, Frédéric Cuppens, Al. Et
Modèles et politiques de sécurité des systèmes d’information et de communication en santé et en social
Dans : Giseh 2003, xxx, 01/01/03-31/12/03, xxx, janvier 2003.
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/03-31/12/03, H. Lutfiyya, J. Moffett, F. Garcia (Eds.), Institute of Electrical and Electronics Engineers, p. 120-131, janvier 2003.
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/02-29/10/02, LNAI 2522, Springer-Verlag, Berlin, p. 245-252, octobre 2002.
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/02-05/07/02, IPMU, p. 1375-1381, juillet 2002.
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/02-04/08/02, Morgan Kaufmann Publishers, San Francisco – California, p. 45-52, août 2002.
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/02-26/07/02, IOS Press, Amsterdam-The Netherlands, p. 685-689, juillet 2002.
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/02-05/07/02, ESIA-Université de Savoie, p. 1047-1052, juillet 2002.
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/02-05/07/02, ESIA-Université de Savoie, p. 283-289, juillet 2002.
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/02-16/05/02, Susan Haller & Gene Simmons, p. 519-523, mai 2002.
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/02-10/04/02, Springer-Verlag, LNCS 2311, p. 263-279, avril 2002.
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/02-21/04/02.
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/02-25/04/02, Morgan Kaufmann Publishers, San Francisco, California, p. 158-169, avril 2002.
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/02-25/04/02, Morgan Kaufmann Publishers, San Francisco, California, p. 421-432, avril 2002.
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
Représentation bipolaire et modification de préférences en logique possibiliste
Dans : 13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et d’Intelligence Artificielle (RFIA 2002), Angers-France, 08/01/02-10/01/02, Le Comité d’Organisation, p. 955-964, janvier 2002.
Nahla Ben Amor, Salem Benferhat, Khaled Mellouli
Un algorithme de propagation pour les réseaux possibilistes basés sur le conditionnement ordinal
Dans : 13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et d’Intelligence Artificielle (RFIA 2002), Angers-France, 08/01/02-10/01/02, Le Comité d’Organisation, p. 339-348, janvier 2002.
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/01-21/09/01, Springer-Verlag, p. 422-431, septembre 2001.
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/01-21/09/01, Springer-Verlag, p. 266-277, septembre 2001.
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/01-10/08/01, Morgan Kaufmann Publishers, p. 109-115, août 2001.
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/01-05/08/01, Morgan Kaufmann Publishers, p. 24-31, août 2001.
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/01-28/07/01, IEEE Operations Center, p. 1850-1855, juillet 2001.
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/01-28/07/01, IEEE Operations Center, p. 604-609, juillet 2001.
A possibilisitc logic handling of strong preferences
Dans : Proc.Joint 9th IFSA Congress and 20th NAFIPS International Conference, Vancouver-Canada, 25/07/01-28/07/01, IEEE Operations Center, p. 962-967, juillet 2001.
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/01-04/05/01.
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/00-11/04/00.
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/00-25/08/00, Humboldt University,IOS Press, Berlin, p. 13-17, août 2000.
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/00-25/08/00, IOS Press, p. 8-12, août 2000.
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/00-25/08/00, IOS Press, p. 3-7, août 2000.
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/00-15/04/00, Morgan Kaufmann Publishers, Inc., San Francisco, California, p. 235-246, avril 2000.
Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
Codage de la fusion classique d’informations en logique possibiliste
Dans : Actes Rencontres Francophones sur la Logique Floue et ses Applications (LFA’2000), La Rochelle, 18/10/00-20/10/00, CEPADUES-EDITIONS, Toulouse, p. 131-138, octobre 2000.
Salem Benferhat, Didier Dubois, Sylvain Lagrue, Henri Prade
Vers l’apprentissage de règles tolérant les exceptions avec des probabilités à grandes marches
Dans : Actes Rencontres francophones sur la Logique Floue et ses Applications (LFA’2000), La Rochelle, 18/10/00-20/10/00, Cepadues-Editions, Toulouse, p. 317-324, octobre 2000.
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/00-03/07/00, Morgan Kaufmann, San Francisco, p. 24-31, juin 2000.
A new algorithm for fusing possibilistic knowledge bases
Dans : IMPU’2000, Madrid, 03/07/00-07/07/00, Graficas 82 S.L., Madrid, p. 1546-1553, juillet 2000.
Nahla Ben Amor, Salem Benferhat, Khaled Mellouli
Possibilistic Independence vs Qualitative Independence
Dans : IMPU’2000, Madrid, 03/07/00-07/07/00, Graficas 82 S.L., Madrid, p. 349-356, juillet 2000.
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/00-06/05/00.
Nahla Ben Amor, Salem Benferhat, Didier Dubois, Hector Geffner, Henri Prade
Une approche qualitative de l’indépendance pour le raisonnement dans l’incertain
Dans : Actes 12e Congrès Francophone AFRIF-AFIA/RFIA’2000, Paris, 01/02/00-03/02/00, Télécom Paris, p. 505-514, février 2000.
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/99-01/09/99, IEEE Press, p. 170-174, août 1999.
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/99-12/06/99, IEEE Service Center, p. 23-27, juin 1999.
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/99-22/07/99, AAAI Press/The MIT Press, 445, Burgess DriveMenlo ParkCalifornia 94025, p. 733-738, juillet 1999.
Salem Benferhat, Didier Dubois, Henri Prade
Towards a possibilistic logic handling of preferences
Dans : IJCAI’9, Stockholm, Suède, 31/07/99-06/08/99, Thomas Dean, p. 1370-1375, juillet 1999.
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/99-24/09/99, LNCS 1695, Springer Verlag, Berlin, Allemagne, p. 222-236, septembre 1999.
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.
Salem Benferhat, Didier Dubois, Laurent Garcia, Henri Prade
Réseaux possibilistes orientés et logique possibiliste
Dans : Actes du 11ème Congrès « Reconnaissance des Formes et Intelligence Artificielle » (RFIA’98), Clermont-Ferrand, France, AFCET, Paris, p. 235-244, janvier 1998.
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.
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.
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.
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.
Salem Benferhat, Philippe Besnard, Laurence Cholvy, Robert Demolombe, Didier Dubois, Olivier Gasquet, Jean-Louis Golmard, Andreas Herzig, Pierre Marquis, Yves Moinard, Henri Prade, Camilla Schwind
Lois, structures et dépendances
Dans : Actes des 6èmes Journées Nationales du PRC-GDR Intelligence Artificielle (S. Pesty, P. Siegel, eds.), Grenoble, Hermès, Paris, p. 145-160, mars 1997.
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.
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.
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.
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/96-05/07/96.
Accès : http://www.irit.fr/~Florence.Bannay/publis/IPMU96.ps.gz
BibTeXSalem 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, .
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, .
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/96-24/02/96.
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/96-18/04/96.
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.
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.
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/96-31/05/96, IEEE, p. 184-189, mai 1996.
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/95-31/08/95.
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/95-31/08/95.
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.
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/95-25/08/95, Morgan Kaufmann, p. 1449-1455, août 1995.
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/95-15/12/95, World Scientific, Singapore, p. 47-63, décembre 1995.
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.
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/94-14/04/94.
Traitement possibiliste des règles avec exceptions
Dans : Actes des 4èmes Journées Nationales sur les Applications des Ensembles Flous, Lille, 01/12/94-02/12/94.
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/94-12/08/94, Wiley, New York, p. 150-154, août 1994.
Salem Benferhat, Didier Dubois, Henri Prade
Inférence argumentée dans les bases de connaissances inconsistantes et stratifiées
Dans : Actes du 9ème Congress “Reconnaissance des Formes et Intelligence Artificielle”, Paris, 11/01/94-14/01/94, ., p. 495-506, janvier 1994.
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.
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/93-11/07/93, Morgan Kaufmann, San Mateo, CA, p. 411-419, juillet 1993.
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/93-03/09/93, ., p. 640-645, août 1993.
Logique possibiliste et application au raisonnement hypothétique
Dans : Actes des 2ème Journées Nationales sur les Applications des Ensembles Flous, Nîmes, 02/11/92-03/11/92, EC2, Nanterre, p. 57-64, novembre 1992.
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/92-29/10/92, MA, p. 673-684, octobre 1992.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Evolution des croyances et raisonnement plausible – Modèles qualitatifs –
Habilitation à diriger des recherches, Université Paul Sabatier, décembre 2000.
Raisonnement non-monotone et traitement de l’inconsistance en logique possibiliste
Thèse de doctorat, Université Paul Sabatier, février 1994.