HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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

Keyphrases

conjunctive normal form, Knowledge Access, Knowledge Hiding, knowledge sharing, maximum independent set, modal logic S5, propositional logic, propositional satisfiability, resolution method, Tractable classes.

Copyright © 2012-2025 easychair.org. All rights reserved.