Badran Raddaoui

Article dans une revue

2024

ref_biblio

Jerry Lonlac, Imen Ouled Dlala, Saïd Jabbour, Engelbert Mephu Nguifo, Badran Raddaoui, et al.. On the discovery of frequent gradual patterns: a symbolic AI-based framework. SN Computer Science, 2024, 5 (7), pp.944. ⟨10.1007/s42979-024-03303-4⟩. ⟨hal-04729780⟩

Accès au bibtex

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

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

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

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

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

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

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

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

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. The 23rd international conference on autonomous agents and multiagent systems (AAMAS '24), May 2024, Auckland, New Zealand. pp.907-915, ⟨10.5555/3635637.3662945⟩. ⟨hal-04406211⟩

Accès au 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. 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

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

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

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

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

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

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

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

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

2022

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

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

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

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

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

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

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

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

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

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

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 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

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 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

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

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

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

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

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

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

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

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

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. 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

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

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

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

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

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

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

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

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

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

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

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

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

2014

ref_biblio

Said Jabbour, Yue Ma, Badran Raddaoui. Inconsistency Measure for Distributive Inconsistency Handling. Proc. Congrès Francophone de Reconnaissance des Formes et d’Intelligence Artificielle (RFIA), Jun 2014, Rouen, France. ⟨hal-04205821⟩

Accès au bibtex

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

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

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

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

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

2013

ref_biblio

Philippe Besnard, Éric Grégoire, Badran Raddaoui. Système d’argumentation basé 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

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

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

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

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

ref_biblio

Said Jabbour, Badran Raddaoui. Mesure d'incohé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

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

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

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

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

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