Cooperative Bees Swarm for Solving the Maximum Weighted Satisfiability Problem. - Habiba Drias; Souhila Sadeg; Safa Yahi (IWANN, 2005)

On the Compilation of Stratified Belief Bases under Linear and Possibilistic Logic Policies. - Salem Benferhat; Safa Yahi; Habiba Drias (IJCAI, 2007)

On the Compilation of Possibilistic Default Theories. - Salem Benferhat; Safa Yahi; Habiba Drias (FLAIRS, 2008)

A Lexicographic Inference for Partially Preordered Belief Bases. - Safa Yahi; Salem Benferhat; Sylvain Lagrue; Mariette Sérayet; Odile Papini (KR, 2008)

Compiling the Lexicographic Inference Using Boolean Cardinality Constraints. - Safa Yahi; Salem Benferhat (Canadian AI, 2009)

Complexity and Cautiousness Results for Reasoning from Partially Preordered Belief Bases. - Salem Benferhat; Safa Yahi (ECSQARU, 2009)

Conflicts Handling in Cooperative Intrusion Detection: A Description Logic Approach. - Safa Yahi; Salem Benferhat; Tayeb Kenaza (ICTAI (2), 2010)

Bridging Possibilistic Conditional Knowledge Bases and Partially Ordered Bases. - Salem Benferhat; Sylvain Lagrue; Safa Yahi (JELIA, 2010)

A New Default Theories Compilation for MSP-Entailment. - Salem Benferhat; Safa Yahi; Habiba Drias (J. Autom. Reason., 2010)

On Warranted Inference in Argument Trees Based Framework. - Safa Yahi (SUM, 2011)

Étude comparative des relations d'inférence à partir de bases de croyances partiellement préordonnées. - Salem Benferhat; Safa Yahi (Rev. d'Intelligence Artif., 2012)

Constrained Value-Based Argumentation Framework. - Karima Sedki; Safa Yahi (IPMU (2), 2016)