Saïd Jabbour

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 74

Top Venues

Publications

Saïd Jabbour, Yue Ma, Badran Raddaoui
A Principle-based Framework for Repair Selection in Inconsistent Ontologies (Extended Abstract). Description Logics (2024)
Saïd Jabbour, Yue Ma, Badran Raddaoui
Towards a Principle-based Framework for Repair Selection in Inconsistent Knowledge Bases. AAMAS (2024)
Badran Raddaoui, Christian Straßer, Saïd Jabbour
A Comparative Study of Ranking Formulas Based on Consistency. IJCAI (2023)
Saïd Jabbour, Yue Ma, Badran Raddaoui
Towards Novel Inference Relations based on Logical Argumentation. AI³@AI*IA (2023)
Amel Hidouri, Saïd Jabbour, Badran Raddaoui, Boutheina Ben Yaghlane
Corrigendum to "Mining Closed High Utility Itemsets based on Propositional Satisfiability" [Data Knowl. Eng. 136C (2021) 101927]. Data Knowl. Eng. 146 (2023)
Amel Hidouri, Badran Raddaoui, Saïd Jabbour
Towards a Unified Symbolic AI Framework for Mining High Utility Itemsets. iiWAS (2023)
Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
A Symbolic Approach to Computing Disjunctive Association Rules from Data. IJCAI (2023)
Motaz Ben Hassine, Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet
A Non-overlapping Community Detection Approach Based on α-Structural Similarity. DaWaK (2023)
David Ing, Fabien Delorme, Saïd Jabbour, Nelly Robin, Lakhdar Sais
Classification with Explanation for Human Trafficking Networks. DSAA (2023)
Jerry Lonlac, Imen Ouled Dlala, Saïd Jabbour, Engelbert Mephu Nguifo, Badran Raddaoui, Lakhdar Sais
Extracting Frequent Gradual Patterns Based on SAT. DATA (2023)
Amel Hidouri, Badran Raddaoui, Saïd Jabbour
Targeting Minimal Rare Itemsets from Transaction Databases. IJCAI (2023)
Amel Hidouri, Saïd Jabbour, Badran Raddaoui
On the Enumeration of Frequent High Utility Itemsets: A Symbolic AI Approach. CP (2022)
Saïd Jabbour, Mourad Kmimech, Badran Raddaoui
Discovering Overlapping Communities Based on Cohesive Subgraph Models over Graph Data. DaWaK (2022)
Ikram Nekkache, Saïd Jabbour, Nadjet Kamel, Lakhdar Sais
Detecting and exploiting symmetries in sequential pattern mining. Int. J. Data Min. Model. Manag. 14 (4) (2022)
Amel Hidouri, Saïd Jabbour, Badran Raddaoui, Mouna Chebbah, Boutheina Ben Yaghlane
A Parallel Declarative Framework for Mining High Utility Itemsets. IPMU (2) (2022)
Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
-plex Enumeration Problems. AAMAS (2022)
Saïd Jabbour, Yue Ma, Badran Raddaoui
A Framework for Reasoning About Uncertainty in Ontologies. IEEE Intell. Syst. 37 (6) (2022)
Julien Martin-Prin, Imen Ouled Dlala, Nicolas Travers, Saïd Jabbour
A Distributed SAT-Based Framework for Closed Frequent Itemset Mining. ADMA (2) (2022)
Amel Hidouri, Saïd Jabbour, Badran Raddaoui, Boutheina Ben Yaghlane
Mining Closed High Utility Itemsets based on Propositional Satisfiability. Data Knowl. Eng. 136 (2021)
Ikram Nekkache, Saïd Jabbour, Lakhdar Sais, Nadjet Kamel
Towards a Compact SAT-Based Encoding of Itemset Mining Tasks. CPAIOR (2021)
Amel Hidouri, Saïd Jabbour, Badran Raddaoui, Mouna Chebbah, Boutheina Ben Yaghlane
A Declarative Framework for Mining Top-k High Utility Itemsets. DaWaK (2021)
Amel Hidouri, Saïd Jabbour, Imen Ouled Dlala, Badran Raddaoui
On Minimal and Maximal High Utility Itemsets Mining using Propositional Satisfiability. IEEE BigData (2021)
Amel Hidouri, Saïd Jabbour, Jerry Lonlac, Badran Raddaoui
A Constraint-based Approach for Enumerating Gradual Itemsets. ICTAI (2021)
Yacine Izza, Saïd Jabbour, Badran Raddaoui, Abdelhamid Boudane
On the Enumeration of Association Rules: A Decomposition-based Approach. IJCAI (2020)
Abderrahim Ait Wakrime, Saïd Jabbour, Nabil Hameurlain
A MaxSAT based approach for QoS cloud services. Int. J. Parallel Emergent Distributed Syst. 35 (6) (2020)
Abderrahim Ait Wakrime, Mouna Rekik, Saïd Jabbour
Cloud service composition using minimal unsatisfiability and genetic algorithm. Concurr. Comput. Pract. Exp. 32 (15) (2020)
Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
SAT-based models for overlapping community detection in networks. Computing 102 (5) (2020)
Amel Hidouri, Saïd Jabbour, Badran Raddaoui, Boutheina Ben Yaghlane
A SAT-Based Approach for Mining High Utility Itemsets from Transaction Databases. DaWaK (2020)
Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
Représentations compactes des graphes et contraintes pseudo booléennes. EGC (2019)
Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs
Mining Gradual Itemsets Using Sequential Pattern Mining. FUZZ-IEEE (2019)
Saïd Jabbour, Yue Ma, Badran Raddaoui
Towards a Prudent Argumentation Framework for Reasoning with Imperfect Ontologies. Description Logics (2019)
Saïd Jabbour, Yue Ma, Badran Raddaoui
Handling Disagreement in Ontologies-Based Reasoning via Argumentation. WISE (2019)
Jerry Lonlac, Saïd Jabbour, Engelbert Mephu Nguifo, Lakhdar Saïs, Badran Raddaoui
Extracting Frequent Gradual Patterns Using Constraints Modeling. CoRR (2019)
Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
SAT-Based Data Mining. Int. J. Artif. Intell. Tools 27 (1) (2018)
Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
Pushing the Envelope in Overlapping Communities Detection. IDA (2018)
Saïd Jabbour, Fatima Ezzahra Mana, Imen Ouled Dlala, Badran Raddaoui, Lakhdar Sais
On Maximal Frequent Itemsets Mining with Constraints. CP (2018)
Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
Efficient SAT-Based Encodings of Conditional Cardinality Constraints. LPAR (2018)
Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability. AINA (2018)
Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
A Parallel SAT-Based Framework for Closed Frequent Itemsets Mining. CP (2018)
Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
Detecting Highly Overlapping Community Structure by Model-based Maximal Clique Expansion. IEEE BigData (2018)
Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
Efficient Encodings of Conditional Cardinality Constraints. CoRR (2018)
Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Yakoub Salhi
Revisiting the Learned Clauses Database Reduction Strategies. Int. J. Artif. Intell. Tools 27 (8) (2018)
Saïd Jabbour, Fatima Zahra Mana, Lakhdar Sais
On Maximal Frequent Itemsets Enumeration. SoCPaR (2017)
Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Enumerating Non-redundant Association Rules Using Satisfiability. PAKDD (1) (2017)
Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
A SAT-Based Framework for Overlapping Community Detection in Networks. PAKDD (2) (2017)
Abderrahim Ait Wakrime, Saïd Jabbour
Formal Approach for QoS-Aware Cloud Service Composition. WETICE (2017)
Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Une approche logique pour la fouille de règles d'association. EGC (2017)
Amel Bouzeghoub, Saïd Jabbour, Yue Ma, Badran Raddaoui
Handling conflicts in uncertain ontologies using deductive argumentation. WI (2017)
Soukaina Hattad, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Enhancing Pigeon-Hole based Encoding of Boolean Cardinality Constraints. ICAART (2) (2017)
Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
Finding Overlapping Communities in Networks Using Propositional Satisfiability. EDA (2017)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Mining Top-k motifs with a SAT-based framework. Artif. Intell. 244 (2017)
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais
Quantifying conflicts in propositional logic through prime implicates. Int. J. Approx. Reason. 89 (2017)
Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Clustering Complex Data Represented as Propositional Formulas. PAKDD (2) (2017)
Saïd Jabbour
On Inconsistency Measuring and Resolving. ECAI (2016)
Saïd Jabbour, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
On the Computation of Top-k Extensions in Abstract Argumentation Frameworks. ECAI (2016)
Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
A SAT-Based Approach for Mining Association Rules. IJCAI (2016)
Abderrahim Ait Wakrime, Saïd Jabbour
On repairing queries in cloud computing. AICCSA (2016)
Saïd Jabbour, Nizar Mhadhbi, Abdesattar Mhadhbi, Badran Raddaoui, Lakhdar Sais
Summarizing big graphs by means of pseudo-boolean constraints. IEEE BigData (2016)
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
A MIS Partition Based Framework for Measuring Inconsistency. KR (2016)
Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais, Boutheina Ben Yaghlane
A SAT-Based Approach for Enumerating Interesting Patterns from Uncertain Data. ICTAI (2016)
Saïd Jabbour, Lakhdar Sais
Exploiting MUS Structure to Measure Inconsistency of Knowledge Bases. ECAI (2016)
Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
Knowledge Base Compilation for Inconsistency Measures. ICAART (2) (2016)
Imen Ouled Dlala, Saïd Jabbour, Lakhdar Saïs, Boutheina Ben Yaghlane
A Comparative Study of SAT-Based Itemsets Mining. SGAI Conf. (2016)
Saïd Jabbour, Souhila Kaci, Lakhdar Sais, Yakoub Salhi
Itemset Mining with Penalties. ICTAI (2016)
Youssef Hamadi, Saïd Jabbour, Lakhdar Saïs
What we can learn from conflicts in propositional satisfiability. Ann. Oper. Res. 240 (1) (2016)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
On SAT Models Enumeration in Itemset Mining. CoRR (2015)
Imen Ouled Dlala, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, Boutheina Ben Yaghlane
Parallel SAT based closed frequent itemsets enumeration. AICCSA (2015)
Saïd Jabbour, Stéphanie Roussel, Lakhdar Sais, Yakoub Salhi
Mining to Compress Table Constraints. ICTAI (2015)
Abderrahim Ait Wakrime, Saïd Jabbour
Minimum Unsatisfiability based QoS Web Service Composition over the Cloud Computing. ISDA (2015)
Abderrahim Ait Wakrime, Salima Benbernou, Saïd Jabbour
Relaxation Based SaaS for Repairing Failed Queries over the Cloud Computing. ICEBE (2015)
Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
Inconsistency-based Ranking of Knowledge Bases. ICAART (2) (2015)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Decomposition Based SAT Encodings for Itemset Mining Problems. PAKDD (2) (2015)
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing. AAMAS (2015)
Abderrahim Ait Wakrime, Saïd Jabbour
On QoS web service composition using satisfiability. ICTA (2015)
Belaïd Benhamou, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
A Generic and Declarative Method for Symmetry Breaking in Itemset Mining. IC3K (Selected Papers) (2014)
Saïd Jabbour, Yue Ma, Badran Raddaoui
Inconsistency measurement thanks to mus decomposition. AAMAS (2014)
Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette
An Effective Distributed D&C Approach for the Satisfiability Problem. PDP (2014)
Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Clémentin Tayou Djamégni
Résolution étendue par substitution dynamique des fonctions booléennes. Rev. d'Intelligence Artif. 28 (6) (2014)
Saïd Jabbour, João Marques-Silva, Lakhdar Sais, Yakoub Salhi
Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form. JELIA (2014)
Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette
Dolius: A Distributed Parallel SAT Solving Framework. POS@SAT (2014)
Saïd Jabbour, Jerry Lonlac, Lakhdar Sais, Yakoub Salhi
Revisiting the Learned Clauses Database Reduction Strategies. CoRR (2014)
Long Guo, Saïd Jabbour, Jerry Lonlac, Lakhdar Sais
Diversification by Clauses Deletion Strategies in Portfolio Parallel SAT Solving. ICTAI (2014)
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
On the measure of conflicts: A MUS-Decomposition Based Framework. CoRR (2014)
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais
Prime Implicates Based Inconsistency Characterization. ECAI (2014)
Saïd Jabbour, Jerry Lonlac, Lakhdar Sais, Yakoub Salhi
Extending modern SAT solvers for models enumeration. IRI (2014)
Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi
A Pigeon-Hole Based Encoding of Cardinality Constraints. ISAIM (2014)
Saïd Jabbour, Mehdi Khiari, Lakhdar Sais, Yakoub Salhi, Karim Tabia
Symétries et Extraction de Motifs Ensemblistes. EGC (2014)
Belaïd Benhamou, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Symmetry Breaking in Itemset Mining. KDIR (2014)
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais
On the Characterization of Inconsistency: A Prime Implicates Based Framework. ICTAI (2014)
Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs
Adding New Bi-Asserting Clauses for Faster Search in Modern SAT Solvers. SARA (2013)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
A Pigeon-Hole Based Encoding of Cardinality Constraints. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Mining to Compact CNF Propositional Formulae CoRR (2013)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
A Mining-Based Compression Approach for Constraint Satisfaction Problems CoRR (2013)
Saïd Jabbour, Mehdi Khiari, Lakhdar Sais, Yakoub Salhi, Karim Tabia
Symmetry-Based Pruning in Itemset Mining. ICTAI (2013)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, Takeaki Uno
Mining-based compression approach of propositional formulae. CIKM (2013)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Boolean satisfiability for sequence mining. CIKM (2013)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
The Top-k Frequent Closed Itemset Mining Using Top-k SAT Problem. ECML/PKDD (3) (2013)
Saïd Jabbour, Badran Raddaoui
Measuring Inconsistency through Minimal Proofs. ECSQARU (2013)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, Karim Tabia
Symmetries in Itemset Mining. ECAI (2012)
Saïd Jabbour, Jerry Lonlac, Lakhdar Sais
Extending Resolution by Dynamic Substitution of Boolean Functions. ICTAI (2012)

Saïd Jabbour.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Saïd Jabbour