Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Richard Hull"'
Autor:
Richard Hull, Nicole Bidoit
Publikováno v:
Journal of Computer and System Sciences. 38:290-325
Three formalizations of the closed world assumption (CWA) which accomodate disjunctive information are compared. The semantic approach of Bossu and Siegel, here called “minimalism,” is shown to be equivalent to the syntactic approach based on Rei