enseignant-chercheur, enseignant du supérieur*chercheur en entreprise, R&D du secteur privé*entrepreneur des domaines innovants*
Coordonnées
tarek.khaled@etu.univ-amu.fr
tarekhaled@gmail.com
Doctorat
Intitulé : Informatique
1ère inscription en thèse :
Octobre 2016
École doctorale :
Mathématiques et Informatique de Marseille
Date de soutenance de la thèse :
16 Décembre 2019
Sujet :
Conception d'un système ASP basé sur une nouvelle sémantique et application aux problèmes biologiques
Directeur de thèse :
Belaid BENHAMOU
Co-directeur :
Unité de recherche :
LIS Laboratoire d'Informatique et Systèmes
Intitulé de l'équipe :
Master
Intitulé : Master image et systèmes
Juin 2016 - Université Aix-Marseille
Mention : Bien
Langues vivantes
Anglais : C1 - Avancé
Français : C2 - Courant
Arabe : C2 - Maternel
Berbère : Maternel
Production scientifique
-
Vers une nouvelle méthode de calcul de modéles stables et extensions en programmation logique
Journées d'Intelligence Artificielle Fondamentale
2017
Tarek Khaled, Belaïd Benhamou, Pierre Siegel
-
Une nouvelle méthode pour la recherche de modèles stables en programmation logique
Journées Francophones de Programmation par Contraintes
2018
Tarek Khaled, Belaïd Benhamou, Pierre Siegel
-
Élimination des symétries dans une nouvelle méthode de recherche de modèles stables
Journées Francophones de Programmation par Contraintes
2018
Tarek Khaled, Belaïd Benhamou
-
A new approach to conceive ASP solvers
@RuleML+RR 2018
2018
Tarek Khaled
-
A New Method for Computing Stable Models in Logic Programming
International Conference on Tools with Artificial Intelligence
2018
Tarek Khaled, Belaid Benhamou, Pierre Siegel
-
Symmetry breaking in a new stable model search method
Conference on Logic for Programming Artificial Intelligence and Reasoning
2018
Tarek Khaled, Belaid Benhamou
-
An ASP-based Approach for Attractor Enumeration in Synchronous and Asynchronous Boolean Networks.
International Conference on Logic Programming
2019
Tarek Khaled, Belaïd Benhamou
