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
- Early anomaly detection in smart home: A causal association rule-based approach. Artificial Intelligence in Medicine. 91:57-71. 2018
- Quantifying conflicts in propositional logic through prime implicates. International Journal of Approximate Reasoning. 89:27-40. 2017
-
book
-
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
- Reasoning Under Conflicts in Smart Environment. Lecture notes in computer science. 924-934. 2017
- Towards a Formal Verification Approach for Service Component Architecture. Frontiers in artificial intelligence and applications. 2017
-
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
- Ranking-based Argumentation Semantics Applied to Logical Argumentation. . 3268-3276. 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
- Argumentative Approach for the Discovery Truth: The Role of Source Dependence. . 192-197. 2019
- On Relaxing Failing Queries over RDF Databases. 2021 IEEE International Conference on Big Data (Big Data). 115-124. 2019
- 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
Co-author Network