induisent des intentions d'e ´volutions verticales. Ces intentions peuvent aider au choix du niveau destination, lorsqu'un avion doit libérer un niveau, suite a ` une résolution proposant une telle manoeuvre ,
Etude d'algorithmes d'e ´vitement pour la navigation aérienne, 1996. ,
SICStus Prolog User's Manual, Swedish Institute of Computer Science, issue.2, 1991. ,
Consistance et déduction en langage propositionnel, Thèse de doctorat, 1997. ,
Définition et implémentation d'un environnement de travail pour le système expert SALoME, Mémoire, CNAM, 1991. ,
AIRPAC : Advisor for the intelligent resolution of predicted aircraft conflicts The MITRE Corporation, 1984. ,
Deductive Database and Logic Programming, 1992. ,
Algorithmes de détections des intéractions ERATO, pp.95-897 ,
Expertise qualitative de résolutions de conflits plans a ` deux avions : le croisement sur un point, pp.96-756, 1996. ,
Expertise qualitative de résolutions de conflits plans a ` deux avions : le croisement sur un segment, pp.97-501, 1996. ,
Une nouvelle méthode de calcul des impliquants et des impliqués premiers, CNPC'96, 1996. ,
An optimal aircraft conflict resolution system based on hybrid models, ICAS Proceedings, pp.2065-2070, 1996. ,
Résolution de conflit par réseaux de neurones, 1995. ,
Arc 2000 : An investigation into the feasibility of automatic conflict detection and resolution, In Air Traffic Control Quaterly, vol.3, pp.229-259, 1996. ,
Rapport final de la convention lri/cena : PERSPICACE sur l'utilisation de l'apprentissage symbolique automatique pour la résolution de conflits, 1988. ,
Algorithme génétique et recuit simulé pour la résolution de conflits ATC : implantation et optimisations, p.93778, 1993. ,
E ´ tude de l'expertise de résolutions des contrôleurs aériens, pp.95-802, 1995. ,
De la connaissance a ` la paraconsistance : un modèle d'application pour la résolution des conflits aériens, Thèse de doctorat, 1992. ,
Présentation de la logique smacs ,
Résolution optimale de conflits en route, Thèse de doctorat, 1996. ,
Automated planning for aera 3 : Maneuver option manager, 1989. ,
A mathematical formulation for planning automated aircraft separations for aera 3, 1989. ,
Maneuver option manager : Automated simplification of complex air traffic control problems, IEEE Transactions on Systems, Man and Cybernetics, vol.22, issue.5, pp.1047-1057, 1992. ,
Vers une théorie de la coordination d'action. Application a ` la navigation aérienne, Thèse de doctorat, 1994. ,