?. Les-décollage, 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

J. Bourrely, Etude d'algorithmes d'e ´vitement pour la navigation aérienne, 1996.

D. Bowen, L. Byrd, F. C. Pereira, L. M. Pereira, and D. H. Warren, SICStus Prolog User's Manual, Swedish Institute of Computer Science, issue.2, 1991.

T. Castell, Consistance et déduction en langage propositionnel, Thèse de doctorat, 1997.

A. Ceron, Définition et implémentation d'un environnement de travail pour le système expert SALoME, Mémoire, CNAM, 1991.

C. Shively and K. Schwamb, AIRPAC : Advisor for the intelligent resolution of predicted aircraft conflicts The MITRE Corporation, 1984.

D. Subrata-kumar, Deductive Database and Logic Programming, 1992.

P. Deketelaere, Algorithmes de détections des intéractions ERATO, pp.95-897

M. Leroux and L. Lapasset, Expertise qualitative de résolutions de conflits plans a ` deux avions : le croisement sur un point, pp.96-756, 1996.

M. Leroux and L. Lapasset, Expertise qualitative de résolutions de conflits plans a ` deux avions : le croisement sur un segment, pp.97-501, 1996.

T. Castell and M. Cayrol, Une nouvelle méthode de calcul des impliquants et des impliqués premiers, CNPC'96, 1996.

K. Bousson and P. Paglione, An optimal aircraft conflict resolution system based on hybrid models, ICAS Proceedings, pp.2065-2070, 1996.

G. Gaudière, Résolution de conflit par réseaux de neurones, 1995.

G. Dean, X. Fron, W. Miller, and J. Nicolaon, Arc 2000 : An investigation into the feasibility of automatic conflict detection and resolution, In Air Traffic Control Quaterly, vol.3, pp.229-259, 1996.

J. J. Cannat, G. Bisson, J. Sayous, and J. Goubert, Rapport final de la convention lri/cena : PERSPICACE sur l'utilisation de l'apprentissage symbolique automatique pour la résolution de conflits, 1988.

L. Lapasset, Algorithme génétique et recuit simulé pour la résolution de conflits ATC : implantation et optimisations, p.93778, 1993.

L. Lapasset and I. /. Cena, E ´ tude de l'expertise de résolutions des contrôleurs aériens, pp.95-802, 1995.

M. Lima-marques, De la connaissance a ` la paraconsistance : un modèle d'application pour la résolution des conflits aériens, Thèse de doctorat, 1992.

T. Miquel, Présentation de la logique smacs

N. Durand, Résolution optimale de conflits en route, Thèse de doctorat, 1996.

P. William and . Niedringhaus, Automated planning for aera 3 : Maneuver option manager, 1989.

P. William and . Niedringhaus, A mathematical formulation for planning automated aircraft separations for aera 3, 1989.

P. William and . Niedringhaus, 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.

K. Zeghal, Vers une théorie de la coordination d'action. Application a ` la navigation aérienne, Thèse de doctorat, 1994.