Author:Yakoub Salhi

Publications
On Reasoning about Access to Knowledge Yakoub Salhi In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes Yazid Boumarafi, Lakhdar Sais and Yakoub Salhi In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Resolution Method for Modal Logic S5 Yakoub Salhi and Michael Sioutis In:GCAI 2015. Global Conference on Artificial Intelligence