Saïd Jabbour - Maître de conférences
Coordonnées
- Poste 15 17 77
- jabbour@cril.univ-artois.fr
- http://www.cril.univ-artois.fr/~jabbour
https://orcid.org/0000-0002-8389-8332
-
- fac
UFR des Sciences Jean Perrin
Rue Jean Souvraz SP 18
62307 Lens Cedex
France
Diplômes en cours ou obtenus en étant au CRIL
- Thèse : De la Satisfiabilité Propositionnelle aux Formules Booléennes Quantifiées 2008-12-05
- Habilitation à diriger des recherches : Des Données aux Connaissances : Modèles et Algorithmes 2018-12-06
Axes de recherche
- Données
- Connaissances
- Contraintes
-
Projets récents
- ANR POSTCRYPTUM 2021-2023
- ANR PRC CROQUIS 2022-2026
- PHC TASSILI 2018-2020
Publications
Articles de conférences internationales
2021 Amel Hidouri, Saïd Jabbour, Jerry Lonlac, Badran Raddaoui, A constraint-based approach for enumerating gradual itemsets in ICTAI 2021: 33rd IEEE International Conference on Tools with Artificial Intelligence,IEEE, pp. 582-589, 2021.
2021 Amel Hidouri, Saïd Jabbour, Imen Ouled Dlala, Badran Raddaoui, On minimal and maximal high utility itemsets mining using propositional satisfiability in BIGDATA 2021: IEEE International Conference on Big Data,IEEE, pp. 622-628, 2021.
2019 Saïd Jabbour, yue Ma, Badran Raddaoui, Handling disagreement in ontologies-based reasoning via argumentation in WISE 2019: 20th International Conference on Web Information Systems Engineering,Springer, vol. Lecture Notes in Computer Science, vol 11881, pp. 389 - 406, 2019.
2018 Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais, Efficient SAT-based encodings of conditional cardinality constraints in LPAR-22 2018: 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning,EPiC Series in Computing, vol. 57, pp. 181 - 195, 2018.
2018 Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais, Triangle-driven community detection in large graphs using propositional satisfiability in AINA 2018: 32nd International Conference on Advanced Information Networking and Applications,IEEE Computer Society, pp. 437 - 444, 2018.
2018 Saïd Jabbour, Fatima Ezzahra Mana, Imen Ouled Dlala, Badran Raddaoui, Lakhdar Sais, On maximal frequent itemsets mining with constraints in CP 2018 : 24th International Conference on Principles and Practice of Constraint Programming,Springer, pp. 554 - 569, 2018.
2018 Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais, A parallel SAT-based framework for closed frequent itemsets mining in CP 2018: 24th International Conference on Principles and Practice of Constraint Programming,Springer, pp. 570 - 587, 2018.
2018 Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais, Detecting highly overlapping community structure by model-based maximal clique expansion in BigData 2018: IEEE international conference on Big Data,IEEE Computer Society, pp. 1031 - 1036, 2018.
2018 Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais, Pushing the envelope in overlapping communities detection in IDA 2018: 17th international symposium on Intelligent Data Analysis,Springer, pp. 151 - 163, 2018.
2017 Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais, A SAT-based framework for overlapping community detection in networks in PAKDD 2017 : Pacific-Asia Conference on Knowledge Discovery and Data Mining,Springer, pp. 786 - 798, 2017.
2017 Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais, Finding overlapping communities in networks using propositional satisfiability in EDA 2017 : Journées francophones sur les Entrepôts de Données et l'Analyse en Ligne, Business Intelligence & Big Data,Editions RNTI, vol. RNTI-B-13, pp. 67 - 80, 2017.
2014 Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette, An Effective Distributed D&C Approach for the Satisfiability Problem in 22nd International Conference on Parallel, Distributed and Network-Based Computing (PDP'14),pp. 183-187, 2014.
2014 Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette, Dolius: A Distributed Parallel SAT Solving Framework in Pragmatics of SAT 2014 (POS'14),2014.
Rapports techniques
2013 Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette, PeneLoPe in SAT Competition 2013 2013.
Anciens doctorants
- Imen Ouled Dlala : Enumération des motifs intéressants dans les bases de données incertaines soutenue le : 2018-12-17
- Nizar Mhadhbi : Fouilles de graphes et application aux réseaux sociaux soutenue le : 2018-12-03
- Abdelhamid Boudane : Fouille de données par contraintes soutenue le : 2018-09-13
- Benoît Hoessen : Parallélisation de solveurs de contraintes soutenue le : 2014-12-10
- Jerry Lonlac Konlac : Résolution du problème de Satisfiabilité propositionnelle (SAT) et ses applications soutenue le : 2014-10-03
- Long Guo : Résolution séquentielle et parallèle du problème de la satisfiabilité propositionnelle soutenue le : 2013-07-08
-
Projets anciens
- ANR DAG 2009-2013
- Collaboration CRIL – RATP 2016-2017
- In Ludo Securitas 2013-2014
- Pajero 2011-2015
- QDoSSI - CNRS, Défi Mastodons 2016-2018
- SMARTROAD: Services intelligents pour la fluidification du trafic routier 2019