PeopleofSuperintelligence

Researcher

Salem Benferhat

Salem Benferhat is a computer scientist and professor at the University of Artois whose work develops reasoning methods for uncertain and inconsistent knowledge. He earned a PhD under Henri Prade and worked at CNRS's IRIT in Toulouse. His papers explored prioritized inference, possibilistic graphs and bipolar representations; later work examined repairs to inconsistent knowledge bases and anomaly detection in wastewater videos. He received a SECRYPT Best Student Paper Award in 2008 and became a EurAI Fellow in 2015. As of October 2026, he is a professor at CRIL and the lab's scientific lead for STARWARS, an AI project on stormwater and wastewater data.

Born
1966
Works
607
Citations
6,634
h-index
38
Rankings
#15 by first-author papers
Badges

Years link to their sources. Publication numbers from OpenAlex, as of 22 October 2026.

Timeline

  1. 1993

    Prioritized syntax-based entailment

    In 1993, he coauthors Inconsistency Management and Prioritized Syntax-Based Entailment at IJCAI with Claudette Cayrol, Didier Dubois, Jérôme Lang and Henri Prade. The paper studies non-monotonic inference from priority-based handling of inconsistent sets of classical formulas, including a lexicographic ordering of maximal consistent subsets.

  2. 1994–2000

    Doctorate and habilitation

    He earns a PhD at Université Paul Sabatier–Toulouse III in 1994 under Henri Prade for a dissertation on non-monotonic reasoning and inconsistency in possibilistic logic. In 2000, he earns the Habilitation à Diriger des Recherches at Université Paul Sabatier.

  3. 1994–2003

    CNRS research in Toulouse

    From 1994 to 2003, he works as a CNRS researcher at IRIT in Toulouse.

  4. 1999

    Possibilistic graphs and logic bases

    In 1999, he coauthors Possibilistic Logic Bases and Possibilistic Graphs at UAI with Didier Dubois, Laurent Garcia and Henri Prade. The paper describes bases that stratify logical formulas by certainty and graphs that represent relationships between variables.

  5. 2002

    Bipolar possibilistic representations

    In 2002, he coauthors Bipolar Possibilistic Representations at UAI with Didier Dubois, Souhila Kaci and Henri Prade. The paper represents knowledge and preferences using constraints on necessity measures and guaranteed possibility functions.

  6. 2008

    A SECRYPT student-paper award

    In 2008, his paper with Karim Tabia on detecting novel and anomalous behavior with Bayesian network classifiers receives SECRYPT's Best Student Paper Award.

  7. 2015

    EurAI Fellow and IJCAI repair

    EurAI names him a Fellow in 2015. At IJCAI 2015, he coauthors a paper with Zied Bouraoui and Karim Tabia on selecting one preferred repair from inconsistent DL-Lite knowledge bases with prioritized assertions.

  8. 2023–2026

    Professor at CRIL and STARWARS

    He is a full professor of computer science at CRIL (CNRS UMR-8188), at the University of Artois, and has held the post since February 2003. He serves as CRIL's scientific lead for STARWARS (2023–2026), a project that develops AI methods for managing heterogeneous stormwater and wastewater network data. In 2025, he coauthors a Fuzzy Sets and Systems paper on computing a productive repair for possibilistic partially ordered DL-Lite_R ontologies; in 2026, he coauthors LAVA, which uses self-attention to learn video features for wastewater-pipe anomaly detection.

Career

  1. Since 2003University of ArtoisFull professor of computer science
  2. 2008–2017Université Lille Nord de France
  3. 1994–2003CNRSCNRS researcher
  4. 1992–2003Université Toulouse Capitole
  5. 1992–2003Université d'Artois

Education

  1. 2000Université Toulouse III - Paul SabatierHabilitation à Diriger des Recherches
  2. 1994Université Toulouse III - Paul SabatierPhD

From the biography and OpenAlex affiliations (the years of papers that list the organization), so some years are approximate.

Most-cited works

  1. Organization based access control2004 · 572 citations
  2. Naive Bayes vs decision trees in intrusion detection systems2004 · ACM Symposium on Applied Computing · 486 citations
  3. Inconsistency management and prioritized syntax-based entailment1993 · 354 citationsWith Didier Dubois, Henri Prade and Jérôme Lang
  4. Representing default rules in possibilistic logic1992 · 231 citationsWith Didier Dubois and Henri Prade
  5. Nonmonotonic reasoning, conditional objects and possibility theory1997 · Artificial Intelligence · 224 citationsWith Didier Dubois and Henri Prade

From OpenAlex, as of 21 October 2026.

  1. The Massachusetts Institute of Technology trained or employed 44 of the 187 AI major-prize winners, more than any other universityIncludes Salem Benferhat. The Massachusetts Institute of Technology trained or employed 44 of the 187 AI major-prize winners, more than any other university. We compare doctorate and 5+ year employment links, career timing and current workplaces for 187 major-prize and 1,111 best-paper winners.
  2. The company share of AI researchers’ top papers was 31% in 2020–2024 and 8% in 1970–1974Includes University of Artois. We estimate where the people shaping AI worked when their most-cited papers appeared: the company share was 31% in 2020–2024 and 8% in 1970–1974, and Google led all organizations in 2020–2024.
  3. Universities keep AI researchers for a median of 6 years, compared with 2 years at frontier labsIncludes CNRS. Across 15,811 dated work stays (6,529 people), median role tenure runs from 6 years at universities to 2 years at frontier labs. We compare all five organization types, starting decades from the 1970s to the 2020s, and the organizations that keep people longest.
  4. People shaping AI work at a median of 3 organizations over a career: 3 for university starters and institute and lab starters, versus 2 for company startersIncludes CNRS. Across 6,853 people shaping AI with a dated work role, we estimate a median of 3 parent organizations over a career (mean 3.6), comparing role groups, starting sectors and starting decades from the 1950s to 2020–2026.

Colleagues

People named in this biography, and people with dated positions at the same organization in the same years.

Sources and credits

Photo: We have no published photo of Salem Benferhat yet. Send us a free-licensed photo.

  1. Inconsistency Management and Prioritized Syntax-Based Entailment | ML Anthology mlanthology.org. Checked 21 October 2026.
  2. Salem Benferhat - The Mathematics Genealogy Project mathgenealogy.org. Checked 21 October 2026.
  3. International Conference on Networking and Advanced Systems (ICNAS 2013) | Salem Benferhat biography lrs-annaba.net. Checked 21 October 2026.
  4. Possibilistic Logic Bases and Possibilistic Graphs | ML Anthology mlanthology.org. Checked 21 October 2026.
  5. Bipolar Possibilistic Representations | ML Anthology mlanthology.org. Checked 21 October 2026.
  6. Awards | CRIL cril.univ-artois.fr. Checked 21 October 2026.
  7. Salem Benferhat | CRIL cril.univ-artois.fr. Checked 21 October 2026.
  8. Awards | European Association for Artificial Intelligence eurai.org. Checked 21 October 2026.
  9. How to Select One Preferred Assertional-Based Repair from Inconsistent and Prioritized DL-Lite Knowledge Bases? | ML Anthology mlanthology.org. Checked 21 October 2026.
  10. Horizon Europe STARWARS | CRIL cril.univ-artois.fr. Checked 21 October 2026.