مرکز منطقه ای اطلاع رساني علوم و فناوري - About the incremental validation of first-order stratified knowledge-based decision-support systems

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 :

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 :