Action conjointe  Apprentissage automatique  Apprentissage de comportement  Approximation, Théorie de l'  Architecture décisionnelle  Architecture logicielle  Avions -- Conception et construction  Axiomes  Bridge  Capteurs  Chroniques  Classification supervisée  Commande robuste  Concurrence  Connaissances incomplètes  Coopération multirobot  Decisions  Décisions  Exploration de données  Fonctions sensori-motrices  Formalisme  Incertitude  Informatique -- Gestion  Intelligence artificielle  Markov, Processus de  Perception des structures  Planification -- Informatique  Planification  Reconnaissance des formes  Robotique  Robots -- Programmation  Robots mobiles  Supervision  Systèmes experts  Travail  Vision par ordinateur  

Malik Ghallab a dirigé les 26 thèses suivantes :

Vérification Formelle des Modules Fonctionnels de Systèmes Robotiques et Autonomes

par Mohammed Foughali sous la direction de Malik Ghallab et de François Ingrand . - Toulouse, INSA

Robotique et informatique

Soutenue le 17-12-2018

Decisional issues during human-robot joint action

par Sandra Devin sous la direction de Rachid Alami et de Malik Ghallab . - Toulouse, INPT

Intelligence Artificielle

Soutenue le 03-11-2017

Temporal and Hierarchical Models for Planning and Acting in Robotics

par Arthur Bit-Monnot sous la direction de Malik Ghallab et de François Ingrand . - Toulouse, INPT

Robotique et Informatique

Soutenue le 02-12-2016

Apprentissage de modèles de comportement pour le contrôle d'exécution et la planification robotique

par Guillaume Infantes sous la direction de Malik Ghallab et de François Ingrand . - Toulouse 3

Intelligence artificielle

Soutenue en 2006

Planifier avec les contraintes géométriques du mouvement et de la manipulation

par Stéphane Cambon sous la direction de Malik Ghallab et de Rachid Alami . - Toulouse 3

Intelligence artificielle

Soutenue en 2005

Localisation topologique, amers visuels et treillis de Galois

par Emmanuel Zenou sous la direction de Malik Ghallab et de M. Samuelides . - École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007)

Systèmes informatiques et image

Soutenue en 2004

Morcellement de l'espace de recherche en planification : étude théorique et utilisation pour le calcul d'heuristiques

par Yacine Zemali sous la direction de Patrick Fabiani et de Malik Ghallab . - École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007)

Systèmes décisionnels

Soutenue en 2004

Ixtet-exec : planning, plan repair and execution control with time and resource management

par Solange Lemai-Chenevier sous la direction de François Ingrand et de Malik Ghallab . - Toulouse, INPT

Représentation de la connaissance et formalisation du raisonnement

Soutenue en 2004

Vers un robot à comportement robuste : apprendre à combiner des modalités sensori-motrices complémentaires

par Benoît Morisset sous la direction de Rachid Alami et de Malik Ghallab . - Toulouse 3

Robotique

Soutenue en 2002

Découverte de chroniques à partir de journaux d'alarmes : application à la supervision de réseaux de télécommunications

par Thang Vu Duong sous la direction de Malik Ghallab et de Christophe Dousson . - Toulouse, INPT

Informatique et télécommunications

Soutenue en 2001

Une architecture intégrée pour la planification et le contrôle d'exécution en environnement dynamique

par Olivier Despouys sous la direction de Malik Ghallab et de François Ingrand . - Toulouse, INPT

Intelligence artificielle et robotique

Soutenue en 2000

Vers une cooperation entre divers systemes de planification a bord d'un robot

par BRIGITTE LAMARE sous la direction de Malik Ghallab - Toulouse 3

Sciences et techniques

Soutenue en 1999

Integration de la planification temporelle dans l'architecture decisionnelle d'un robot autonome

par JEROME GOUT sous la direction de Malik Ghallab - Toulouse 3

Sciences et techniques

Soutenue en 1999

Commande referencee multi-capteurs pour la navigation d'un robot mobile

par Viviane Cadenat sous la direction de Malik Ghallab - Toulouse 3

Sciences et techniques

Soutenue en 1999

IXTET: extension de la représentation pour la prise en compte des effets dépendant du contexte et des axiomes du domaine

par Patrick Albers sous la direction de Malik Ghallab - Toulouse 3

Informatique

Soutenue en 1997

Planification distribuée pour la coopération multi-agents

par Paul Gaborit sous la direction de Malik Ghallab - Toulouse 3

Informatique et intelligence artificielle

Soutenue en 1996

Le temps en planification et en ordonnancement : Vers une gestion complète et efficace de contraintes hétérogènes et entachées d'incertitude

par Thierry Vidal sous la direction de Malik Ghallab - Toulouse 3

Intelligence artificielle

Soutenue en 1995

Dick : une architecture d'agent rationnel. Application à la fusion multisensorielle

par Éric Dekneuvel sous la direction de Malik Ghallab - Toulouse 3

Robotique

Soutenue en 1994

Planification temporelle et exécution de tâches en robotique

par Hervé Laruelle sous la direction de Malik Ghallab - Toulouse 3

Intelligence artificielle et robotique

Soutenue en 1994

Suivi d'évolutions et reconnaissance de chroniques

par Christophe Dousson sous la direction de Malik Ghallab - Toulouse 3

Intelligence artificielle

Soutenue en 1994

Interprétation d'environnement évolutif par une machine de perception multi-sensorielle

par Jean-Philippe Thibault sous la direction de Malik Ghallab - Toulouse 3

Intelligence artificielle

Soutenue en 1993

Perception multisensorielle et interprétation de scènes

par Pierrick Grandjean sous la direction de Malik Ghallab - Toulouse 3

Robotique

Soutenue en 1991

Raisonnement temporel pour la planification et la reconnaissance de situations

par Amine Mounir Alaoui sous la direction de Malik Ghallab - Toulouse 3

Informatique

Soutenue en 1990

Raisonnement sur les contraintes géométriques et d'incertitudes pour la planification de tâches de manipulation robotisées

par Isabelle Mazon sous la direction de Malik Ghallab - Toulouse 3

Robotique

Soutenue en 1990

Optimisation d'algorithmes d'inference monotone en logique des propositions et du premier ordre

par GONZALO ESCALADA-IMAZ sous la direction de Malik Ghallab - Toulouse 3

Sciences appliquées

Soutenue en 1989

Algorithmes pour la compilation de bases de connaissances en logique propositionnelle et du premier ordre : les systemes kheops et clops

par Hervé Philippe sous la direction de Malik Ghallab - Toulouse 3

Sciences appliquées

Soutenue en 1989

Malik Ghallab a été président de jury de la thèse suivante :

Planification multirobot pour des missions de surveillance avec contraintes de communication

par Patrick Bechon sous la direction de Simon Lacroix et de Magali Barbier . - Toulouse, ISAE

Robotique

Soutenue le 26-05-2016

Malik Ghallab a été rapporteur de la thèse suivante :

Distributed cost-optimal planning

par Loïg Jezequel sous la direction de Éric Fabre - Cachan, Ecole normale supérieure

Informatique

Soutenue le 13-11-2012

Malik Ghallab a été membre de jury de la thèse suivante :

Traitement de connaissances incomplètes sur une application nécessitant un "pattern matching" efficace : le jeu de la carte au Bridge

par Benoît Faller sous la direction de Directeur de thèse inconnu - Paris 11

Informatique

Soutenue en 1985