Conference Papers
Year : 1999
Fabien DELORME : Connect in order to contact the contributor
https://hal-univ-artois.archives-ouvertes.fr/hal-03300524
Submitted on : Tuesday, July 27, 2021-10:37:29 AM
Last modification on : Friday, March 24, 2023-2:53:22 PM
Dates and versions
Identifiers
- HAL Id : hal-03300524 , version 1
Cite
É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
4
View
0
Download