Progressive instantiation for the logical validation of nonmonotonic KBs - Université d'Artois Access content directly
Conference Papers Year : 1999

Progressive instantiation for the logical validation of nonmonotonic KBs

No file

Dates and versions

hal-03300524 , version 1 (27-07-2021)

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⟩
6 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More