De l'utilisation de l'Answer Set Programming pour la formalisation de logiques de description
Texte intégral
Documents relatifs
Dans le cadre du projet EXPAND, nous avons donc développé un système semi-automatisée d’alignement terminologique pour assister la traduction de concepts médicaux et
Dans notre questionnaire de post-évaluation, nous avons demandé aux participants si, selon eux, la qualité de la traduction subit un impact lors de l’utilisation de
D'une façon générale, nous soutenons qu'une logique d'investigation s'ouvre du point de vue de l'apprenant, dès lors qu'une forme d'incertitude émerge dans le cours de son action
Dans tous les exemples qui sont pr´esent´es par la suite, les destin´ees nous ont ´et´e utiles pour d´eterminer ce qu’il est possible d’ex- primer `a un rang de
Evaluation de la transmission du chromosome surnuméraire via les gamètes mâles et femelles. Nous constatons que la transmi~sion du chromosome supplémentaire est défectu1:use et
Cette observation nous montrent qu’on peut calculer la matrice des facteurs nécessitants pour résoudre le problème [2.2] dans l’itération actuel par une mise à jour des facteurs
Afin de sécuriser les projets de décarbonation dans le cadre du futur système ETS, nous appelons à la mise en place d’un système de compensation carbone aux frontières de
En plus des services utilitaires qui allouent des ressources (Grid, ferme de serveurs), nous pouvons citer les fournisseurs de services d’application (ASP Application Service
