- 8
JL
Jerry LONLAC KONLAC
Maître de Conférences
8
Documents
Affiliations actuelles
- 1076753
Identifiants chercheurs
- jerry-lonlac
- 0000-0003-3278-9969
- Google Scholar : https://scholar.google.fr/citations?user=j_H75U8AAAAJ
Présentation
My scientific work relates to Artificial Intelligence including Data Mining, Machine Learning, Explainability and Boolean Satisfiability (SAT).
Domaines de recherche
Intelligence artificielle [cs.AI]
Apprentissage [cs.LG]
Compétences
Recherche scientifique
Fouille de données
Apprentissage machine
Explicabilité
Solveurs de contraintes
Publications
- 8
- 8
- 1
- 1
- 6
- 1
- 1
- 1
- 2
- 1
- 5
Extracting Frequent Gradual Patterns Using Constraints ModelingCoRR, 2019, abs/1903.08452
Article dans une revue
hal-02134342v1
|
Mining Gradual Itemsets Using Sequential Pattern Mining2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Jun 2019, New Orleans, United States. pp.1-6, ⟨10.1109/FUZZ-IEEE.2019.8858864⟩
Communication dans un congrès
hal-03600347v1
|
|
Adding New Bi-Asserting Clauses For Faster Search in Modern SAT Solvers10th Symposium on Abstraction, Reformulation, and Approximation (SARA'13), 2013, Leavenworth, United States. pp.66-72
Communication dans un congrès
hal-00875416v1
|
|
Extending Resolution by Dynamic Substitution of Boolean Functions24th International Conference on Tools with Artificial Intelligence (ICTAI'12), 2012, Athens, Greece. pp.1029-1034
Communication dans un congrès
hal-00865574v1
|
|
|
Résolution Etendue par Substitution Dynamique des Fonctions BooléennesJFPC, May 2012, Toulouse, France
Communication dans un congrès
hal-00820039v1
|
Intensification Search in Modern SAT Solvers15th International Conference on Theory and Applications of Satisfiability Testing (SAT'12), 2012, Trento, Italy. pp.491-492
Communication dans un congrès
hal-00865581v1
|
|
Intensification Search in Modern SAT Solvers8ièmes Journées Francophones de Programmation par Contraintes (JFPC'12), 2012, Toulouse, France. pp.156-159
Communication dans un congrès
hal-00869900v1
|
|
|
Intensification de la Recherche dans les Solveurs SAT ModernesJFPC, May 2012, Toulouse, France
Communication dans un congrès
hal-00820038v1
|