Communication Dans Un Congrès
Année : 1999
Fabien DELORME : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-03300524
Soumis le : mardi 27 juillet 2021-10:37:29
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-03300524 , version 1
Citer
Éric Grégoire. Progressive instantiation for the logical validation of nonmonotonic KBs. Proc. of the Fifht European Symp. on Verification and Validation of Knowledge Based Systems and Components, 1999, Oslo, Unknown Region. ⟨hal-03300524⟩
Collections
6
Consultations
0
Téléchargements