Ayel, Marc
Ayel, Marc, 1945-...., auteur en informatique
Ayel, Marc 1945-....
VIAF ID: 273764926 ( Personal )
Permalink: http://viaf.org/viaf/273764926
Preferred Forms
- 200 _ | ‡a Ayel ‡b Marc ‡f 1945-....
-
- 100 1 0 ‡a Ayel, Marc
-
-
- 100 1 _ ‡a Ayel, Marc
-
- 100 1 _ ‡a Ayel, Marc
- 100 1 _ ‡a Ayel, Marc, ‡d 1945-...., ‡c auteur en informatique
5xx's: Related Names (1)
- 511 2 _ ‡a Université Savoie Mont Blanc (1979-....)
Works
Title | Sources |
---|---|
La cohérence dans les bases de connaissances | |
Un environnement d'aide aux ingénieurs basé sur une architecture en taches et sur un module de visualisation de courbes. Application à la conception de procédés de raffinage | |
Eurovav-95 : proceedings [of the] | |
Methods for verifying knowledge bases. | |
Modélisation automatique de systèmes physiques : application au diagnostic | |
Les protocoles de coopération dans les systèmes multi-agents : langage de spécification, modèle d'agent et cadre de développement | |
RJCIA - Jeunes chercheurs en intelligence artificielle | |
Searching for inconsistencies in knowledge bases : SACCO. | |
Sur le spectre des espaces riemanniens symétriques | |
Symbolic execution and knowledge bases : the SVRG system. | |
Troisièmes Journées francophones sur l'intelligence artificielle distribuée & les systèmes multi-agents : Chambéry - St - Baldoph - Savoie - France, 15-16-17 mars 1995 | |
Validation, verification, and test of knowledge-based systems | |
Verification of dynamic coherence in modular knowledge bases. |