Follow
yakoub salhi
yakoub salhi
Professor, Université d'Artois, CRIL - CNRS
Verified email at cril.fr - Homepage
Title
Cited by
Cited by
Year
A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence.
E Coquery, S Jabbour, L Sais, Y Salhi
ECAI 242, 258-263, 2012
612012
The Top-k Frequent Closed Itemset Mining Using Top-k SAT Problem
S Jabbour, L Sais, Y Salhi
Joint European Conference on Machine Learning and Knowledge Discovery in …, 2013
492013
Enumerating prime implicants of propositional formulae in conjunctive normal form
S Jabbour, J Marques-Silva, L Sais, Y Salhi
European Workshop on Logics in Artificial Intelligence, 152-165, 2014
352014
Boolean satisfiability for sequence mining
S Jabbour, L Sais, Y Salhi
Proceedings of the 22nd ACM international conference on Information …, 2013
332013
A MIS partition based framework for measuring inconsistency
S Jabbour, Y Ma, B Raddaoui, L Sais, Y Salhi
Fifteenth International Conference on the Principles of Knowledge …, 2016
312016
Extending modern SAT solvers for models enumeration
S Jabbour, J Lonlac, L Sais, Y Salhi
Proceedings of the 2014 IEEE 15th International Conference on Information …, 2014
312014
Decomposition based SAT encodings for itemset mining problems
S Jabbour, L Sais, Y Salhi
Advances in Knowledge Discovery and Data Mining: 19th Pacific-Asia …, 2015
252015
A Pigeon-Hole Based Encoding of Cardinality Constraints.
S Jabbour, L Saïs, Y Salhi
ISAIM 1 (3), 1.2, 2014
252014
A sat-based approach for mining association rules
A Boudane, S Jabbour, L Sais, Y Salhi
Proceedings of the Twenty-Fifth International Joint Conference on Artificial …, 2016
232016
On measuring inconsistency using maximal consistent sets
M Ammoura, B Raddaoui, Y Salhi, B Oukacha
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 13th …, 2015
232015
Revisiting the learned clauses database reduction strategies
S Jabbour, J Lonlac, L Sais, Y Salhi
International Journal on Artificial Intelligence Tools 27 (08), 1850033, 2018
222018
Label-free natural deduction systems for intuitionistic and classical modal logics
D Galmiche, Y Salhi
Journal of Applied Non-Classical Logics 20 (4), 373-421, 2010
202010
On an MCS-based inconsistency measure
M Ammoura, Y Salhi, B Oukacha, B Raddaoui
International Journal of Approximate Reasoning 80, 443-459, 2017
192017
Mining top-k motifs with a sat-based framework
S Jabbour, L Sais, Y Salhi
Artificial Intelligence 244, 30-47, 2017
182017
Enumerating non-redundant association rules using satisfiability
A Boudane, S Jabbour, L Sais, Y Salhi
Advances in Knowledge Discovery and Data Mining: 21st Pacific-Asia …, 2017
182017
Studying the use and effect of graph decomposition in qualitative spatial and temporal reasoning
M Sioutis, Y Salhi, JF Condotta
The Knowledge Engineering Review 32, e4, 2017
162017
On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing.
S Jabbour, Y Ma, B Raddaoui, L Sais, Y Salhi
AAMAS, 1749-1750, 2015
162015
Quantifying conflicts for spatial and temporal information
JF Condotta, B Raddaoui, Y Salhi
Fifteenth International Conference on the Principles of Knowledge …, 2016
152016
Sequent calculi and decidability for intuitionistic hybrid logic
D Galmiche, Y Salhi
Information and Computation 209 (12), 1447-1463, 2011
142011
Tree-sequent calculi and decision procedures for intuitionistic modal logics
D Galmiche, Y Salhi
Journal of Logic and Computation 28 (5), 967-989, 2018
132018
The system can't perform the operation now. Try again later.
Articles 1–20