background

Publications

International Journals

- Didier Galmiche, Yakoub Salhi: Sequent calculi and decidability for intuitionistic hybrid logic. Information and Computation 209(12): 1447-1463 (2011).

- Didier Galmiche, Yakoub Salhi: Label-free natural deduction systems for intuitionistic and classical modal logics. Journal of Applied Non-Classical Logics 20(4): 373-421 (2010).

- Didier Galmiche, Yakoub Salhi: A family of Gödel hybrid logics. Journal of Applied Logic 8(4): 371-385 (2010).

International Conferences

- S. Jabbour, Y. Ma, B. Raddaoui, L. Sais and Y. Salhi. On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing. AAMAS2015.

- S. Jabbour, L. Sais and Y. Salhi. Decomposition Based SAT Encodings for Itemset Mining Problems. PAKDD 2015.

- M. Sioutis, Y. Salhi and J-F. Condotta. On the Use and Effect of Graph Decomposition in Qualitative Reasoning. 30th Annual ACM Symposium on Applied Computing (SAC), 2015.

- M. Sioutis, Y. Salhi and J-F. Condotta. A Simple Decomposition Scheme For Large Real World Qualitative Constraint Networks. Flairs 2015. - S. Kaci, Y. Salhi: A Constructive Argumentation Framework. AAAI 2014: 1070-1076.

- M. Sioutis, J-F. Condotta, Y. Salhi, B. Mazure: A Qualitative Spatio-Temporal Framework Based on Point Algebra. AIMSA 2014: 117-128.

- S. Jabbour, L. Saïs, Y. Salhi: A Pigeon-Hole Based Encoding of Cardinality Constraints. ISAIM 2014.

-S. Jabbour, J. Marques-Silva, L. Sais, Y. Salhi: Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form. JELIA 2014: 152-165.

- B. Benhamou, S. Jabbour, L. Sais and Y. Salhi: Symmetry Breaking in Itemset Mining. IC3K 2014.

- S. Jabbour, J. Lonlac, L. Sais and Y. Salhi: Extending Modern SAT Solvers for Models Enumeration. IEEE IRI 2014.

- S. Jabbour, L. Sais, Y. Salhi, T. Uno: Mining-based compression approach of propositional formulae. CIKM 2013: 289-298.

- S. Jabbour, L. Sais, Y. Salhi: Boolean satisfiability for sequence mining. CIKM 2013: 649-658.

- S. Jabbour, L. Sais, Y. Salhi: The Top-k Frequent Closed Itemset Mining Using Top-k SAT Problem. ECML/PKDD (3) 2013: 403-418.

- S. Jabbour, M. Khiari, L. Sais, Y. Salhi, Karim Tabia: Symmetry-Based Pruning in Itemset Mining. ICTAI 2013: 483-490.

- S. Jabbour, L. Sais, Y. Salhi: A Pigeon-Hole Based Encoding of Cardinality Constraints. TPLP 13(4-5-Online-Supplement) (2013).

- E. Coquery, S. Jabbour, L. Saïs, Y. Salhi: A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence. ECAI 2012: 258-263.

- S. Jabbour, L. Sais, Y. Salhi, K. Tabia: Symmetries in Itemset Mining. ECAI 2012: 432-437.

- Y. Salhi, S. Jabbour, L. Sais: Graded Modal Logic GS5 and Itemset Support Satisfiability. ISIP 2012: 131-140.

- D. Galmiche, Y. Salhi: Label-Free Proof Systems for Intuitionistic Modal Logic IS5. LPAR 2010: 255-271.

- D. Galmiche, Y. Salhi: Labelled Calculi for Lukasiewicz Logics. WoLLIC 2008: 194-207

National Conferences

- S. Jabbour, M. Khiari, L. Sais, Y. Salhi, K. Tabia: Symétries et Extraction de Motifs Ensemblistes. EGC 2014: 407-418.

- S. Jabbour, J. Lonlac, L. Sais and Y. Salhi: Autours des Strategies de Reduction de la Base de Clauses Apprises. JFPC 2014.

- S. Jabbour, L. Sais, Y. Salhi: Top-K SAT et son application à la fouille de données. JFPC 2014

- S. Jabbour, L. Sais, Y. Salhi, T. Uno: Fouille de données pour la compression de formules propositionnelles. JFPC 2014

Technical Reports

- S. Jabbour, J. Lonlac, L. Sais, Y. Salhi: Revisiting the Learned Clauses Database Reduction Strategies. CoRR abs/1402.1956 (2014).

- S. Jabbour, Y. Ma, B. Raddaoui, L. Sais, Y. Salhi: On the measure of conflicts: A MUS-Decomposition Based Framework. CoRR abs/1406.0155 (2014).

- S. Jabbour, L. Sais, Y. Salhi: Mining to Compact CNF Propositional Formulae. CoRR abs/1304.4415 (2013).

- S. Jabbour, L. Sais, Y. Salhi: Extending Modern SAT Solvers for Enumerating All Models. CoRR abs/1305.0574 (2013).

- S. Jabbour, L. Sais, Y. Salhi: A Mining-Based Compression Approach for Constraint Satisfaction Problems. CoRR abs/1305.3321 (2013).