Badran Raddaoui

Article dans une revue

2021

ref_biblio

Amel Hidouri, Said Jabbour, Badran Raddaoui, Boutheina Ben Ben Yaghlane. Mining closed high utility itemsets based on propositional satisfiability. Data and Knowledge Engineering, 2021, 136 (101927:1-101927:15), ⟨10.1016/j.datak.2021.101927⟩. ⟨hal-03466365⟩

Accès au bibtex

2018

ref_biblio

Badran Raddaoui. On the measure of conflicts: an argumentation based framework. Journal of Applied Non-Classical Logics, 2018, 28 (2-3), pp.240 - 259. ⟨10.1080/11663081.2018.1457255⟩. ⟨hal-01822908⟩

Accès au bibtex

ref_biblio

Hela Sfar, Amel Bouzeghoub, Badran Raddaoui. Early anomaly detection in smart home: a causal association rule-based approach. Artificial Intelligence in Medicine, 2018, pp.1 - 15. ⟨10.1016/j.artmed.2018.06.001⟩. ⟨hal-01834593⟩

Accès au bibtex

2017

ref_biblio

Meriem Ammoura, Yakoub Salhi, Brahim Oukacha, Badran Raddaoui. On an MCS-based inconsistency measure. International Journal of Approximate Reasoning, 2017, 80, pp.443 - 459. ⟨10.1016/j.ijar.2016.06.004⟩. ⟨hal-01696100⟩

Accès au bibtex

Communication dans un congrès

2022

ref_biblio

Amel Hidouri, Saïd Jabbour, Badran Raddaoui. On the enumeration of frequent high utility itemsets: a symbolic AI approach. CP 2022: 28th international conference on Principles and Practice of Constraint Programming, Jul 2022, Haifa, Israel. ⟨10.4230/LIPIcs.CP.2022.27⟩. ⟨hal-03721039⟩

Accès au bibtex

ref_biblio

Amel Hidouri, Saïd Jabbour, Badran Raddaoui, Mouna Chebbah, Boutheina Ben Yaghlane. A parallel declarative framework for mining high utility itemsets. IPMU 2022: 19th international conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Jul 2022, Milan, Italy. pp.624-637, ⟨10.1007/978-3-031-08974-9_50⟩. ⟨hal-03721020⟩

Accès au bibtex

ref_biblio

Said Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais. A Declarative Framework for Maximal k-plex Enumeration Problems. 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS, May 2022, Auckland, New Zealand. ⟨hal-03962716⟩

Accès au texte intégral et bibtex

ref_biblio

Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Saïs. A declarative framework for maximal k-plex enumeration problems. AAMAS 2022: 21st international conference on Autonomous Agents and Multiagent Systems, May 2022, Auckland (online), New Zealand. pp.660-668, ⟨10.5555/3535850.3535925⟩. ⟨hal-03721004⟩

Accès au bibtex

ref_biblio

Saïd Jabbour, Mourad Kmimech, Badran Raddaoui. Discovering overlapping communities based on cohesive subgraph models over graph data. DaWaK 2022: 24th International Conference on Big Data Analytics and Knowledge Discovery, Aug 2022, Vienne, Austria. pp.189-201, ⟨10.1007/978-3-031-12670-3_16⟩. ⟨hal-03721054⟩

Accès au bibtex

2021

ref_biblio

Amel Hidouri, Saïd Jabbour, Jerry Lonlac, Badran Raddaoui. A constraint-based approach for enumerating gradual itemsets. ICTAI 2021: 33rd IEEE International Conference on Tools with Artificial Intelligence, Nov 2021, Washington D.C (virtual), United States. pp.582-589, ⟨10.1109/ICTAI52525.2021.00093⟩. ⟨hal-03466372⟩

Accès au bibtex

ref_biblio

Amel Hidouri, Saïd Jabbour, Imen Ouled Dlala, Badran Raddaoui. On minimal and maximal high utility itemsets mining using propositional satisfiability. BIGDATA 2021: IEEE International Conference on Big Data, Dec 2021, Orlando (online), United States. pp.622-628, ⟨10.1109/BigData52589.2021.9671422⟩. ⟨hal-03466377⟩

Accès au bibtex

ref_biblio

Amel Hidouri, Said Jabbour, Badran Raddaoui, Mouna Chebbah, Boutheina Ben Yaghlane. A declarative framework for mining Top-k high utility itemsets. DaWaK 2021: 23rd international conference on Big Data Analytics and Knowledge Discovery, Sep 2021, Linz (online), Austria. pp.250-256, ⟨10.1007/978-3-030-86534-4_24⟩. ⟨hal-03466369⟩

Accès au bibtex

ref_biblio

Yacine Izza, Said Jabbour, Badran Raddaoui, Abdelhamid Boudane. On the Enumeration of Association Rules: A Decomposition-based Approach. Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI 2020), Jan 2021, Yokohama ( virtual ), Japan. pp.1265-1271, ⟨10.24963/ijcai.2020/176⟩. ⟨hal-03092028⟩

Accès au texte intégral et bibtex

2020

ref_biblio

Amel Hidouri, Said Jabbour, Badran Raddaoui, Boutheina Ben Yaghlane. A SAT-Based Approach for Mining High Utility Itemsets from Transaction Databases. International Conference on Big Data Analytics and Knowledge Discovery, Sep 2020, Bratislava, Slovakia. ⟨hal-03092027⟩

Accès au bibtex

ref_biblio

Nizar Mhadhbi, Badran Raddaoui. Maximal clique based influence maximization in networks. IPMU 2020: 18th international conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Jun 2020, Lisbon, Portugal. pp.445-456, ⟨10.1007/978-3-030-50146-4_33⟩. ⟨hal-03092029⟩

Accès au bibtex

2019

ref_biblio

Saïd Jabbour, Yue Ma, Badran Raddaoui. Handling disagreement in ontologies-based reasoning via argumentation. WISE 2019: 20th International Conference on Web Information Systems Engineering, Nov 2019, Hong-Kong, China. pp.389 - 406, ⟨10.1007/978-3-030-34223-4_25⟩. ⟨hal-02354031⟩

Accès au bibtex

ref_biblio

Said Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais. Représentations compactes des graphes et contraintes pseudo booléennes. EGC 2019: 19ème conférence francophone sur l'Extraction et la Gestion des Connaissances, Jan 2019, Metz, France. pp.407-412. ⟨hal-02441157⟩

Accès au bibtex

ref_biblio

Said Jabbour, Yue Ma, Badran Raddaoui. Towards a prudent argumentation framework for reasoning with imperfect ontologies. DL 2019: 32nd International Workshop on Description Logics, Jun 2019, Oslo, Norway. pp.48:1-3. ⟨hal-02441130⟩

Accès au bibtex

ref_biblio

Wafaa Mebrek, Badran Raddaoui, Mohamad Albilani. On relaxing failing queries over RDF databases. Big Data 2019: IEEE International Conference on Big Data, Dec 2019, Los Angeles, United States. pp.115-124, ⟨10.1109/BigData47090.2019.9006141⟩. ⟨hal-02354048⟩

Accès au bibtex

2018

ref_biblio

Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais. Efficient SAT-based encodings of conditional cardinality constraints. LPAR-22 2018: 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning, Nov 2018, Awassa, Ethiopia. pp.181 - 195, ⟨10.29007/kfjb⟩. ⟨hal-01934611⟩

Accès au bibtex

ref_biblio

Said Jabbour, Nizar Mhadhbi, Badran Radaoui, Lakhdar Sais. Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability. 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA), May 2018, Krakow, France. pp.437-444, ⟨10.1109/AINA.2018.00072⟩. ⟨hal-03700076⟩

Accès au texte intégral et bibtex

ref_biblio

Said Jabbour, Fatima Ezzahra, Imen Ouled Dlala, Badran Raddaoui, Lakhdar Sais. On maximal frequent itemsets mining with constraints. CP 2018 : 24th International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.554-569, ⟨10.1007/978-3-319-98334-9_36⟩. ⟨hal-03700069⟩

Accès au texte intégral et bibtex

ref_biblio

Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais. Triangle-driven community detection in large graphs using propositional satisfiability. AINA 2018: 32nd International Conference on Advanced Information Networking and Applications, May 2018, Cracow, Poland. pp.437 - 444, ⟨10.1109/AINA.2018.00072⟩. ⟨hal-01870266⟩

Accès au bibtex

ref_biblio

Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais. Pushing the envelope in overlapping communities detection. IDA 2018: 17th international symposium on Intelligent Data Analysis, Oct 2018, 'S-Hertogenbosch, Netherlands. pp.151 - 163, ⟨10.1007/978-3-030-01768-2_13⟩. ⟨hal-01911187⟩

Accès au bibtex

ref_biblio

Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais. Detecting highly overlapping community structure by model-based maximal clique expansion. BigData 2018: IEEE international conference on Big Data, Dec 2018, Seattle, United States. pp.1031 - 1036, ⟨10.1109/BigData.2018.8621868⟩. ⟨hal-01994552⟩

Accès au bibtex

ref_biblio

Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais. A parallel SAT-based framework for closed frequent itemsets mining. CP 2018: 24th International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.570 - 587, ⟨10.1007/978-3-319-98334-9_37⟩. ⟨hal-01895369⟩

Accès au bibtex

2017

ref_biblio

Ayach Amal, Layth Sliman, Mourad Kmimech, Mohamed Tahar Bhiri, Badran Raddaoui. Towards a formal verification approach for cloud software architecture. SOMET 2017: 16th International Conference New Trends in Intelligent Software Methodologies, Tools and Techniques, Sep 2017, Kitakyushu, Japan. pp.490 - 502, ⟨10.3233/978-1-61499-800-6-490⟩. ⟨hal-01816411⟩

Accès au bibtex

ref_biblio

Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, et al.. Towards a formal verification approach for service component architecture. SOMET 2017: 16th International Conference on Intelligent Software Methodologies, Tools, and Techniques , Sep 2017, Kitakyushu, Japan. pp.466 - 479, ⟨10.3233/978-1-61499-800-6-466⟩. ⟨hal-01702712⟩

Accès au bibtex

ref_biblio

Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, et al.. Behavioral verification of Service Component Architecture. WETICE 2017: 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2017, Poznan, Poland. pp.239 - 241, ⟨10.1109/WETICE.2017.65⟩. ⟨hal-01702725⟩

Accès au bibtex

ref_biblio

Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, et al.. Towards a Formal Verification Approach for Service Component Architecture. 16th International Conference on Intelligent Software, Methodologies and Techniques, 2017, KitaKyushu, Japan. ⟨hal-03781556⟩

Accès au bibtex

ref_biblio

Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais. Finding overlapping communities in networks using propositional satisfiability. EDA 2017 : Journées francophones sur les Entrepôts de Données et l'Analyse en Ligne, Business Intelligence & Big Data, May 2017, Lyon, France. pp.67 - 80. ⟨hal-01696134⟩

Accès au bibtex

ref_biblio

Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais. A SAT-based framework for overlapping community detection in networks. PAKDD 2017 : Pacific-Asia Conference on Knowledge Discovery and Data Mining, May 2017, Jeju, South Korea. pp.786 - 798, ⟨10.1007/978-3-319-57529-2_61⟩. ⟨hal-01696118⟩

Accès au bibtex

ref_biblio

Hela Sfar, Badran Raddaoui, Amel Bouzeghoub. Reasoning under conflicts in smart environment. ICONIP 2017 : 24th International Conference on Neural Information Processing, Nov 2017, Guangzhou, China. pp.924 - 934, ⟨10.1007/978-3-319-70090-8_94⟩. ⟨hal-01687125⟩

Accès au bibtex