Badran Raddaoui

82 papers A* 10A 10B 14C 9Misc 1Journal 15Unranked 23

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Approche fondée sur les motifs disjonctifs pour l'apprentissage des règles de classification. EGC Amel Hidouri, Saïd Jabbour, Badran Raddaoui, Ahmed Samet
2025	A*	`conf`	Decomposing Inconsistencies: Marginal Contributions and Pooling Techniques. IJCAI Christian Straßer, Badran Raddaoui, Saïd Jabbour
2025	—	`conf`	Une approche de clustering conceptuel via des k-motifs relaxés fréquents. EGC Motaz Ben Hassine, Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet
2024	—	`conf`	A Principle-based Framework for Repair Selection in Inconsistent Ontologies (Extended Abstract). Description Logics Saïd Jabbour, Yue Ma, Badran Raddaoui
2024	C	`conf`	Boosting the Discovery of Interval Patterns Using SAT. MEDES Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui
2024	A*	`conf`	Deontic Reasoning Based on Inconsistency Measures. KR Ofer Arieli, Kees van Berkel, Badran Raddaoui, Christian Straßer
2024	—	`conf`	Enumération des itemsets rares minimaux à partir des bases de données transactionnelles. EGC Amel Hidouri, Badran Raddaoui, Saïd Jabbour
2024	A	`conf`	On the Discovery of Conceptual Clustering Models Through Pattern Mining. ECAI Motaz Ben Hassine, Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet
2024	J	`jnl`	On the Discovery of Frequent Gradual Patterns: A Symbolic AI-Based Framework. SN Comput. Sci. Jerry Lonlac, Imen Ouled Dlala, Saïd Jabbour, Engelbert Mephu Nguifo, Badran Raddaoui, Lakhdar Saïs
2024	B	`conf`	On the Learning of Explainable Classification Rules through Disjunctive Patterns. ICTAI Amel Hidouri, Saïd Jabbour, Badran Raddaoui, Ahmed Samet
2024	A*	`conf`	Towards a Principle-based Framework for Assessing the Contribution of Formulas on the Conflicts of Knowledge Bases. IJCAI Badran Raddaoui, Christian Straßer, Saïd Jabbour
2024	A	`conf`	Towards a Principle-based Framework for Repair Selection in Inconsistent Knowledge Bases. AAMAS Saïd Jabbour, Yue Ma, Badran Raddaoui
2023	A*	`conf`	A Comparative Study of Ranking Formulas Based on Consistency. IJCAI Badran Raddaoui, Christian Straßer, Saïd Jabbour
2023	B	`conf`	A Non-overlapping Community Detection Approach Based on α-Structural Similarity. DaWaK Motaz Ben Hassine, Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet
2023	A*	`conf`	A Symbolic Approach to Computing Disjunctive Association Rules from Data. IJCAI Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
2023	J	`jnl`	Corrigendum to "Mining Closed High Utility Itemsets based on Propositional Satisfiability" [Data Knowl. Eng. 136C (2021) 101927]. Data Knowl. Eng. Amel Hidouri, Saïd Jabbour, Badran Raddaoui, Boutheina Ben Yaghlane
2023	C	`conf`	Extracting Frequent Gradual Patterns Based on SAT. DATA Jerry Lonlac, Imen Ouled Dlala, Saïd Jabbour, Engelbert Mephu Nguifo, Badran Raddaoui, Lakhdar Sais
2023	J	`jnl`	Ranking-based Argumentation Semantics Applied to Logical Argumentation (full version). CoRR Jesse Heyninck, Badran Raddaoui, Christian Straßer
2023	A*	`conf`	Ranking-based Argumentation Semantics Applied to Logical Argumentation. IJCAI Jesse Heyninck, Badran Raddaoui, Christian Straßer
2023	A*	`conf`	Targeting Minimal Rare Itemsets from Transaction Databases. IJCAI Amel Hidouri, Badran Raddaoui, Saïd Jabbour
2023	—	`conf`	Towards Novel Inference Relations based on Logical Argumentation. AI³@AI*IA Saïd Jabbour, Yue Ma, Badran Raddaoui
2023	C	`conf`	Towards a Unified Symbolic AI Framework for Mining High Utility Itemsets. iiWAS Amel Hidouri, Badran Raddaoui, Saïd Jabbour
2022	A	`conf`	A Declarative Framework for Maximal AAMAS Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
2022	J	`jnl`	A Framework for Reasoning About Uncertainty in Ontologies. IEEE Intell. Syst. Saïd Jabbour, Yue Ma, Badran Raddaoui
2022	—	`conf`	A Parallel Declarative Framework for Mining High Utility Itemsets. IPMU (2) Amel Hidouri, Saïd Jabbour, Badran Raddaoui, Mouna Chebbah, Boutheina Ben Yaghlane
2022	B	`conf`	Discovering Overlapping Communities Based on Cohesive Subgraph Models over Graph Data. DaWaK Saïd Jabbour, Mourad Kmimech, Badran Raddaoui
2022	A	`conf`	On the Enumeration of Frequent High Utility Itemsets: A Symbolic AI Approach. CP Amel Hidouri, Saïd Jabbour, Badran Raddaoui
2021	B	`conf`	A Constraint-based Approach for Enumerating Gradual Itemsets. ICTAI Amel Hidouri, Saïd Jabbour, Jerry Lonlac, Badran Raddaoui
2021	B	`conf`	A Declarative Framework for Mining Top-k High Utility Itemsets. DaWaK Amel Hidouri, Saïd Jabbour, Badran Raddaoui, Mouna Chebbah, Boutheina Ben Yaghlane
2021	J	`jnl`	Mining Closed High Utility Itemsets based on Propositional Satisfiability. Data Knowl. Eng. Amel Hidouri, Saïd Jabbour, Badran Raddaoui, Boutheina Ben Yaghlane
2021	—	`conf`	On Minimal and Maximal High Utility Itemsets Mining using Propositional Satisfiability. IEEE BigData Amel Hidouri, Saïd Jabbour, Imen Ouled Dlala, Badran Raddaoui
2020	B	`conf`	A SAT-Based Approach for Mining High Utility Itemsets from Transaction Databases. DaWaK Amel Hidouri, Saïd Jabbour, Badran Raddaoui, Boutheina Ben Yaghlane
2020	C	`conf`	Cohesive Subgraph Models for Overlapping Community Search over Networks. SoMeT Khaled Adeyl, Mourad Kmimech, Nizar Mhadhbi, Badran Raddaoui
2020	—	`conf`	Maximal Clique Based Influence Maximization in Networks. IPMU (1) Nizar Mhadhbi, Badran Raddaoui
2020	A*	`conf`	On the Enumeration of Association Rules: A Decomposition-based Approach. IJCAI Yacine Izza, Saïd Jabbour, Badran Raddaoui, Abdelhamid Boudane
2020	J	`jnl`	SAT-based models for overlapping community detection in networks. Computing Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
2019	—	`conf`	Argumentative Approach for the Discovery Truth: The Role of Source Dependence. IINTEC Dorsaf Salah, Badran Raddaoui, Mohamed Othmani
2019	J	`jnl`	Extracting Frequent Gradual Patterns Using Constraints Modeling. CoRR Jerry Lonlac, Saïd Jabbour, Engelbert Mephu Nguifo, Lakhdar Saïs, Badran Raddaoui
2019	B	`conf`	Handling Disagreement in Ontologies-Based Reasoning via Argumentation. WISE Saïd Jabbour, Yue Ma, Badran Raddaoui
2019	—	`conf`	On Relaxing Failing Queries over RDF Databases. IEEE BigData Wafaa Mebrek, Badran Raddaoui, Mohamad Albilani
2019	—	`conf`	Représentations compactes des graphes et contraintes pseudo booléennes. EGC Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
2019	—	`conf`	Towards a Prudent Argumentation Framework for Reasoning with Imperfect Ontologies. Description Logics Saïd Jabbour, Yue Ma, Badran Raddaoui
2018	A	`conf`	A Parallel SAT-Based Framework for Closed Frequent Itemsets Mining. CP Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
2018	—	`conf`	Detecting Highly Overlapping Community Structure by Model-based Maximal Clique Expansion. IEEE BigData Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
2018	J	`jnl`	Early anomaly detection in smart home: A causal association rule-based approach. Artif. Intell. Medicine Hela Sfar, Amel Bouzeghoub, Badran Raddaoui
2018	J	`jnl`	Efficient Encodings of Conditional Cardinality Constraints. CoRR Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
2018	B	`conf`	Efficient SAT-Based Encodings of Conditional Cardinality Constraints. LPAR Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
2018	A	`conf`	On Maximal Frequent Itemsets Mining with Constraints. CP Saïd Jabbour, Fatima Ezzahra Mana, Imen Ouled Dlala, Badran Raddaoui, Lakhdar Sais
2018	J	`jnl`	On the measure of conflicts: an argumentation-based framework. J. Appl. Non Class. Logics Badran Raddaoui
2018	B	`conf`	Pushing the Envelope in Overlapping Communities Detection. IDA Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
2018	B	`conf`	Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability. AINA Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
2017	—	`conf`	A SAT-Based Framework for Overlapping Community Detection in Networks. PAKDD (2) Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
2017	C	`conf`	Behavioral Verification of Service Component Architecture. WETICE Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui
2017	—	`conf`	Finding Overlapping Communities in Networks Using Propositional Satisfiability. EDA Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais
2017	B	`conf`	Handling conflicts in uncertain ontologies using deductive argumentation. WI Amel Bouzeghoub, Saïd Jabbour, Yue Ma, Badran Raddaoui
2017	J	`jnl`	On an MCS-based inconsistency measure. Int. J. Approx. Reason. Meriem Ammoura, Yakoub Salhi, Brahim Oukacha, Badran Raddaoui
2017	J	`jnl`	Quantifying conflicts in propositional logic through prime implicates. Int. J. Approx. Reason. Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais
2017	—	`conf`	Reasoning Under Conflicts in Smart Environment. ICONIP (3) Hela Sfar, Badran Raddaoui, Amel Bouzeghoub
2017	C	`conf`	Towards a Formal Verification Approach for Cloud Software Architecture. SoMeT Amal Ayach, Layth Sliman, Mourad Kmimech, Mohamed Tahar Bhiri, Badran Raddaoui
2017	C	`conf`	Towards a Formal Verification Approach for Service Component Architecture. SoMeT Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui
2016	A*	`conf`	A MIS Partition Based Framework for Measuring Inconsistency. KR Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
2016	B	`conf`	A SAT-Based Approach for Enumerating Interesting Patterns from Uncertain Data. ICTAI Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais, Boutheina Ben Yaghlane
2016	—	`conf`	Argumentation Framework Based on Evidence Theory. IPMU (2) Ahmed Samet, Badran Raddaoui, Tien-Tuan Dao, Allel Hadjali
2016	—	`conf`	Knowledge Base Compilation for Inconsistency Measures. ICAART (2) Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
2016	—	`conf`	Mining Frequent Patterns from Correlated Incomplete Databases. ICAART (2) Badran Raddaoui, Ahmed Samet
2016	A	`conf`	On the Computation of Top-k Extensions in Abstract Argumentation Frameworks. ECAI Saïd Jabbour, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
2016	A*	`conf`	Quantifying Conflicts for Spatial and Temporal Information. KR Jean-François Condotta, Badran Raddaoui, Yakoub Salhi
2016	—	`conf`	Summarizing big graphs by means of pseudo-boolean constraints. IEEE BigData Saïd Jabbour, Nizar Mhadhbi, Abdesattar Mhadhbi, Badran Raddaoui, Lakhdar Sais
2015	—	`conf`	Computing Inconsistency Using Logical Argumentation. ICAART (2) Badran Raddaoui
2015	—	`conf`	Inconsistency-based Ranking of Knowledge Bases. ICAART (2) Saïd Jabbour, Badran Raddaoui, Lakhdar Sais
2015	C	`conf`	On Measuring Inconsistency Using Maximal Consistent Sets. ECSQARU Meriem Ammoura, Badran Raddaoui, Yakoub Salhi, Brahim Oukacha
2015	A	`conf`	On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing. AAMAS Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
2015	J	`jnl`	Un système argumentatif pour le raisonnement sur des ressources limitées. Rev. d'Intelligence Artif. Philippe Besnard, Éric Grégoire, Badran Raddaoui
2014	A	`conf`	Inconsistency measurement thanks to mus decomposition. AAMAS Saïd Jabbour, Yue Ma, Badran Raddaoui
2014	B	`conf`	On the Characterization of Inconsistency: A Prime Implicates Based Framework. ICTAI Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais
2014	J	`jnl`	On the measure of conflicts: A MUS-Decomposition Based Framework. CoRR Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
2014	A	`conf`	Prime Implicates Based Inconsistency Characterization. ECAI Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais
2013	—	`conf`	A Conditional Logic-Based Argumentation Framework. SUM Philippe Besnard, Éric Grégoire, Badran Raddaoui
2013	C	`conf`	Measuring Inconsistency through Minimal Proofs. ECSQARU Saïd Jabbour, Badran Raddaoui
2012	B	`conf`	An Argumentation Framework for Reasoning about Bounded Resources. ICTAI Philippe Besnard, Éric Grégoire, Badran Raddaoui
2012	J	`jnl`	Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants. Rev. d'Intelligence Artif. Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui
2010	Misc	`conf`	MUS-based generation of arguments and counter-arguments. IRI Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui