I. Des and P. , 28 5.6.1 Les propriétés de vérification, ., p.29

. Ce-travail-ouvre-la-porte-À-un-vaste-champ-d, investigation en particulier sur l'axe comportemental En effet, un certain nombre de travaux ont été effectués sur ce sujet. Cependant, ils ne portent que sur certains points précis et ne sont pas développés dans le cadre général de la modélisation déclarative. De même, il conviendrait d'affiner la formalisation de l

]. C. Bibliographie-[-bea89 and . Beasse, Description formelle de formes, Rennes Copenhage, p.74, 1943.

V. Brondal, Les parties du discours : Etude sur les catégories linguistiques, Copenhage, 1948.

J. Charlet, B. Bachimont, J. Bouaud, and P. Zweigenbaum, Ontologie et réutilisabilité : expérience et discussion " dans " Acquisition et ingénierie des connaissances, Cépadues-Editions, pp.69-87, 1996.

D. Chauvat, Le projet VoluFormes : un exemple de modélisation déclarative avec contrôle spatial Modélisation déclarative de scènes à base de polyèdres élémentaires Les propriétés dans le cadre d'une modélisation géométrique déclarative, Thèse de doctorat Thèse de doctorat MICAD 92, pp.75-94, 1990.

M. Daniel, Une première approche de la modélisation déclarative de courbes Rapport de recherche IRIN-81 Les modeleurs déclaratifs, 1995.

E. Desmontils, Formalisation des propriétés en modélisation déclarative à l'aide des sous-ensembles flous Rapport de recherche IRIN-106 Une formalisation des propriétés en modélisation déclarative à l'aide des ensembles flous, 3IA'96, pp.87-105, 1995.

E. Desmontils and D. Pacholczyk, Modélisation déclarative en synthèse d'images : traitement semiqualitatif des propriétés imprécises ou vagues, pp.173-181, 1996.

O. Ducrot and J. Schaeffer, Nouveau dictionnaire encyclopédique des sciences du langage, Editions du Seuil, 1995.

G. Elkharroubigra96 and ]. Jutlandica, Etude des propriétés attachées à un arbre de modélisation Matériaux pour la modélisation déclarative de graphes, Rennes La catégorie des cas, issue.1, p.63, 1935.

L. Hjelmslev, La catégorie des cas (2), Acta Jutlandica, 1937.

M. Lucas and E. Desmontils, Les modeleurs déclaratifs, Revue Internationale de CFAO et Infographie, pp.559-585, 1995.

M. Lucas, D. Martin, P. Martin, and D. Plemenos, Le projet ExploFormes : quelques pas vers la modélisation déclarative de formes, Journées AFCET-GROPLAN, pp.35-49, 1989.

J. Martin, Rapport de recherche ENSM-LISI-R16 Synthèse d'images à l'aide d'automates cellulaires Un système de génération déclarative de polyèdres Systèmes à base de règles pour la génération et l'exploration d'univers de formes Usage des règles de modification pour la génération déclarative de scène La négation en français, Etude de quelques techniques de parcours pour la modélisation déclarative Thèse de doctorat Publications romanes et françaises, p.44, 1989.

L. Pajot-duvalple89 and ]. D. Plemenos, Modélisation déclarative de configurations de segments de droite : le projet FiloFormes Contribution à l'étude et au développement des techniques de modélisation, génération et visualisation de scènes : le projet MultiFormes Modélisation déclarative de scènes tridimensionnelles par énumération spatiale : le projet SpatioFormes, Thèse de doctorat Thèse de doctorat d'état Thèse de doctorat Fuzzy Sets, Information and Control, pp.338-353, 1965.