Filters








7 Hits in 4.7 sec

On sentences which are true of direct unions of algebras

Alfred Horn
1951 Journal of Symbolic Logic (JSL)  
Aspects syntaxiques Ce qui peutêtre dit : vocabulaire : les mots du langage grammaire : les phrases du langage Aspects sémantiques Ce que l'on peut dire d'une expression logique : sémantique : signification  ...  Prolog les tables de vérité des opérateurs logiques et (a · b), ou (a + b) et non (a) : ??  ...  de V en A  ... 
doi:10.2307/2268661 fatcat:wue3ela4wvdnrn3xeikzojtfrm

Contribution au Niveau de l'Approche Indirecte à Base de Transfert dans la Traduction Automatique [article]

Sadik Bessou
2019 arXiv   pre-print
Le futur Si le verbe (to be) est conjugué au futur (MD="will" & VB ="be"), la phrase sera précédée de ‫"سيصبح"‬ ou ‫"ستصبح"‬ selon le genre du sujet (figure 6.4) et l'attribut sera suffixé.  ...  Le passé Si le verbe (to be) est conjugué au passé (VBD ="was" ou "were"), la phrase négative sera précédée de ‫يكن"‬ ‫"لم‬ ou ‫تكن"‬ ‫"لم‬ selon le genre du sujet (figure 6.6) et l'attribut sera suffixé  ...  de chaînes de caractères et des arbres linguistiques (origine du langage de programmation Prolog), et deuxièmement, le système Météo pour traduire les prévisions météorologiques.  ... 
arXiv:1911.07030v1 fatcat:6q4kqtltlnaotjd4qibyoj2j6m

Langages et modèles à objets État des recherches et perspectives

Roland Ducournau, Jérôme Euzenat, Gérald Masini, Amedeo Napoli, Roland Ducournau, Jérôme Euzenat, Gérald Masini, Roland Ducounau, Jérôme Euzenat, Gérald Masini, Amedeo Napoli
1998 Amedeo Napoli. INRIA   unpublished
Liste des auteurs xii viii Langages et modèles à objets Seul un ouvrage collectif est à même de montrer comment la diversité des approches traduit les différences de motivation.  ...  Enfin, le service d'imprimerie de l'INRIA (ou UCIS) a pris en charge la couverture et la réalisation matérielle de ce livre.  ...  Alagar et R. Missaoui, pages 6-21. World Scientific, Singapore, 1995. [Brun, 1988] J. Brun. Aristote et le Lycée. Que sais-je?, N o 928. Presses Universitaires de France, Paris, 1988.  ... 
fatcat:dcxxtia6vfdq3d6d7ezxcyc6ka

Colloque International Discours et Document International Symposium Discourse and Document Fascicule n° 1 2006 Présidents du colloque Comité de programme Comité d'organisation Colloque International : Discours et Document International Symposium: Discourse and Document

M.-P Péry-Woodley, U Toulouse, J Bateman, U Bremen, Allemagne Battistelli, U Paris, France Bestgen, U Lou-Vain, Belgique Boguraev, S Ferrari, Bilhaut, Hernandez
2006 unpublished
Responsable : Patrice ENJALBERT L'objectif du colloque Discours et Document est de rassembler des chercheurs intéres-sés par ce qu'on peut appeler le « niveau document » en linguistique du discours, en  ...  Ce fascicule regroupe les communications pré-sentées au colloque.  ...  Bibliography BERNSTEIN M. (1998) Remerciements NaviLire a reçu un soutien financier en 2005 de l'Ambassade de France au Danemark. NaviTexte est soutenu par un programme ECOS-Sud (U05H01).  ... 
fatcat:z5qkci6yqvdffldgpjyeqdj7bu

Traitement automatique des langues et apprentissage des langues assisté par ordinateur : bilan, résultats et perspectives

Sébastien L'Haire, Eric Wehrli
2011
Comparaison "sémantique" de phrases Après cette présentation des PSS dans les grandes lignes, cette section aborde la technique de comparaison "sémantique" de phrases et ses résultats préliminaires.  ...  Les structures pseudo-sémantiques (PSS) Dans cette partie, nous décrivons les structures sémantiques que nous utilisons pour la comparaison sémantique de phrases ( §7.2) et la reformulation de phrase (  ...  G.1 Alphacode normal La colonne oui donnent le nombre de mots retrouvés et sélectionnés par la méthode.  ... 
doi:10.13097/archive-ouverte/unige:16552 fatcat:zhhhawmhfjd5bhfu23pp7wntdi

Liste des organismes et participants : Ont contribué à la rédaction de ce rapport

Emmanuel Bruno, Jacques Le Maitre, Elisabeth Murisasco Ursidoc, Jean-Paul Metzger, Marie-France Peyrelong, Emmanuel Bruno, Sylvie Calabretto, Jean Carrive, Geneviève Lallich-Boidin, Jean-Paul Metzger, Elisabeth Murisasco, Yannick Prié (+2 others)
2004 unpublished
La comparaison de deux événements se ramène alors à une comparaison numérique de leurs dates d'avènement.  ...  logiques modales le type de sémantique qui porte son nom.  ... 
fatcat:klub6iy6wza4rpagtpovwygceq

Actes de la 9ème conférence des Technologies de l'Information et de la Communication pour l'Enseignement (TICE 2014) NOUVELLES PÉDAGOGIES, SCIENCES ET TECHNOLOGIES DU NUMÉRIQUE

Claude Frasson, Jean-Marc Labat, Fabien Gandon, David Cassagne, Clement Jonquet, Stefano Cerri, Philippe Pujas, Claude Frasson, Jean-Marc Labat, Fabien Gandon, David Cassagne, Clement Jonquet (+15 others)
2014 unpublished
D'autre part il faut convaincre les étudiants de leurs nouveaux rôles plus actifs et plus autonomes. Remerciements À Aude Pichon pour la relecture de la première version de cet article.  ...  Nous tenons à remercier toute l'équipe de conception et nos assistants Conclusion Cette recherche montre que la majorité des apprenants témoignent de l'intérêt porté à la fonction tutorale et déclarent  ...  La conception de tels EIAH est cependant très coûteuse en particulier du fait que les connaissances doivent être explicitées en Prolog, un langage informatique de représentation des connaissances, utilisé  ... 
fatcat:s6elri6rgvg7pbjczlnos2jwma