Verification of knowledge bases based on containment checking
Alon Y. Levy, Marie-Christine RoussetVolume:
101
Year:
1998
Language:
english
Pages:
24
DOI:
10.1016/s0004-3702(98)00021-6
File:
PDF, 1.77 MB
english, 1998