MUS-based generation of arguments and counter-arguments. - Philippe Besnard; Éric Grégoire; Cédric Piette; Badran Raddaoui (IRI, 2010)

An Argumentation Framework for Reasoning about Bounded Resources. - Philippe Besnard; Éric Grégoire; Badran Raddaoui (ICTAI, 2012)

Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants. - Philippe Besnard; Éric Grégoire; Cédric Piette; Badran Raddaoui (Rev. d'Intelligence Artif., 2012)

Measuring Inconsistency through Minimal Proofs. - Saïd Jabbour; Badran Raddaoui (ECSQARU, 2013)

A Conditional Logic-Based Argumentation Framework. - Philippe Besnard; Éric Grégoire; Badran Raddaoui (SUM, 2013)

Inconsistency measurement thanks to mus decomposition. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui (AAMAS, 2014)

Prime Implicates Based Inconsistency Characterization. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui; Lakhdar Sais (ECAI, 2014)

On the Characterization of Inconsistency: A Prime Implicates Based Framework. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui; Lakhdar Sais (ICTAI, 2014)

On the measure of conflicts: A MUS-Decomposition Based Framework. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui; Lakhdar Sais; Yakoub Salhi (CoRR, 2014)

On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui; Lakhdar Sais; Yakoub Salhi (AAMAS, 2015)

On Measuring Inconsistency Using Maximal Consistent Sets. - Meriem Ammoura; Badran Raddaoui; Yakoub Salhi; Brahim Oukacha (ECSQARU, 2015)

Inconsistency-based Ranking of Knowledge Bases. - Saïd Jabbour; Badran Raddaoui; Lakhdar Sais (ICAART (2), 2015)

Computing Inconsistency Using Logical Argumentation. - Badran Raddaoui (ICAART (2), 2015)

Un système argumentatif pour le raisonnement sur des ressources limitées. - Philippe Besnard; Éric Grégoire; Badran Raddaoui (Rev. d'Intelligence Artif., 2015)

Summarizing big graphs by means of pseudo-boolean constraints. - Saïd Jabbour; Nizar Mhadhbi; Abdesattar Mhadhbi; Badran Raddaoui; Lakhdar Sais (IEEE BigData, 2016)

On the Computation of Top-k Extensions in Abstract Argumentation Frameworks. - Saïd Jabbour; Badran Raddaoui; Lakhdar Sais; Yakoub Salhi (ECAI, 2016)

Knowledge Base Compilation for Inconsistency Measures. - Saïd Jabbour; Badran Raddaoui; Lakhdar Sais (ICAART (2), 2016)

Mining Frequent Patterns from Correlated Incomplete Databases. - Badran Raddaoui; Ahmed Samet (ICAART (2), 2016)

A SAT-Based Approach for Enumerating Interesting Patterns from Uncertain Data. - Imen Ouled Dlala; Saïd Jabbour; Badran Raddaoui; Lakhdar Sais; Boutheina Ben Yaghlane (ICTAI, 2016)

Argumentation Framework Based on Evidence Theory. - Ahmed Samet; Badran Raddaoui; Tien-Tuan Dao; Allel Hadjali (IPMU (2), 2016)

Quantifying Conflicts for Spatial and Temporal Information. - Jean-François Condotta; Badran Raddaoui; Yakoub Salhi (KR, 2016)

A MIS Partition Based Framework for Measuring Inconsistency. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui; Lakhdar Sais; Yakoub Salhi (KR, 2016)

Finding Overlapping Communities in Networks Using Propositional Satisfiability. - Saïd Jabbour; Nizar Mhadhbi; Badran Raddaoui; Lakhdar Sais (EDA, 2017)

Reasoning Under Conflicts in Smart Environment. - Hela Sfar; Badran Raddaoui; Amel Bouzeghoub (ICONIP (3), 2017)

A SAT-Based Framework for Overlapping Community Detection in Networks. - Saïd Jabbour; Nizar Mhadhbi; Badran Raddaoui; Lakhdar Sais (PAKDD (2), 2017)

Towards a Formal Verification Approach for Cloud Software Architecture. - Amal Ayach; Layth Sliman; Mourad Kmimech; Mohamed Tahar Bhiri; Badran Raddaoui (SoMeT, 2017)

Towards a Formal Verification Approach for Service Component Architecture. - Wael Chargui; Taoufik Sakka Rouis; Mourad Kmimech; Mohamed Tahar Bhiri; Layth Sliman; Badran Raddaoui (SoMeT, 2017)

Handling conflicts in uncertain ontologies using deductive argumentation. - Amel Bouzeghoub; Saïd Jabbour; Yue Ma 009; Badran Raddaoui (WI, 2017)

Behavioral Verification of Service Component Architecture. - Wael Chargui; Taoufik Sakka Rouis; Mourad Kmimech; Mohamed Tahar Bhiri; Layth Sliman; Badran Raddaoui (WETICE, 2017)

On an MCS-based inconsistency measure. - Meriem Ammoura; Yakoub Salhi; Brahim Oukacha; Badran Raddaoui (Int. J. Approx. Reason., 2017)

Quantifying conflicts in propositional logic through prime implicates. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui; Lakhdar Sais (Int. J. Approx. Reason., 2017)

Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability. - Saïd Jabbour; Nizar Mhadhbi; Badran Raddaoui; Lakhdar Sais (AINA, 2018)

Detecting Highly Overlapping Community Structure by Model-based Maximal Clique Expansion. - Saïd Jabbour; Nizar Mhadhbi; Badran Raddaoui; Lakhdar Sais (IEEE BigData, 2018)

A Parallel SAT-Based Framework for Closed Frequent Itemsets Mining. - Imen Ouled Dlala; Saïd Jabbour; Badran Raddaoui; Lakhdar Sais (CP, 2018)

On Maximal Frequent Itemsets Mining with Constraints. - Saïd Jabbour; Fatima Ezzahra Mana; Imen Ouled Dlala; Badran Raddaoui; Lakhdar Sais (CP, 2018)

Pushing the Envelope in Overlapping Communities Detection. - Saïd Jabbour; Nizar Mhadhbi; Badran Raddaoui; Lakhdar Sais (IDA, 2018)

Efficient SAT-Based Encodings of Conditional Cardinality Constraints. - Abdelhamid Boudane; Saïd Jabbour; Badran Raddaoui; Lakhdar Sais (LPAR, 2018)

Early anomaly detection in smart home: A causal association rule-based approach. - Hela Sfar; Amel Bouzeghoub; Badran Raddaoui (Artif. Intell. Medicine, 2018)

Efficient Encodings of Conditional Cardinality Constraints. - Abdelhamid Boudane; Saïd Jabbour; Badran Raddaoui; Lakhdar Sais (CoRR, 2018)

On the measure of conflicts: an argumentation-based framework. - Badran Raddaoui (J. Appl. Non Class. Logics, 2018)

On Relaxing Failing Queries over RDF Databases. - Wafaa Mebrek; Badran Raddaoui; Mohamad Albilani (IEEE BigData, 2019)

Towards a Prudent Argumentation Framework for Reasoning with Imperfect Ontologies. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui (Description Logics, 2019)

Représentations compactes des graphes et contraintes pseudo booléennes. - Saïd Jabbour; Nizar Mhadhbi; Badran Raddaoui; Lakhdar Sais (EGC, 2019)

Argumentative Approach for the Discovery Truth: The Role of Source Dependence. - Dorsaf Salah; Badran Raddaoui; Mohamed Othmani (IINTEC, 2019)

Handling Disagreement in Ontologies-Based Reasoning via Argumentation. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui (WISE, 2019)

Extracting Frequent Gradual Patterns Using Constraints Modeling. - Jerry Lonlac; Saïd Jabbour; Engelbert Mephu Nguifo; Lakhdar Saïs; Badran Raddaoui (CoRR, 2019)

A SAT-Based Approach for Mining High Utility Itemsets from Transaction Databases. - Amel Hidouri; Saïd Jabbour; Badran Raddaoui; Boutheina Ben Yaghlane (DaWaK, 2020)

On the Enumeration of Association Rules: A Decomposition-based Approach. - Yacine Izza; Saïd Jabbour; Badran Raddaoui; Abdelhamid Boudane (IJCAI, 2020)

Maximal Clique Based Influence Maximization in Networks. - Nizar Mhadhbi; Badran Raddaoui (IPMU (1), 2020)

Cohesive Subgraph Models for Overlapping Community Search over Networks. - Khaled Adeyl; Mourad Kmimech; Nizar Mhadhbi; Badran Raddaoui (SoMeT, 2020)

SAT-based models for overlapping community detection in networks. - Saïd Jabbour; Nizar Mhadhbi; Badran Raddaoui; Lakhdar Sais (Computing, 2020)

On Minimal and Maximal High Utility Itemsets Mining using Propositional Satisfiability. - Amel Hidouri; Saïd Jabbour; Imen Ouled Dlala; Badran Raddaoui (IEEE BigData, 2021)

A Declarative Framework for Mining Top-k High Utility Itemsets. - Amel Hidouri; Saïd Jabbour; Badran Raddaoui; Mouna Chebbah; Boutheina Ben Yaghlane (DaWaK, 2021)

A Constraint-based Approach for Enumerating Gradual Itemsets. - Amel Hidouri; Saïd Jabbour; Jerry Lonlac; Badran Raddaoui (ICTAI, 2021)

Mining Closed High Utility Itemsets based on Propositional Satisfiability. - Amel Hidouri; Saïd Jabbour; Badran Raddaoui; Boutheina Ben Yaghlane (Data Knowl. Eng., 2021)

A Declarative Framework for Maximal k-plex Enumeration Problems. - Saïd Jabbour; Nizar Mhadhbi; Badran Raddaoui; Lakhdar Sais (AAMAS, 2022)

On the Enumeration of Frequent High Utility Itemsets: A Symbolic AI Approach. - Amel Hidouri; Saïd Jabbour; Badran Raddaoui (CP, 2022)

Discovering Overlapping Communities Based on Cohesive Subgraph Models over Graph Data. - Saïd Jabbour; Mourad Kmimech; Badran Raddaoui (DaWaK, 2022)

A Parallel Declarative Framework for Mining High Utility Itemsets. - Amel Hidouri; Saïd Jabbour; Badran Raddaoui; Mouna Chebbah; Boutheina Ben Yaghlane (IPMU (2), 2022)

A Framework for Reasoning About Uncertainty in Ontologies. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui (IEEE Intell. Syst., 2022)

Towards Novel Inference Relations based on Logical Argumentation. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui (AI³@AI*IA, 2023)

Extracting Frequent Gradual Patterns Based on SAT. - Jerry Lonlac; Imen Ouled Dlala; Saïd Jabbour; Engelbert Mephu Nguifo; Badran Raddaoui; Lakhdar Sais (DATA, 2023)

A Non-overlapping Community Detection Approach Based on α-Structural Similarity. - Motaz Ben Hassine; Saïd Jabbour; Mourad Kmimech; Badran Raddaoui; Mohamed Graiet (DaWaK, 2023)

Towards a Unified Symbolic AI Framework for Mining High Utility Itemsets. - Amel Hidouri; Badran Raddaoui; Saïd Jabbour (iiWAS, 2023)

Ranking-based Argumentation Semantics Applied to Logical Argumentation. - Jesse Heyninck; Badran Raddaoui; Christian Straßer (IJCAI, 2023)

Targeting Minimal Rare Itemsets from Transaction Databases. - Amel Hidouri; Badran Raddaoui; Saïd Jabbour (IJCAI, 2023)

A Symbolic Approach to Computing Disjunctive Association Rules from Data. - Saïd Jabbour; Badran Raddaoui; Lakhdar Sais (IJCAI, 2023)

A Comparative Study of Ranking Formulas Based on Consistency. - Badran Raddaoui; Christian Straßer; Saïd Jabbour (IJCAI, 2023)

Ranking-based Argumentation Semantics Applied to Logical Argumentation (full version). - Jesse Heyninck; Badran Raddaoui; Christian Straßer (CoRR, 2023)

Corrigendum to "Mining Closed High Utility Itemsets based on Propositional Satisfiability" [Data Knowl. Eng. 136C (2021) 101927]. - Amel Hidouri; Saïd Jabbour; Badran Raddaoui; Boutheina Ben Yaghlane (Data Knowl. Eng., 2023)

Towards a Principle-based Framework for Repair Selection in Inconsistent Knowledge Bases. - Saïd Jabbour; Yue Ma 009; Badran Raddaoui (AAMAS, 2024)

A Principle-based Framework for Repair Selection in Inconsistent Ontologies (Extended Abstract). - Saïd Jabbour; Yue Ma 009; Badran Raddaoui (Description Logics, 2024)

On the Discovery of Conceptual Clustering Models Through Pattern Mining. - Motaz Ben Hassine; Saïd Jabbour; Mourad Kmimech; Badran Raddaoui; Mohamed Graiet (ECAI, 2024)

Enumération des itemsets rares minimaux à partir des bases de données transactionnelles. - Amel Hidouri; Badran Raddaoui; Saïd Jabbour (EGC, 2024)

On the Learning of Explainable Classification Rules through Disjunctive Patterns. - Amel Hidouri; Saïd Jabbour; Badran Raddaoui; Ahmed Samet (ICTAI, 2024)

Towards a Principle-based Framework for Assessing the Contribution of Formulas on the Conflicts of Knowledge Bases. - Badran Raddaoui; Christian Straßer; Saïd Jabbour (IJCAI, 2024)

Deontic Reasoning Based on Inconsistency Measures. - Ofer Arieli; Kees van Berkel 002; Badran Raddaoui; Christian Straßer (KR, 2024)

On the Discovery of Frequent Gradual Patterns: A Symbolic AI-Based Framework. - Jerry Lonlac; Imen Ouled Dlala; Saïd Jabbour; Engelbert Mephu Nguifo; Badran Raddaoui; Lakhdar Saïs (SN Comput. Sci., 2024)

Une approche de clustering conceptuel via des k-motifs relaxés fréquents. - Motaz Ben Hassine; Saïd Jabbour; Mourad Kmimech; Badran Raddaoui; Mohamed Graiet (EGC, 2025)

Approche fondée sur les motifs disjonctifs pour l'apprentissage des règles de classification. - Amel Hidouri; Saïd Jabbour; Badran Raddaoui; Ahmed Samet (EGC, 2025)