background

Publications

International Journals

- A. Boudane, S. Jabbour, L. Sais, Y. Salhi: SAT-Based Data Mining. International Journal on Artificial Intelligence Tools 27(1): 1-24 (2018).

- S. Jabbour, L. Sais, Y. Salhi: Mining Top-k motifs with a SAT-based framework. Artif. Intell. 244: 30-47 (2017).

- M. Ammoura, Y. Salhi, B. Oukacha, B. Raddaoui: On an MCS-based inconsistency measure. Int. J. Approx. Reasoning 80: 443-459 (2017).

- M. Sioutis, Y. Salhi, J.-F. Condotta: Studying the use and effect of graph decomposition in qualitative spatial and temporal reasoning. Knowledge Eng. Review 32: e4 (2017).

- J.-F. Condotta, S. Kaci, Y. Salhi: Optimization in temporal qualitative constraint networks. Acta Inf. 53(2): 149-170 (2016).

- D. Galmiche, Y. Salhi: Tree-Sequent Calculi and Decision Procedures for Intuitionistic Modal Logics. Journal of Logic and Computation: (2015).

- J.-F. Condotta, S. Kaci, Y. Salhi: Optimization in temporal qualitative constraint networks. Acta Informatica: 1-22 (2015).

- 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

2018:

- Y. Salhi: A Method for Generating all the Prime Implicants of Binary CNF Formulas. ISAIM 2018.

- Y. Salhi: Approaches for Enumerating all the Essential Prime Implicants. AIMSA 2018.

- Y. Boumarafi, Y. Salhi: Tractable Classes in Exactly-One-SAT. AIMSA 2018.

2017:

- A. Boudane, S. Jabbour, L. Sais, Y. Salhi: Enumerating Non-redundant Association Rules Using Satisfiability. PAKDD (1) 2017: 824-836.

- A. Boudane, S. Jabbour, L. Sais, Y. Salhi: Clustering Complex Data Represented as Propositional Formulas. PAKDD (2) 2017: 441-452.

- Y. Boumarafi, L. Sais, Y. Salhi: From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes. LPAR 2017: 286-299.

- S. Hattad, S. Jabbour, L. Sais, Y. Salhi: Enhancing Pigeon-Hole based Encoding of Boolean Cardinality Constraints. ICAART (2) 2017: 299-307.

2016:

- S. Jabbour, B. Raddaoui, L. Sais, Y. Salhi: On the Computation of Top-k Extensions in Abstract Argumentation Frameworks. ECAI 2016: 913-920.

- S. Jabbour, S. Kaci, L. Sais, Y. Salhi: Itemset Mining with Penalties. ICTAI 2016: 962-966.

- A. Boudane, S. Jabbour, L. Sais, Y. Salhi: A SAT-Based Approach for Mining Association Rules. IJCAI 2016: 2472-2478.

- S. Jabbour, Y. Ma, B. Raddaoui, L. Sais, Y. Salhi: A MIS Partition Based Framework for Measuring Inconsistency. KR 2016: 84-93.

- J.-F. Condotta, B. Raddaoui, Y. Salhi: Quantifying Conflicts for Spatial and Temporal Information. KR 2016: 443-452.

2015:

- M. Sioutis, J.-F. Condotta, Y. Salhi, B. Mazure: Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method. TABLEAUX 2015: 54-69.

- M. Sioutis, J.-F. Condotta, Y. Salhi, B. Mazure, D. A. Randell: Ordering Spatio-Temporal Sequences to Meet Transition Constraints: Complexity and Framework. AIAI 2015: 130-150.

- S. Jabbour, S. Roussel, L. Sais, Y. Salhi: Mining to Compress Table Constraints. ICTAI 2015: 405-412.

-Y. Salhi, M. Sioutis: A Resolution Method for Modal Logic S5. GCAI 2015: 252-262.

-M. Ammoura, B. Raddaoui, Y. Salhi, B. Oukacha: On Measuring Inconsistency Using Maximal Consistent Sets. ECSQARU 2015: 267-276.

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

- S. Jabbour, L. Sais and Y. Salhi. Decomposition Based SAT Encodings for Itemset Mining Problems. PAKDD (2) 2015: 662-674.

- M. Sioutis, Y. Salhi and J-F. Condotta. On the Use and Effect of Graph Decomposition in Qualitative Reasoning. SAC 2015: 1874-1879.

- M. Sioutis, Y. Salhi and J-F. Condotta. A Simple Decomposition Scheme For Large Real World Qualitative Constraint Networks. FLAIRS Conference 2015: 119-122.

2014:

- 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.

2013:

- 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).

2012:

- 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.

2010:

- 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

- Y. BOUMARAFI, L. Sais, Y. Salhi : Caractérisation de nouvelles classes traitables en SAT via la théorie des graphes. JFPC 2017.

- A. Boudane, S. Jabbour, L. Sais, Y. Salhi: Une approche logique pour la fouille de règles d’association. EGC 2017: 357-362.

- 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).