yakoub salhi
yakoub salhi
Associate 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
572012
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
432013
Boolean satisfiability for sequence mining
S Jabbour, L Sais, Y Salhi
Proceedings of the 22nd ACM international conference on Information …, 2013
312013
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
282014
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
272014
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
242016
A Pigeon-Hole Based Encoding of Cardinality Constraints.
S Jabbour, L Sais, Y Salhi
ISAIM 1 (3), 1.2, 2014
222014
On measuring inconsistency using maximal consistent sets
M Ammoura, B Raddaoui, Y Salhi, B Oukacha
European Conference on Symbolic and Quantitative Approaches to Reasoning and …, 2015
202015
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
182016
Revisiting the learned clauses database reduction strategies
S Jabbour, J Lonlac, L Sais, Y Salhi
arXiv preprint arXiv:1402.1956, 2014
182014
Decomposition based SAT encodings for itemset mining problems
S Jabbour, L Sais, Y Salhi
Pacific-Asia Conference on Knowledge Discovery and Data Mining, 662-674, 2015
172015
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, 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
On an MCS-based inconsistency measure
M Ammoura, Y Salhi, B Oukacha, B Raddaoui
International Journal of Approximate Reasoning 80, 443-459, 2017
152017
Enumerating non-redundant association rules using satisfiability
A Boudane, S Jabbour, L Sais, Y Salhi
Pacific-Asia conference on knowledge discovery and data mining, 824-836, 2017
142017
Sequent calculi and decidability for intuitionistic hybrid logic
D Galmiche, Y Salhi
Information and Computation 209 (12), 1447-1463, 2011
142011
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
142010
Mining top-k motifs with a sat-based framework
S Jabbour, L Sais, Y Salhi
Artificial Intelligence 244, 30-47, 2017
132017
Quantifying conflicts for spatial and temporal information
JF Condotta, B Raddaoui, Y Salhi
Fifteenth International Conference on the Principles of Knowledge …, 2016
122016
A simple decomposition scheme for large real world qualitative constraint networks
M Sioutis, Y Salhi, JF Condotta
The Twenty-Eighth International Flairs Conference, 2015
102015
The system can't perform the operation now. Try again later.
Articles 1–20