Badran Raddaoui

According to our database1, Badran Raddaoui authored at least 52 papers between 2010 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
A Declarative Framework for Mining Top-k High Utility Itemsets.
Proceedings of the Big Data Analytics and Knowledge Discovery, 2021

2020
SAT-based models for overlapping community detection in networks.
Computing, 2020

Cohesive Subgraph Models for Overlapping Community Search over Networks.
Proceedings of the Knowledge Innovation Through Intelligent Software Methodologies, Tools and Techniques, 2020

Maximal Clique Based Influence Maximization in Networks.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2020

On the Enumeration of Association Rules: A Decomposition-based Approach.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

A SAT-Based Approach for Mining High Utility Itemsets from Transaction Databases.
Proceedings of the Big Data Analytics and Knowledge Discovery, 2020

2019
Extracting Frequent Gradual Patterns Using Constraints Modeling.
CoRR, 2019

Handling Disagreement in Ontologies-Based Reasoning via Argumentation.
Proceedings of the Web Information Systems Engineering - WISE 2019, 2019

Argumentative Approach for the Discovery Truth: The Role of Source Dependence.
Proceedings of the International Conference on Internet of Things, 2019

Représentations compactes des graphes et contraintes pseudo booléennes.
Proceedings of the Extraction et Gestion des connaissances, 2019

Towards a Prudent Argumentation Framework for Reasoning with Imperfect Ontologies.
Proceedings of the 32nd International Workshop on Description Logics, 2019

On Relaxing Failing Queries over RDF Databases.
Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

2018
On the measure of conflicts: an argumentation-based framework.
J. Appl. Non Class. Logics, 2018

Efficient Encodings of Conditional Cardinality Constraints.
CoRR, 2018

Early anomaly detection in smart home: A causal association rule-based approach.
Artif. Intell. Medicine, 2018

Efficient SAT-Based Encodings of Conditional Cardinality Constraints.
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Pushing the Envelope in Overlapping Communities Detection.
Proceedings of the Advances in Intelligent Data Analysis XVII, 2018

On Maximal Frequent Itemsets Mining with Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2018

A Parallel SAT-Based Framework for Closed Frequent Itemsets Mining.
Proceedings of the Principles and Practice of Constraint Programming, 2018

Detecting Highly Overlapping Community Structure by Model-based Maximal Clique Expansion.
Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability.
Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

2017
Quantifying conflicts in propositional logic through prime implicates.
Int. J. Approx. Reason., 2017

On an MCS-based inconsistency measure.
Int. J. Approx. Reason., 2017

Behavioral Verification of Service Component Architecture.
Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

Handling conflicts in uncertain ontologies using deductive argumentation.
Proceedings of the International Conference on Web Intelligence, 2017

Towards a Formal Verification Approach for Service Component Architecture.
Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2017

Towards a Formal Verification Approach for Cloud Software Architecture.
Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2017

A SAT-Based Framework for Overlapping Community Detection in Networks.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2017

Reasoning Under Conflicts in Smart Environment.
Proceedings of the Neural Information Processing - 24th International Conference, 2017

Finding Overlapping Communities in Networks Using Propositional Satisfiability.
Proceedings of the Actes des 13èmes journées francophones sur les Entrepôts de Données et l'Analyse en Ligne, 2017

2016
A MIS Partition Based Framework for Measuring Inconsistency.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Quantifying Conflicts for Spatial and Temporal Information.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Argumentation Framework Based on Evidence Theory.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2016

A SAT-Based Approach for Enumerating Interesting Patterns from Uncertain Data.
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

Mining Frequent Patterns from Correlated Incomplete Databases.
Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

Knowledge Base Compilation for Inconsistency Measures.
Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

On the Computation of Top-k Extensions in Abstract Argumentation Frameworks.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Summarizing big graphs by means of pseudo-boolean constraints.
Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016

2015
Un système argumentatif pour le raisonnement sur des ressources limitées.
Rev. d'Intelligence Artif., 2015

Computing Inconsistency Using Logical Argumentation.
Proceedings of the ICAART 2015, 2015

Inconsistency-based Ranking of Knowledge Bases.
Proceedings of the ICAART 2015, 2015

On Measuring Inconsistency Using Maximal Consistent Sets.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014
On the measure of conflicts: A MUS-Decomposition Based Framework.
CoRR, 2014

On the Characterization of Inconsistency: A Prime Implicates Based Framework.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Prime Implicates Based Inconsistency Characterization.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Inconsistency measurement thanks to mus decomposition.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013
A Conditional Logic-Based Argumentation Framework.
Proceedings of the Scalable Uncertainty Management - 7th International Conference, 2013

Measuring Inconsistency through Minimal Proofs.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2013

2012
Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants.
Rev. d'Intelligence Artif., 2012

An Argumentation Framework for Reasoning about Bounded Resources.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

2010
MUS-based generation of arguments and counter-arguments.
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2010


  Loading...