![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Badran Raddaoui
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
- [j10]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: 102200 (2023) - 2022
- [j9]Saïd Jabbour, Yue Ma
, Badran Raddaoui
:
A Framework for Reasoning About Uncertainty in Ontologies. IEEE Intell. Syst. 37(6): 27-37 (2022) - 2021
- [j8]Amel Hidouri
, Saïd Jabbour, Badran Raddaoui, Boutheina Ben Yaghlane:
Mining Closed High Utility Itemsets based on Propositional Satisfiability. Data Knowl. Eng. 136: 101927 (2021) - 2020
- [j7]Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais:
SAT-based models for overlapping community detection in networks. Computing 102(5): 1275-1299 (2020) - 2018
- [j6]Hela Sfar, Amel Bouzeghoub, Badran Raddaoui:
Early anomaly detection in smart home: A causal association rule-based approach. Artif. Intell. Medicine 91: 57-71 (2018) - [j5]Badran Raddaoui:
On the measure of conflicts: an argumentation-based framework. J. Appl. Non Class. Logics 28(2-3): 240-259 (2018) - 2017
- [j4]Meriem Ammoura
, Yakoub Salhi
, Brahim Oukacha, Badran Raddaoui:
On an MCS-based inconsistency measure. Int. J. Approx. Reason. 80: 443-459 (2017) - [j3]Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais:
Quantifying conflicts in propositional logic through prime implicates. Int. J. Approx. Reason. 89: 27-40 (2017) - 2015
- [j2]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): 349-368 (2015) - 2012
- [j1]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): 209-224 (2012)
Conference and Workshop Papers
- 2024
- [c58]Saïd Jabbour, Yue Ma, Badran Raddaoui:
Towards a Principle-based Framework for Repair Selection in Inconsistent Knowledge Bases. AAMAS 2024: 907-915 - [c57]Saïd Jabbour, Yue Ma, Badran Raddaoui:
A Principle-based Framework for Repair Selection in Inconsistent Ontologies (Extended Abstract). Description Logics 2024 - 2023
- [c56]Saïd Jabbour, Yue Ma, Badran Raddaoui:
Towards Novel Inference Relations based on Logical Argumentation. AI³@AI*IA 2023 - [c55]Jerry Lonlac, Imen Ouled Dlala, Saïd Jabbour, Engelbert Mephu Nguifo, Badran Raddaoui, Lakhdar Sais:
Extracting Frequent Gradual Patterns Based on SAT. DATA 2023: 136-143 - [c54]Motaz Ben Hassine, Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet:
A Non-overlapping Community Detection Approach Based on α-Structural Similarity. DaWaK 2023: 197-211 - [c53]Amel Hidouri
, Badran Raddaoui
, Saïd Jabbour
:
Towards a Unified Symbolic AI Framework for Mining High Utility Itemsets. iiWAS 2023: 77-91 - [c52]Amel Hidouri, Badran Raddaoui, Saïd Jabbour:
Targeting Minimal Rare Itemsets from Transaction Databases. IJCAI 2023: 2114-2121 - [c51]Saïd Jabbour, Badran Raddaoui, Lakhdar Sais:
A Symbolic Approach to Computing Disjunctive Association Rules from Data. IJCAI 2023: 2133-2141 - [c50]Jesse Heyninck, Badran Raddaoui, Christian Straßer:
Ranking-based Argumentation Semantics Applied to Logical Argumentation. IJCAI 2023: 3268-3276 - [c49]Badran Raddaoui, Christian Straßer, Saïd Jabbour:
A Comparative Study of Ranking Formulas Based on Consistency. IJCAI 2023: 3330-3337 - 2022
- [c48]Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais:
A Declarative Framework for Maximal k-plex Enumeration Problems. AAMAS 2022: 660-668 - [c47]Amel Hidouri
, Saïd Jabbour, Badran Raddaoui:
On the Enumeration of Frequent High Utility Itemsets: A Symbolic AI Approach. CP 2022: 27:1-27:17 - [c46]Saïd Jabbour, Mourad Kmimech, Badran Raddaoui:
Discovering Overlapping Communities Based on Cohesive Subgraph Models over Graph Data. DaWaK 2022: 189-201 - [c45]Amel Hidouri
, Saïd Jabbour, Badran Raddaoui, Mouna Chebbah, Boutheina Ben Yaghlane:
A Parallel Declarative Framework for Mining High Utility Itemsets. IPMU (2) 2022: 624-637 - 2021
- [c44]Amel Hidouri
, Saïd Jabbour, Imen Ouled Dlala, Badran Raddaoui:
On Minimal and Maximal High Utility Itemsets Mining using Propositional Satisfiability. IEEE BigData 2021: 622-628 - [c43]Amel Hidouri
, Saïd Jabbour, Badran Raddaoui, Mouna Chebbah, Boutheina Ben Yaghlane:
A Declarative Framework for Mining Top-k High Utility Itemsets. DaWaK 2021: 250-256 - [c42]Amel Hidouri
, Saïd Jabbour, Jerry Lonlac
, Badran Raddaoui:
A Constraint-based Approach for Enumerating Gradual Itemsets. ICTAI 2021: 582-589 - 2020
- [c41]Amel Hidouri, Saïd Jabbour, Badran Raddaoui, Boutheina Ben Yaghlane:
A SAT-Based Approach for Mining High Utility Itemsets from Transaction Databases. DaWaK 2020: 91-106 - [c40]Yacine Izza, Saïd Jabbour, Badran Raddaoui, Abdelhamid Boudane:
On the Enumeration of Association Rules: A Decomposition-based Approach. IJCAI 2020: 1265-1271 - [c39]Nizar Mhadhbi, Badran Raddaoui:
Maximal Clique Based Influence Maximization in Networks. IPMU (1) 2020: 445-456 - [c38]Khaled Adeyl, Mourad Kmimech, Nizar Mhadhbi, Badran Raddaoui:
Cohesive Subgraph Models for Overlapping Community Search over Networks. SoMeT 2020: 282-293 - 2019
- [c37]Wafaa Mebrek, Badran Raddaoui, Mohamad Albilani:
On Relaxing Failing Queries over RDF Databases. IEEE BigData 2019: 115-124 - [c36]Saïd Jabbour, Yue Ma, Badran Raddaoui:
Towards a Prudent Argumentation Framework for Reasoning with Imperfect Ontologies. Description Logics 2019 - [c35]Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais:
Représentations compactes des graphes et contraintes pseudo booléennes. EGC 2019: 407-412 - [c34]Dorsaf Salah, Badran Raddaoui, Mohamed Othmani:
Argumentative Approach for the Discovery Truth: The Role of Source Dependence. IINTEC 2019: 192-197 - [c33]Saïd Jabbour, Yue Ma, Badran Raddaoui:
Handling Disagreement in Ontologies-Based Reasoning via Argumentation. WISE 2019: 389-406 - 2018
- [c32]Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais:
Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability. AINA 2018: 437-444 - [c31]Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais:
Detecting Highly Overlapping Community Structure by Model-based Maximal Clique Expansion. IEEE BigData 2018: 1031-1036 - [c30]Saïd Jabbour, Fatima Ezzahra Mana, Imen Ouled Dlala, Badran Raddaoui, Lakhdar Sais:
On Maximal Frequent Itemsets Mining with Constraints. CP 2018: 554-569 - [c29]Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais:
A Parallel SAT-Based Framework for Closed Frequent Itemsets Mining. CP 2018: 570-587 - [c28]Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais:
Pushing the Envelope in Overlapping Communities Detection. IDA 2018: 151-163 - [c27]Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais:
Efficient SAT-Based Encodings of Conditional Cardinality Constraints. LPAR 2018: 181-195 - 2017
- [c26]Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais:
Finding Overlapping Communities in Networks Using Propositional Satisfiability. EDA 2017: 67-80 - [c25]Hela Sfar, Badran Raddaoui, Amel Bouzeghoub:
Reasoning Under Conflicts in Smart Environment. ICONIP (3) 2017: 924-934 - [c24]Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais:
A SAT-Based Framework for Overlapping Community Detection in Networks. PAKDD (2) 2017: 786-798 - [c23]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: 466-479 - [c22]Amal Ayach, Layth Sliman
, Mourad Kmimech, Mohamed Tahar Bhiri, Badran Raddaoui:
Towards a Formal Verification Approach for Cloud Software Architecture. SoMeT 2017: 490-502 - [c21]Amel Bouzeghoub, Saïd Jabbour, Yue Ma, Badran Raddaoui:
Handling conflicts in uncertain ontologies using deductive argumentation. WI 2017: 65-72 - [c20]Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman
, Badran Raddaoui:
Behavioral Verification of Service Component Architecture. WETICE 2017: 239-241 - 2016
- [c19]Saïd Jabbour, Nizar Mhadhbi, Abdesattar Mhadhbi, Badran Raddaoui, Lakhdar Sais:
Summarizing big graphs by means of pseudo-boolean constraints. IEEE BigData 2016: 889-894 - [c18]Saïd Jabbour, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
:
On the Computation of Top-k Extensions in Abstract Argumentation Frameworks. ECAI 2016: 913-920 - [c17]Badran Raddaoui, Ahmed Samet:
Mining Frequent Patterns from Correlated Incomplete Databases. ICAART (2) 2016: 377-384 - [c16]Saïd Jabbour, Badran Raddaoui, Lakhdar Sais:
Knowledge Base Compilation for Inconsistency Measures. ICAART (2) 2016: 532-539 - [c15]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: 255-262 - [c14]Ahmed Samet, Badran Raddaoui, Tien-Tuan Dao
, Allel Hadjali:
Argumentation Framework Based on Evidence Theory. IPMU (2) 2016: 253-264 - [c13]Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi:
A MIS Partition Based Framework for Measuring Inconsistency. KR 2016: 84-93 - [c12]Jean-François Condotta, Badran Raddaoui, Yakoub Salhi:
Quantifying Conflicts for Spatial and Temporal Information. KR 2016: 443-452 - 2015
- [c11]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: 1749-1750 - [c10]Meriem Ammoura, Badran Raddaoui, Yakoub Salhi
, Brahim Oukacha:
On Measuring Inconsistency Using Maximal Consistent Sets. ECSQARU 2015: 267-276 - [c9]Badran Raddaoui:
Computing Inconsistency Using Logical Argumentation. ICAART (2) 2015: 164-172 - [c8]Saïd Jabbour, Badran Raddaoui, Lakhdar Sais:
Inconsistency-based Ranking of Knowledge Bases. ICAART (2) 2015: 414-419 - 2014
- [c7]Saïd Jabbour, Yue Ma, Badran Raddaoui:
Inconsistency measurement thanks to mus decomposition. AAMAS 2014: 877-884 - [c6]Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais:
Prime Implicates Based Inconsistency Characterization. ECAI 2014: 1037-1038 - [c5]Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais:
On the Characterization of Inconsistency: A Prime Implicates Based Framework. ICTAI 2014: 146-153 - 2013
- [c4]Saïd Jabbour, Badran Raddaoui:
Measuring Inconsistency through Minimal Proofs. ECSQARU 2013: 290-301 - [c3]Philippe Besnard, Éric Grégoire, Badran Raddaoui:
A Conditional Logic-Based Argumentation Framework. SUM 2013: 44-56 - 2012
- [c2]Philippe Besnard, Éric Grégoire, Badran Raddaoui:
An Argumentation Framework for Reasoning about Bounded Resources. ICTAI 2012: 540-547 - 2010
- [c1]Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui:
MUS-based generation of arguments and counter-arguments. IRI 2010: 239-244
Informal and Other Publications
- 2023
- [i4]Jesse Heyninck, Badran Raddaoui, Christian Straßer:
Ranking-based Argumentation Semantics Applied to Logical Argumentation (full version). CoRR abs/2307.16780 (2023) - 2019
- [i3]Jerry Lonlac, Saïd Jabbour, Engelbert Mephu Nguifo
, Lakhdar Saïs, Badran Raddaoui:
Extracting Frequent Gradual Patterns Using Constraints Modeling. CoRR abs/1903.08452 (2019) - 2018
- [i2]Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais:
Efficient Encodings of Conditional Cardinality Constraints. CoRR abs/1804.00211 (2018) - 2014
- [i1]Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi:
On the measure of conflicts: A MUS-Decomposition Based Framework. CoRR abs/1406.0155 (2014)
Coauthor Index
aka: Lakhdar Saïs
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-22 20:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint