selected publications

• academic article

  • A Framework for Reasoning About Uncertainty in Ontologies.  IEEE Intelligent Systems.  37:27-37. 2022
  • SAT-based models for overlapping community detection in networks.  Computing.  102:1275-1299. 2020
  • Breaking Symmetries in Association Rules.  Procedia Computer Science.  148:283-290. 2019
  • Quantifying conflicts in propositional logic through prime implicates.  International Journal of Approximate Reasoning.  89:27-40. 2017

• chapter

  • On the Discovery of Conceptual Clustering Models Through Pattern Mining.  Frontiers in artificial intelligence and applications. 2024
  • On Maximal Frequent Itemsets Mining with Constraints.  Lecture notes in computer science. 554-569. 2018

• conference paper

  • Towards novel inference relations based on logical argumentation.  . 2023
  • A Non-overlapping Community Detection Approach Based on α-Structural Similarity.  . 2023
  • A Comparative Study of Ranking Formulas Based on Consistency.  . 3330-3337. 2023
  • A Symbolic Approach to Computing Disjunctive Association Rules from Data.  . 2133-2141. 2023
  • Targeting Minimal Rare Itemsets from Transaction Databases.  . 2114-2121. 2023
  • Extracting Frequent Gradual Patterns Based on SAT.  . 136-143. 2023
  • On the enumeration of frequent high utility itemsets: a symbolic AI approach.  . 2022
  • A Declarative Framework for Maximal k-plex Enumeration Problems.  . 2022
  • On Minimal and Maximal High Utility Itemsets Mining using Propositional Satisfiability.  2021 IEEE International Conference on Big Data (Big Data). 622-628. 2021
  • On the Enumeration of Association Rules: A Decomposition-based Approach.  . 1265-1271. 2020
  • Towards a prudent argumentation framework for reasoning with imperfect ontologies.  . 2019
  • Représentations compactes des graphes et contraintes pseudo booléennes.  HAL (Le Centre pour la Communication Scientifique Directe). 2019
  • Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability.  . 437-444. 2018
  • Formal Approach for QoS-Aware Cloud Service Composition.  . 30-35. 2017