Follow
Tarek Khaled
Tarek Khaled
Verified email at univ-amu.fr
Title
Cited by
Cited by
Year
An asp-based approach for attractor enumeration in synchronous and asynchronous boolean networks
T Khaled, B Benhamou
arXiv preprint arXiv:1909.08251, 2019
82019
An ASP-based Approach for Boolean Networks Representation and Attractor Detection.
T Khaled, B Benhamou
LPAR, 317-333, 2020
72020
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
62018
Symmetry breaking in a new stable model search method
T Khaled, B Benhamou
22nd International Conference on Logic for Programming Artificial …, 2018
52018
Vers une nouvelle méthode de calcul de modéles stables et extensions en programmation logique
T Khaled, B Benhamou, P Siegel
JIAF, 2017
32017
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
22023
Une nouvelle méthode pour la recherche de modèles stables en programmation logique
T Khaled, B Benhamou, P Siegel
JFPC 2018, 63, 2018
22018
Dealing with biology systems in the framework of answer set programming
T Khaled, B Benhamou
Procedia Computer Science 176, 450-459, 2020
12020
Élimination des symétries dans une nouvelle méthode de recherche de modèles stables
T Khaled, B Benhamou
JFPC 2018, 73, 2018
12018
A new approach to conceive ASP solvers
T Khaled
@RuleML+RR 2018, 2018
12018
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
The system can't perform the operation now. Try again later.
Articles 1–12