Title of article
About the incremental validation of first-order stratified knowledge-based decision-support systems
Author/Authors
Eric Grégoire، نويسنده , , Bertrand Mazure، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2002
Pages
13
From page
117
To page
129
Keywords
Knowledge bases , validation , Verification , Logical consistency
Journal title
Information Sciences
Serial Year
2002
Journal title
Information Sciences
Record number
176339
Link To Document