Documents

Philippe Roussel. Définition et traitement de l'égalité formelle en démonstration automatique. Université Aix-Marseille II, France, May 1972. by Paul McJones — last modified 2019-08-08 20:54

Philippe Roussel. Définition et traitement de l'égalité formelle en démonstration automatique. Thèse de 3ème cycle, Groupe Intelligence Artificielle, Faculté des Sciences de Luminy, Université Aix-Marseille II, France, May 1972.

Robert Passaro. Un systeme de communication homme-machine en Francais. October 1974. by Paul McJones — last modified 2021-09-14 16:31

Robert Passaro. Un systeme de communication homme-machine en Francais. Rapport de recherche intermediare sur le Contrat Sesdri No. 73 047, période du 16 Octobre 1973 au 16 Octobre 1974. Groupe d'Intelligence Artificielle, Université Aix-Marseille II, France, October 1974

Robert Passaro. Un essai de communication sensee en langue naturelle. September 1976. by Paul McJones — last modified 2021-09-14 16:36

Robert Passaro. Un essai de communication sensee en langue naturelle. Recherche subventionnée par le contrat IRIA-SESORI no. 73 047. Groupe d'Intelligence Artificielle, Université Aix-Marseille II, France, September 1976.

V. Dahl and R. Sambuc. Un système de banque de données en logique du premier ordre, en vue de sa consultation en langue naturelle. by Paul McJones — last modified 2021-01-13 13:53

V. Dahl and R. Sambuc. Un système de banque de données en logique du premier ordre, en vue de sa consultation en langue naturelle. D.E.A. Report, Univ. Aix-Marseille, 1976.

Veronica Dahl. Translating Spanish into Logic through Logic. Computational Linguististics. 1981. by Paul McJones — last modified 2020-02-07 11:15

Veronica Dahl. Translating Spanish into Logic through Logic. Computational Linguististics. Volume 7, Number 3 (July 1981), pages 149–164.

Alain Colmerauer. Prolog and Infinite Trees. 1982. by Paul McJones — last modified 2019-09-30 17:39

Alain Colmerauer. Prolog and Infinite Trees. In: Keith L. Clark and Sten-Åke Tärnlund (eds). Logic programming. London: Academic Press, 1982, pages 231-251.