yakoub salhi
yakoub salhi
Associate professor, Université d'Artois, CRIL - CNRS
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cril.fr - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
542012
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
392013
Boolean satisfiability for sequence mining
S Jabbour, L Sais, Y Salhi
Proceedings of the 22nd ACM international conference on Information …, 2013
292013
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
242014
A MIS partition based framework for measuring inconsistency
S Jabbour, Y Ma, B Raddaoui, L Sais, Y Salhi
Proceedings of the Fifteenth International Conference on Principles of …, 2016
222016
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
222014
A Pigeon-Hole Based Encoding of Cardinality Constraints.
S Jabbour, L Sais, Y Salhi
ISAIM 1 (3), 1.2, 2014
192014
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
182015
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
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
162016
On structure-based inconsistency measures and their computations via closed set packing
S Jabbour, Y Ma, B Raddaoui, L Sais, Y Salhi
Proceedings of the 2015 International Conference on Autonomous Agents and …, 2015
152015
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, 2016
132016
Sequent calculi and decidability for intuitionistic hybrid logic
D Galmiche, Y Salhi
Information and Computation 209 (12), 1447-1463, 2011
132011
Mining top-k motifs with a sat-based framework
S Jabbour, L Sais, Y Salhi
Artificial Intelligence 244, 30-47, 2017
122017
On an MCS-based inconsistency measure
M Ammoura, Y Salhi, B Oukacha, B Raddaoui
International Journal of Approximate Reasoning 80, 443-459, 2017
122017
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
122010
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
102017
Quantifying conflicts for spatial and temporal information
JF Condotta, B Raddaoui, Y Salhi
Proceedings of the Fifteenth International Conference on Principles of …, 2016
102016
Label-free proof systems for intuitionistic modal logic IS5
D Galmiche, Y Salhi
International Conference on Logic for Programming Artificial Intelligence …, 2010
102010
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20