Revues internationales
- Salem Benferhat and Safa Yahi. A New Default Theories Compilation for MSP-entailment. Revue Journal of Automated Reasoning (JAR), 2009. A paraître.
- Safa Yahi, Mariette Sérayet, Sylvain Lagrue et Odile Papini. Une
inférence lexicographique à partir de bases de croyances partiellement
pré-ordonnées. Revue Information – Interaction - Intelligence (I3), 2009. A paraître.
Conférences internationales avec actes et comité de lecture
- Salem Benferhat and Safa Yahi. Complexity and Cautiousness Results
for Reasoning from Partially Preordered Belief Bases. In proceedings of
the 10th European Conference on Symbolic and Quantitative Approaches to
Reasoning with Uncertainty (ECSQARU'09), pages 817-828, Verona, 2009.
- Safa Yahi and Salem Benferhat. Compiling the Lexicographic
Inference Using Boolean Cardinality Constraints. In proceedings of the
22nd Canadian Conference on Artificial Intelligence (Canadian AI'09), pages 171-182, Kelowna, 2009
- Safa Yahi, Salem Benferhat, Sylvain Lagrue, Mariette Sérayet,
Odile Papini. "A Lexicographic Inference for Partially Preordered
Belief Bases . In proceedings of the 11th International Conference of
Principles of Knowledge Representation and Reasoning (KR'08).
- Salem Benferhat, Safa Yahi, Habiba Drias. "On the Compilation of
Possibilistic Default Theories. In proceedings of the 21st
International FLAIRS conference (FLAIRS'08)
- Salem Benferhat, Safa Yahi, Habiba Drias. "Compilation de Bases de
Croyances Stratifiées. In proceedings of the 8th International
Symposium on Programming and Systems (ISPS'07), Alger, Algérie, 2007.
- Salem Benferhat, Safa Yahi et Habiba Drias. "On the Compilation of
Stratified Belief Bases under Linear and Possibilistic Logic Policies".
In proceedings of the 20th International Joint Conference on Artificial
Intelligence (IJCAI'07), pages 2425-2430, Hyderabad, India, 2007.
- Habiba Drias, Souhila Sadeg, Safa Yahi. "Cooperative Bees Swarm
for Solving the Maximum Weighted Satisfiability Problem". In
proceedings of the 8th International Work-Conference on Artificial and
Natural Neural Networks (IWANN'05), pages 318-325, Barcelona, Spain,
2005.
Conférences nationales avec comité de lecture
- Salem Benferhat et Safa Yahi. Résultats de complexité, prudence et
propriétés logiques des relations d’inférence à partir de bases de
croyances partiellement préordonnées. Journées d'Intelligence
Artificielle Fondamentale (IAF'09), Marseille, 2009.
- Safa Yahi, Salem Benferhat, Sylvain Lagrue, Mariette Sérayet et
Odile Papini. Une inférence lexicographique à partir de bases de
croyances partiellement pré-ordonnées. Journées d'Intelligence
Artificielle Fondamentale (IAF'08), Paris, 2008.
- Safa Yahi. Compilation de bases de défauts. Rencontres francophones sur la Logique Floue et ses Applications (LFA’08), Lens, 2008.
|
