Badran Raddaoui

IEEE Intell. Syst., 2022

A Parallel Declarative Framework for Mining High Utility Itemsets.

[BibT_eX]

[DOI]

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2022

Discovering Overlapping Communities Based on Cohesive Subgraph Models over Graph Data.

[BibT_eX]

[DOI]

Mourad Kmimech

Proceedings of the Big Data Analytics and Knowledge Discovery, 2022

On the Enumeration of Frequent High Utility Itemsets: A Symbolic AI Approach.

[BibT_eX]

[DOI]

Amel Hidouri

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

A Declarative Framework for Maximal <i>k</i>-plex Enumeration Problems.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

Mining Closed High Utility Itemsets based on Propositional Satisfiability.

[BibT_eX]

[DOI]

Amel Hidouri

Data Knowl. Eng., 2021

A Constraint-based Approach for Enumerating Gradual Itemsets.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

A Declarative Framework for Mining Top-k High Utility Itemsets.

[BibT_eX]

[DOI]

Proceedings of the Big Data Analytics and Knowledge Discovery, 2021

On Minimal and Maximal High Utility Itemsets Mining using Propositional Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

2020

SAT-based models for overlapping community detection in networks.

[BibT_eX]

[DOI]

Computing, 2020

Cohesive Subgraph Models for Overlapping Community Search over Networks.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Innovation Through Intelligent Software Methodologies, Tools and Techniques, 2020

Maximal Clique Based Influence Maximization in Networks.

[BibT_eX]

[DOI]

Nizar Mhadhbi

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2020

On the Enumeration of Association Rules: A Decomposition-based Approach.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

A SAT-Based Approach for Mining High Utility Itemsets from Transaction Databases.

[BibT_eX]

[DOI]

Amel Hidouri

Proceedings of the Big Data Analytics and Knowledge Discovery, 2020

2019

Extracting Frequent Gradual Patterns Using Constraints Modeling.

[BibT_eX]

[DOI]

Jerry Lonlac

Engelbert Mephu Nguifo

Lakhdar Saïs

CoRR, 2019

Handling Disagreement in Ontologies-Based Reasoning via Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems Engineering - WISE 2019, 2019

Argumentative Approach for the Discovery Truth: The Role of Source Dependence.

[BibT_eX]

[DOI]

Dorsaf Salah

Mohamed Othmani

Proceedings of the International Conference on Internet of Things, 2019

Représentations compactes des graphes et contraintes pseudo booléennes.

[BibT_eX]

[DOI]

Proceedings of the Extraction et Gestion des connaissances, 2019

Towards a Prudent Argumentation Framework for Reasoning with Imperfect Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

On Relaxing Failing Queries over RDF Databases.

[BibT_eX]

[DOI]

Wafaa Mebrek

Mohamad Albilani

Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

2018

On the measure of conflicts: an argumentation-based framework.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2018

Efficient Encodings of Conditional Cardinality Constraints.

[BibT_eX]

[DOI]

CoRR, 2018

Early anomaly detection in smart home: A causal association rule-based approach.

[BibT_eX]

[DOI]

Hela Sfar

Amel Bouzeghoub

Artif. Intell. Medicine, 2018

Efficient SAT-Based Encodings of Conditional Cardinality Constraints.

[BibT_eX]

[DOI]

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Pushing the Envelope in Overlapping Communities Detection.

[BibT_eX]

[DOI]

Proceedings of the Advances in Intelligent Data Analysis XVII, 2018

On Maximal Frequent Itemsets Mining with Constraints.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2018

A Parallel SAT-Based Framework for Closed Frequent Itemsets Mining.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2018

Detecting Highly Overlapping Community Structure by Model-based Maximal Clique Expansion.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

2017

Quantifying conflicts in propositional logic through prime implicates.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2017

On an MCS-based inconsistency measure.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2017

Behavioral Verification of Service Component Architecture.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

Handling conflicts in uncertain ontologies using deductive argumentation.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Web Intelligence, 2017

Towards a Formal Verification Approach for Service Component Architecture.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2017

Towards a Formal Verification Approach for Cloud Software Architecture.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2017

A SAT-Based Framework for Overlapping Community Detection in Networks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2017

Reasoning Under Conflicts in Smart Environment.

[BibT_eX]

[DOI]

Hela Sfar

Amel Bouzeghoub

Proceedings of the Neural Information Processing - 24th International Conference, 2017

Finding Overlapping Communities in Networks Using Propositional Satisfiability.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Quantifying Conflicts for Spatial and Temporal Information.

[BibT_eX]

[DOI]

Jean-François Condotta

Yakoub Salhi

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Argumentation Framework Based on Evidence Theory.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

Mining Frequent Patterns from Correlated Incomplete Databases.

[BibT_eX]

Ahmed Samet

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

Knowledge Base Compilation for Inconsistency Measures.

[BibT_eX]

[DOI]

Lakhdar Sais

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Philippe Besnard

Éric Grégoire

Rev. d'Intelligence Artif., 2015

Computing Inconsistency Using Logical Argumentation.

[BibT_eX]

Proceedings of the ICAART 2015, 2015

Inconsistency-based Ranking of Knowledge Bases.

[BibT_eX]

Lakhdar Sais

Proceedings of the ICAART 2015, 2015

On Measuring Inconsistency Using Maximal Consistent Sets.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014

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

[BibT_eX]

[DOI]

CoRR, 2014

On the Characterization of Inconsistency: A Prime Implicates Based Framework.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Prime Implicates Based Inconsistency Characterization.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013

A Conditional Logic-Based Argumentation Framework.

[BibT_eX]

[DOI]

Philippe Besnard

Éric Grégoire

Proceedings of the Scalable Uncertainty Management - 7th International Conference, 2013

Measuring Inconsistency through Minimal Proofs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Rev. d'Intelligence Artif., 2012

An Argumentation Framework for Reasoning about Bounded Resources.

[BibT_eX]

[DOI]

Philippe Besnard

Éric Grégoire