%0 Conference Proceedings %T استنتاج توزیع شده در منطق Order-Sorte بر روی دانش دائمی و غیر دائمی معتبر %A ملیحه امینی %A نقیب زاده, محمود %A سید هاشم محتشمی %J پنجمین کنفرانس داده کاوی ایران %D 2011