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
2020:
- Y. Salhi: A Framework for Measuring Information Asymmetry. AAAI 2020: 2983-2990.
- Y. Salhi: Inconsistency Measurement for Improving Logical Formula Clustering. IJCAI 2020: 1891-1897.
- Y. Salhi: On Reasoning about Access to Knowledge. LPAR 2020: 449-464.
- Y. Salhi: On Satisfiability Problem in Modal Logic S5. SAC 2020: 948-955.
2019:
- Y. Salhi: Qualitative Reasoning and Data Mining. TIME 2019: 9:1-9:15.
- Y. Boumarafi and Y. Salhi: On Solving Exactly-One-SAT. ICTAI 2019: 10-17.
- Y. Salhi: On an Argument-centric Persuasion Framework. AAMAS 2019: 1279-1287.
- Y. Salhi: Entailment Functions and Reasoning Under Inconsistency. AAMAS 2019: 2183-2185.
- Y. Salhi: On Enumerating All the Minimal Models for Particular CNF Formula Classes. ICAART (2) 2019: 403-410.
2018:
- Y. Salhi: A Method for Generating all the Prime Implicants of Binary CNF Formulas. ISAIM 2018: 228-239.
- 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).