ترجمه فارسی عنوان مقاله
یک منطق به روز رسانی برای سیستم های اطلاعاتی
عنوان انگلیسی
An update logic for information systems
کد مقاله | سال انتشار | تعداد صفحات مقاله انگلیسی |
---|---|---|
78783 | 2014 | 21 صفحه PDF |
منبع
Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)
Journal : International Journal of Approximate Reasoning, Volume 55, Issue 1, Part 4, January 2014, Pages 436–456
ترجمه کلمات کلیدی
سیستم اطلاعات؛ تقریب بالا و پایین - منطق موجهات؛ منطق محمولی مرتبه اول
کلمات کلیدی انگلیسی
Information system; Lower and upper approximations; Modal logic; First order predicate logic