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
2023
Y. Salhi and M. Sioutis: A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning, the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023).
Y. Salhi and M. Sioutis: A Paraconsistency Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning, the 26th European Conference on Artificial Intelligence (ECAI 2023).
Y. Salhi and M. Sioutis: Prime Scenarios in Qualitative Spatial and Temporal Reasoning, the 30th International Symposium on Temporal Representation and Reasoning (TIME 2023).
2022
A. Boukontar, J.-F. Condotta, Y. Salhi: Knowledge Discovery from Qualitative Spatial and Temporal Data. ICTAI 2022: 451-458.
S. Kaci, Y. Salhi: Belief selection through argumentation. SAC 2022: 889-896.
2021
Y. Salhi: Quantification of Resource Production Incompleteness. AAAI 2021: 6480-6487.
Y. Salhi: Inconsistency Measurement for Paraconsistent Inference. IJCAI 2021: 2033-2039.
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