SAMOVAR - SAMOVAR
Telecom SudParis
9 rue Charles Fourier
91011 EVRY CEDEX

Fax : +33 (0) 1 60 76 20 80

Badran Raddaoui

Ma√ģtre de Conf√©rences
ACMES

badran.Raddaoui[@-Code to remove to avoid SPAM-]telecom-sudparis.eu

Article dans une revue

2022

ref_biblio
Said Jabbour, Yue Ma, Badran Raddaoui. A framework for reasoning about uncertainty in ontologies. IEEE Intelligent Systems, 2022, 37 (6), pp.27-37. ⟨10.1109/MIS.2022.3220687⟩. ⟨hal-04396158⟩
Accès au bibtex
BibTex

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 texte intégral et bibtex
https://hal.science/hal-03466365/file/S0169023X21000549.pdf BibTex

2020

ref_biblio
Said Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sa√Įs. SAT-based models for overlapping community detection in networks. Computing, 2020, ⟨10.1007/s00607-020-00803-y⟩. ⟨hal-02506887⟩
Accès au bibtex
BibTex

2019

ref_biblio
Jerry Lonlac, Sa√Įd Jabbour, Engelbert Mephu Nguifo, Lakhdar Sa√Įs, Badran Raddaoui. Extracting Frequent Gradual Patterns Using Constraints Modeling. CoRR, 2019, abs/1903.08452. ⟨hal-02134342⟩
Accès au bibtex
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
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
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
BibTex
ref_biblio
Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sa√Įs. Quantifying Conflicts in Propositional Logic Through Prime Implicates. International Journal of Approximate Reasoning, 2017, 89, pp.27-40. ⟨10.1016/j.ijar.2016.12.017⟩. ⟨hal-01483475⟩
Accès au bibtex
BibTex

2015

ref_biblio
Philippe Besnard, √Čric Gr√©goire, Badran Raddaoui. Un syst√®me argumentatif pour le raisonnement sur des ressources limit√©es. Revue des Sciences et Technologies de l'Information - S√©rie RIA : Revue d'Intelligence Artificielle, 2015, 29. ⟨hal-03206580⟩
Accès au bibtex
BibTex

2012

ref_biblio
Philippe Besnard, √Čric Gr√©goire, C√©dric Piette, Badran Raddaoui. Calcul d'arguments et de contre-arguments fond√© sur les noyaux inconsistants. Revue des Sciences et Technologies de l'Information - S√©rie RIA : Revue d'Intelligence Artificielle, 2012, 26 (3), pp.209-224. ⟨hal-00869764⟩
Accès au bibtex
BibTex

Communication dans un congrès

2024

ref_biblio
Sa√Įd Jabbour, Yue Ma, Badran Raddaoui. Towards a principle-based framework for repair selection in inconsistent knowledge bases. International Conference on Autonomous Agents and Multiagent Systems, May 2024, Auckland, New Zealand. ⟨hal-04406211⟩
Accès au bibtex
BibTex

2023

ref_biblio
Motaz Ben Hassine, Sa√Įd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet. A Non-overlapping Community Detection Approach Based on őĪ-Structural Similarity. International Conference on Big Data Analytics and Knowledge Discovery, Aug 2023, Penang, Malaysia. ⟨hal-04207119⟩
Accès au bibtex
BibTex
ref_biblio
Motaz Ben Hassine, Sa√Įd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet. A non-overlapping community detection approach based on¬†őĪ-structural similarity. The 25th International Conference on Big Data Analytics and Knowledge Discovery (DAWAK), Aug 2023, Penang, Malaysia. pp.197-211, ⟨10.1007/978-3-031-39831-5_19⟩. ⟨hal-04602731⟩
Accès au texte intégral et bibtex
https://univ-artois.hal.science/hal-04602731/file/DAWAK23.pdf BibTex
ref_biblio
Jesse Heyninck, Badran Raddaoui, Christian Stra√üer. Ranking-based Argumentation Semantics Applied to Logical Argumentation. Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}, Aug 2023, Macau, China. pp.3268-3276, ⟨10.24963/ijcai.2023/364⟩. ⟨hal-04206676⟩
Accès au bibtex
BibTex
ref_biblio
Amel Hidouri, Badran Raddaoui, Sa√Įd Jabbour. Towards a unified symbolic AI framework for mining high utility itemsets. International Conference on Information Integration and Web Intelligence, Dec 2023, Bali, Indonesia, Indonesia. pp.77-91, ⟨10.1007/978-3-031-48316-5_11⟩. ⟨hal-04430612⟩
Accès au bibtex
BibTex
ref_biblio
Amel Hidouri, Badran Raddaoui, Said Jabbour. Targeting Minimal Rare Itemsets from Transaction Databases. Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}, Aug 2023, Macau, China. pp.2114-2121, ⟨10.24963/ijcai.2023/235⟩. ⟨hal-04206674⟩
Accès au bibtex
BibTex
ref_biblio
Sa√Įd Jabbour, Yue Ma, Badran Raddaoui. Towards novel inference relations based on logical argumentation. 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3‚Äô23), Nov 2023, Roma, Italy. ⟨hal-04423036⟩
Accès au bibtex
BibTex
ref_biblio
Said Jabbour, Badran Raddaoui, Lakhdar Sais. A Symbolic Approach to Computing Disjunctive Association Rules from Data. Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}, Aug 2023, Macau, China. pp.2133-2141, ⟨10.24963/ijcai.2023/237⟩. ⟨hal-04206675⟩
Accès au bibtex
BibTex
ref_biblio
Jerry Lonlac, Imen Dlala, Said Jabbour, Engelbert Nguifo, Badran Raddaoui, et al.. Extracting frequent gradual patterns based on SAT. 12th International Conference on Data Science, Technology and Applications (DATA ), Jul 2023, Rome, Italy. pp.136-143, ⟨10.5220/0012126000003541⟩. ⟨hal-04343730⟩
Accès au bibtex
BibTex
ref_biblio
Badran Raddaoui, Christian Stra√üer, Said Jabbour. A Comparative Study of Ranking Formulas Based on Consistency. Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}, Aug 2023, Macau, China. pp.3330-3337, ⟨10.24963/ijcai.2023/371⟩. ⟨hal-04206677⟩
Accès au bibtex
BibTex

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
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
BibTex
ref_biblio
Said Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sa√Įs. 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
https://hal.science/hal-03962716/file/ADeclarativeFramework.pdf 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
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
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
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
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
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
https://hal.science/hal-03092028/file/On%20the%20Enumeration%20of%20Association%20Rules_A%20Decomposition-based%20Approach.pdf BibTex

2020

ref_biblio
Khaled Adeyl, Mourad Kmimech, Nizar Mhadhbi, Badran Raddaoui. Cohesive subgraph models for overlapping community search over networks. International Conference on Intelligent Software Methodologies, Tools, and Techniques (SOMET), Sep 2020, Kitakyushu, Japan. ⟨10.3233/FAIA200573⟩. ⟨hal-04430614⟩
Accès au bibtex
BibTex
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 (DaWaK), Sep 2020, Bratislava, Slovakia. pp.91-106, ⟨10.1007/978-3-030-59065-9_8⟩. ⟨hal-03092027⟩
Accès au bibtex
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
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
BibTex
ref_biblio
Said Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sa√Įs. 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
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
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
BibTex

2018

ref_biblio
Abdelhamid Boudane, Sa√Įd Jabbour, Badran Raddaoui, Lakhdar Sa√Įs. 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
BibTex
ref_biblio
Said Jabbour, Fatima Ezzahra, Imen Ouled Dlala, Badran Raddaoui, Lakhdar Sa√Įs. 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
https://univ-artois.hal.science/hal-03700069/file/CP18-Final.pdf BibTex
ref_biblio
Said Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sa√Įs. 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
https://univ-artois.hal.science/hal-03700076/file/aina-18-community.pdf BibTex
ref_biblio
Sa√Įd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sa√Įs. 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
BibTex
ref_biblio
Sa√Įd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sa√Įs. 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
BibTex
ref_biblio
Sa√Įd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sa√Įs. 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
BibTex
ref_biblio
Imen Ouled Dlala, Sa√Įd Jabbour, Badran Raddaoui, Lakhdar Sa√Įs. 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
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
BibTex
ref_biblio
Amel Bouzeghoub, Said Jabbour, Yue Ma, Badran Raddaoui. Handling conflicts in uncertain ontologies using deductive argumentation. WI 2017 : International Conference on Web Intelligence, Aug 2017, Leipzig, Germany. pp.65-72, ⟨10.1145/3106426.3106454⟩. ⟨hal-01615903⟩
Accès au bibtex
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
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
BibTex
ref_biblio
Sa√Įd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sa√Įs. 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
BibTex
ref_biblio
Sa√Įd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sa√Įs. 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
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
BibTex

2016

ref_biblio
Jean-Fran√ßois Condotta, Badran Raddaoui, Yakoub Salhi. Quantifying Conflicts for Spatial and Temporal Information. 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16), 2016, Cape Town, South Africa. pp.443-452. ⟨hal-03300298⟩
Accès au bibtex
BibTex
ref_biblio
Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sa√Įs, Yakoub Salhi. A MIS Partition Based Framework for Measuring Inconsistency. 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16), Apr 2016, Cape Town, South Africa. ⟨hal-01262615⟩
Accès au bibtex
BibTex
ref_biblio
Said Jabbour, Badran Raddaoui, Lakhdar Sa√Įs. Knowledge Base Compilation for Inconsistency Measures. Proc. International Conference on Agents and Artificial Intelligence (ICAART), Feb 2016, Rome, Italy. ⟨10.5220/0005824305320539⟩. ⟨hal-04150829⟩
Accès au bibtex
BibTex
ref_biblio
Badran Raddaoui, Ahmed Samet. Mining Frequent Patterns from Correlated Incomplete Databases. Proc. International Conference on Agents and Artificial Intelligence (ICAART), Feb 2016, Rome, Italy. ⟨hal-04150828⟩
Accès au bibtex
BibTex
ref_biblio
Ahmed Samet, Badran Raddaoui, Tien Tuan Dao, Allel Hadjali. Argumentation Framework based on Evidence Theory. Proc. International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2016), Jun 2016, Eindhoven,The, Netherlands. ⟨10.1007/978-3-319-40581-0_21⟩. ⟨hal-04150835⟩
Accès au bibtex
BibTex

2015

ref_biblio
Meriem Ammoura, Badran Raddaoui, Yakoub Salhi, Brahim Oukacha. On Measuring Inconsistency Using Maximal Consistent Sets. 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'15), 2015, Compi√®gne, France. pp.267-276, ⟨10.1007/978-3-319-20807-7_24⟩. ⟨hal-03301180⟩
Accès au bibtex
BibTex
ref_biblio
Said Jabbour, Badran Raddaoui, Lakhdar Sa√Įs. Inconsistency-based Ranking of Knowledge Bases. Proc. International Conference on Agents and Artificial Intelligence (ICAART), Jan 2015, Lisbonne, Portugal. ⟨10.5220/0005210704140419⟩. ⟨hal-04195597⟩
Accès au bibtex
BibTex
ref_biblio
Said Jabbour, Badran Raddaoui, Lakhdar Sais. Conflict-Based Ranking of Propostional Knowledge Bases. Proc. 24th French Conference on Fuzzy Logic and its Applications (LFA 2015), Nov 2015, Poitiers, France. ⟨hal-04195598⟩
Accès au bibtex
BibTex
ref_biblio
Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sa√Įs, Yakoub Salhi. On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing. Proceedings of the Autonomous Agents and Multiagent Systems (AAMAS'15), May 2015, Istanbul, Turkey. ⟨hal-01139015⟩
Accès au bibtex
BibTex

2014

ref_biblio
Said Jabbour, Badran Raddaoui, Lakhdar Sa√Įs. A Logical Characterization of Inconsistency Measures. Proc. National Conference on Fuzzy Logic and its Applications (LFA 2014), Oct 2014, Carg√®se, France. ⟨hal-04205820⟩
Accès au bibtex
BibTex
ref_biblio
Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sa√Įs. On the Characterization of Inconsistency Measures: A Prime Implicates Based Framework. International Conference on Tools with Artificial Intelligence(ICTAI'14), Nov 2014, Limassol, Cyprus. ⟨hal-01139031⟩
Accès au bibtex
BibTex
ref_biblio
Said Jabbour, Yue Ma, Badran Raddaoui. MUS-Based Partitioning for Inconsistency Measures. Reconnaissance de Formes et Intelligence Artificielle (RFIA) 2014, Jun 2014, France. ⟨hal-00989202⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00989202/file/rfia2014_submission_118.pdf BibTex
ref_biblio
Said Jabbour, Yue Ma, Badran Raddaoui. Inconsistency Measurement Thanks to MUS Decomposition. 2014 international conference on Autonomous agents and multi-agent systems (AAMAS'14), May 2014, Paris, France. ⟨hal-01139215⟩
Accès au bibtex
BibTex
ref_biblio
Said Jabbour, Yue Ma, Badran Raddaoui. Prime Implicates Based Inconsistency Characterization. European Conference on Artificial Intelligence (ECAI'14), Aug 2014, Prague, Czech Republic. ⟨hal-01139219⟩
Accès au bibtex
BibTex
ref_biblio
Said Jabbour, Yue Ma, Badran Raddaoui. Inconsistency Measure for Distributive Inconsistency Handling. Proc. CongreŐÄs Francophone de Reconnaissance des Formes et d‚ÄôIntelligence Artificielle (RFIA), Jun 2014, Rouen, France. ⟨hal-04205821⟩
Accès au bibtex
BibTex

2013

ref_biblio
Philippe Besnard, √Čric Gr√©goire, Badran Raddaoui. SysteŐÄme d‚Äôargumentation baseŐĀ sur les logiques conditionnelles. Journ√©es de l'Intelligence Artificielle Fondamentale (JIAF 2013), Jun 2013, Aix-en-Provence, France. ⟨hal-04192580⟩
Accès au bibtex
BibTex
ref_biblio
Philippe Besnard, √Čric Gr√©goire, Badran Raddaoui. Syst√®me d'argumentation bas√© sur les logiques conditionnelles. 7i√®mes Journ√©es de l'Intelligence Artificielle Fondamentale (IAF'13), 2013, Aix-en-Provence, France. ⟨hal-00873278⟩
Accès au bibtex
BibTex
ref_biblio
Philippe Besnard, √Čric Gr√©goire, Badran Raddaoui. A Conditional Logic-Based Argumentation Framework. International Conference on Scalable Uncertainty Management (SUM 2013), Sep 2013, Washington, D.C., United States. pp.44-56, ⟨10.1007/978-3-642-40381-1_4⟩. ⟨hal-04083369⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04083369/file/Besnard_12696.pdf BibTex
ref_biblio
Philippe Besnard, √Čric Gr√©goire, Badran Raddaoui. Un cadre argumentatif pour le raisonnement sur des ressources limit√©es. 11√®mes Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA'13), 2013, Lille, France. ⟨hal-03300588⟩
Accès au bibtex
BibTex
ref_biblio
Said Jabbour, Badran Raddaoui. Mesure d'incoheŐĀrences en logique classique. Proc. Journ√©es de l'Intelligence Artificielle Fondamentale (JIAF), Jun 2013, Aix-en-Provence, France. ⟨hal-04192581⟩
Accès au bibtex
BibTex
ref_biblio
Said Jabbour, Badran Raddaoui. Measuring Inconsistency Through Minimal Proofs. 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'13), 2013, Utrecht, Netherlands. pp.290-301. ⟨hal-00866348⟩
Accès au bibtex
BibTex
ref_biblio
Said Jabbour, Badran Raddaoui. Mesure des incoh√©rences en logique propositionnelle. 7i√®mes Journ√©es de l'Intelligence Artificielle Fondamentale (IAF'13), 2013, Aix-en-Provence, France. ⟨hal-00871841⟩
Accès au bibtex
BibTex

2012

ref_biblio
Philippe Besnard, √Čric Gr√©goire, Badran Raddaoui. An Argumentation Framework for Reasoning about Bounded Resources. 24th International Conference on Tools with Artificial Intelligence (ICTAI'12), 2012, Athens, Greece. pp.540-547. ⟨hal-00866523⟩
Accès au bibtex
BibTex

2011

ref_biblio
Philippe Besnard, √Čric Gr√©goire, C√©dric Piette, Badran Raddaoui. G√©n√©ration d'arguments et contre-arguments par calcul de MUS. 10i√®mes Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA'11), 2011, Chamb√©ry, France. pp.827-840. ⟨hal-00869856⟩
Accès au bibtex
BibTex

2010

ref_biblio
Philippe Besnard, √Čric Gr√©goire, C√©dric Piette, Badran Raddaoui. MUS-Based Generation of Arguments and Counter-arguments. 11th IEEE International Conference on Information Reuse and Integration (IEEE IRI'10), 2010, Las Vegas, United States. pp.239-244. ⟨hal-00873095⟩
Accès au bibtex
BibTex

Ouvrages

2023

ref_biblio
A.-P Claudio, Dominique Bechmann, P. Richard, H. Yamaguchi, L. Lars, et al.. Computer vision, imaging and computer graphics ‚Äď theory and applications. Springer, 1691, 2023, 978-3-031-25477-2. ⟨10.1007/978-3-031-25477-2⟩. ⟨hal-02042875⟩
Accès au bibtex
BibTex