%0 Thesis %T Contribution à l'étude du raisonnement temporel. Résolution avec contraintes et application à l'abduction en raisonnement temporel %+ Centre d'Enseignement et de Recherche en Mathématiques et Calcul Scientifique (CERMICS) %A Chleq, Nicolas %I Ecole Nationale des Ponts et Chaussées %Y Bertrand NEVEU %8 1995-01-12 %D 1995 %K intelligence artificielle %K programmation %K contrainte %K science cognitive %K cognition %K neuroscience %K planification %K prédiction %K raisonnement mathématique %K informatique %K modèle mathématique %K système expert %K logique temporelle %K résolution avec contrainte %K raisonnement abductif %K abduction (logique) %Z Computer Science [cs]/Human-Computer Interaction [cs.HC]Theses %X Not available %G French %2 https://pastel.hal.science/tel-00529412/document %2 https://pastel.hal.science/tel-00529412/file/1995TH_CHLEQ_N_NS19082.pdf %L tel-00529412 %U https://pastel.hal.science/tel-00529412 %~ PASTEL %~ ENPC %~ CERMICS %~ PARISTECH