An asp-based approach for attractor enumeration in synchronous and asynchronous boolean networks T Khaled, B Benhamou arXiv preprint arXiv:1909.08251, 2019 | 8 | 2019 |
An ASP-based Approach for Boolean Networks Representation and Attractor Detection. T Khaled, B Benhamou LPAR, 317-333, 2020 | 7 | 2020 |
A new method for computing stable models in logic programming T Khaled, B Benhamou, P Siegel 2018 IEEE 30th International Conference on Tools with Artificial …, 2018 | 6 | 2018 |
Symmetry breaking in a new stable model search method T Khaled, B Benhamou 22nd International Conference on Logic for Programming Artificial …, 2018 | 5 | 2018 |
Vers une nouvelle méthode de calcul de modéles stables et extensions en programmation logique T Khaled, B Benhamou, P Siegel JIAF, 2017 | 3 | 2017 |
Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells T Khaled, B Benhamou, VG Trinh Annals of Mathematics and Artificial Intelligence 91 (5), 713-750, 2023 | 2 | 2023 |
Une nouvelle méthode pour la recherche de modèles stables en programmation logique T Khaled, B Benhamou, P Siegel JFPC 2018, 63, 2018 | 2 | 2018 |
Dealing with biology systems in the framework of answer set programming T Khaled, B Benhamou Procedia Computer Science 176, 450-459, 2020 | 1 | 2020 |
Élimination des symétries dans une nouvelle méthode de recherche de modèles stables T Khaled, B Benhamou JFPC 2018, 73, 2018 | 1 | 2018 |
A new approach to conceive ASP solvers T Khaled @RuleML+RR 2018, 2018 | 1 | 2018 |
Une approche basée sur l'ASP pour détecter des attracteurs dans les réseaux booléens circulaires T Khaled, B Benhamou 14eme Journées Francophones de Programmation par Contraintes, JFPC, 2021 | | 2021 |
Conception d'un système ASP basé sur une nouvelle sémantique et application aux problèmes biologiques T Khaled Aix-Marseille, 2019 | | 2019 |