Badran Raddaoui

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 58

Top Topics

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)
Jesse Heyninck, Badran Raddaoui, Christian Straßer
Ranking-based Argumentation Semantics Applied to Logical Argumentation (full version). CoRR (2023)
Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
A Symbolic Approach to Computing Disjunctive Association Rules from Data. IJCAI (2023)
Jesse Heyninck, Badran Raddaoui, Christian Straßer
Ranking-based Argumentation Semantics Applied to Logical Argumentation. 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)
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)
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)
Amel Hidouri, Saïd Jabbour, Badran Raddaoui, Boutheina Ben Yaghlane
Mining Closed High Utility Itemsets based on Propositional Satisfiability. Data Knowl. Eng. 136 (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)
Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
SAT-based models for overlapping community detection in networks. Computing 102 (5) (2020)
Nizar Mhadhbi, Badran Raddaoui
Maximal Clique Based Influence Maximization in Networks. IPMU (1) (2020)
Khaled Adeyl, Mourad Kmimech, Nizar Mhadhbi, Badran Raddaoui
Cohesive Subgraph Models for Overlapping Community Search over Networks. SoMeT (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)
Wafaa Mebrek, Badran Raddaoui, Mohamad Albilani
On Relaxing Failing Queries over RDF Databases. IEEE BigData (2019)
Dorsaf Salah, Badran Raddaoui, Mohamed Othmani
Argumentative Approach for the Discovery Truth: The Role of Source Dependence. IINTEC (2019)
Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
Représentations compactes des graphes et contraintes pseudo booléennes. EGC (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)
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)
Hela Sfar, Amel Bouzeghoub, Badran Raddaoui
Early anomaly detection in smart home: A causal association rule-based approach. Artif. Intell. Medicine 91 (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)
Badran Raddaoui
On the measure of conflicts: an argumentation-based framework. J. Appl. Non Class. Logics 28 (2-3) (2018)
Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
A SAT-Based Framework for Overlapping Community Detection in Networks. PAKDD (2) (2017)
Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui
Towards a Formal Verification Approach for Service Component Architecture. SoMeT (2017)
Amel Bouzeghoub, Saïd Jabbour, Yue Ma, Badran Raddaoui
Handling conflicts in uncertain ontologies using deductive argumentation. WI (2017)
Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
Finding Overlapping Communities in Networks Using Propositional Satisfiability. EDA (2017)
Hela Sfar, Badran Raddaoui, Amel Bouzeghoub
Reasoning Under Conflicts in Smart Environment. ICONIP (3) (2017)
Meriem Ammoura, Yakoub Salhi, Brahim Oukacha, Badran Raddaoui
On an MCS-based inconsistency measure. Int. J. Approx. Reason. 80 (2017)
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais
Quantifying conflicts in propositional logic through prime implicates. Int. J. Approx. Reason. 89 (2017)
Amal Ayach, Layth Sliman, Mourad Kmimech, Mohamed Tahar Bhiri, Badran Raddaoui
Towards a Formal Verification Approach for Cloud Software Architecture. SoMeT (2017)
Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui
Behavioral Verification of Service Component Architecture. WETICE (2017)
Saïd Jabbour, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
On the Computation of Top-k Extensions in Abstract Argumentation Frameworks. ECAI (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)
Jean-François Condotta, Badran Raddaoui, Yakoub Salhi
Quantifying Conflicts for Spatial and Temporal Information. KR (2016)
Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
Knowledge Base Compilation for Inconsistency Measures. ICAART (2) (2016)
Badran Raddaoui, Ahmed Samet
Mining Frequent Patterns from Correlated Incomplete Databases. ICAART (2) (2016)
Ahmed Samet, Badran Raddaoui, Tien-Tuan Dao, Allel Hadjali
Argumentation Framework Based on Evidence Theory. IPMU (2) (2016)
Meriem Ammoura, Badran Raddaoui, Yakoub Salhi, Brahim Oukacha
On Measuring Inconsistency Using Maximal Consistent Sets. ECSQARU (2015)
Philippe Besnard, Éric Grégoire, Badran Raddaoui
Un système argumentatif pour le raisonnement sur des ressources limitées. Rev. d'Intelligence Artif. 29 (3-4) (2015)
Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
Inconsistency-based Ranking of Knowledge Bases. ICAART (2) (2015)
Badran Raddaoui
Computing Inconsistency Using Logical Argumentation. ICAART (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)
Saïd Jabbour, Yue Ma, Badran Raddaoui
Inconsistency measurement thanks to mus decomposition. AAMAS (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, Yue Ma, Badran Raddaoui, Lakhdar Sais
On the Characterization of Inconsistency: A Prime Implicates Based Framework. ICTAI (2014)
Philippe Besnard, Éric Grégoire, Badran Raddaoui
A Conditional Logic-Based Argumentation Framework. SUM (2013)
Saïd Jabbour, Badran Raddaoui
Measuring Inconsistency through Minimal Proofs. ECSQARU (2013)
Philippe Besnard, Éric Grégoire, Badran Raddaoui
An Argumentation Framework for Reasoning about Bounded Resources. ICTAI (2012)
Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui
Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants. Rev. d'Intelligence Artif. 26 (3) (2012)
Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui
MUS-based generation of arguments and counter-arguments. IRI (2010)