Veri-KoMoD: Verification of knowledge models in the mechanical design field

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1621, Issue , 1999, Pages 385-390

  Sellini, Florence ^a   Yvars, Pierre Alain ^b  

^a CENTRO RICERCHE FIAT   (Italy)

^b GRIIEM Research Team   (France)

Author keywords

[No Author keywords available]

Indexed keywords

TECHNOLOGY TRANSFER;

CONCEPTUAL MODEL; EXPLICIT REPRESENTATION; KNOWLEDGE MODEL; MECHANICAL DESIGN; PRODUCT CLASS;

KNOWLEDGE ACQUISITION;

EID: 67349205747     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48775-1_31     Document Type: Conference Paper

References (7)

1. [1] M. Ayel & M.-C. Rousset - La cohérence dans les bases de connaissances pages. Paris, Cépadues Eds. (1990).
2. [2] C. Djeraba, G.-T. Nguyen et D. Rieu - Objets composites et liens de dépendance dans un système à base de connaissance, INFORSID'93, Lille, p. 353-372 (1993).
3. [3] P.-A. Muller - Modélisation Objet avec UML. Eyrolles ed, 421 pages. PARIS(1997).
4. [4] C. Pierret-Golbreicht - TASK, un environnement pour le développement de systèmes flexibles, Rapport de Recherche, report n° RR n°1056, LRI Orsay(1996).
5. [5] A. Saucier - Un modèle multi-vues du produit pour le développement et l'utilisation de systèmes d'aide à la conception en ingénierie mécanique, PhD Thesis in Mécanique, ENS de Cachan(1997).
6. [6] F. Sellini - Contribution à la représentation et à la vérification de Modèles de connaissances produit en ingénierie d'ensembles mécaniques., PhD Thesis in génie industriel & informatique, Ecole Centrale de Paris(1999).
7. [7] F. Sellini & P.-A. Yvars - Méta Modèle déclaratif pour la représentation du produit en conception mécanique, IDMME'98, Compiègne(1998).