|
|
|
|
استنتاج توزیع شده برروی آنتولوژی ها و قوانین در منطق order-sorted
|
|
|
|
|
|
|
|
نویسنده
|
امینی ملیحه ,نقیب زاده محمود ,محتشمی هاشم
|
|
منبع
|
هوش محاسباتي در مهندسي برق - 1390 - دوره : 2 - شماره : 3 - صفحه:53 -66
|
|
|
|
|
کلیدواژه
|
آنتولوژی ها و قوانین ,استنتاج توزیع شده ,دائمی بودن ویژگی ,منطق Order Sorted
|
|
آدرس
|
دانشگاه آزاد اسلامی واحد مشهد, ایران, دانشگاه فردوسی مشهد, دانشکده مهندسی, گروه کامپیوتر, ایران, دانشگاه آزاد اسلامی واحد مشهد, ایران
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|