Safa Yahi

12 papers A* 2B 1C 1Misc 2Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
2016 — conf
Constrained Value-Based Argumentation Framework.
IPMU (2)
Karima Sedki, Safa Yahi
2012 J jnl
Étude comparative des relations d'inférence à partir de bases de croyances partiellement préordonnées.
Rev. d'Intelligence Artif.
Salem Benferhat, Safa Yahi
2011 — conf
On Warranted Inference in Argument Trees Based Framework.
SUM
Safa Yahi
2010 J jnl
A New Default Theories Compilation for MSP-Entailment.
J. Autom. Reason.
Salem Benferhat, Safa Yahi, Habiba Drias
2010 B conf
Bridging Possibilistic Conditional Knowledge Bases and Partially Ordered Bases.
JELIA
Salem Benferhat, Sylvain Lagrue, Safa Yahi
2010 — conf
Conflicts Handling in Cooperative Intrusion Detection: A Description Logic Approach.
ICTAI (2)
Safa Yahi, Salem Benferhat, Tayeb Kenaza
2009 — conf
Compiling the Lexicographic Inference Using Boolean Cardinality Constraints.
Canadian AI
Safa Yahi, Salem Benferhat
2009 C conf
Complexity and Cautiousness Results for Reasoning from Partially Preordered Belief Bases.
ECSQARU
Salem Benferhat, Safa Yahi
2008 A* conf
A Lexicographic Inference for Partially Preordered Belief Bases.
KR
Safa Yahi, Salem Benferhat, Sylvain Lagrue, Mariette Sérayet, Odile Papini
2008 Misc conf
On the Compilation of Possibilistic Default Theories.
FLAIRS
Salem Benferhat, Safa Yahi, Habiba Drias
2007 A* conf
On the Compilation of Stratified Belief Bases under Linear and Possibilistic Logic Policies.
IJCAI
Salem Benferhat, Safa Yahi, Habiba Drias
2005 Misc conf
Cooperative Bees Swarm for Solving the Maximum Weighted Satisfiability Problem.
IWANN
Habiba Drias, Souhila Sadeg, Safa Yahi
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling