کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4942054 | 1436982 | 2017 | 46 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Understanding the complexity of axiom pinpointing in lightweight description logics
ترجمه فارسی عنوان
درک پیچیدگی محوری در تعیین دقیق در منطقهای سبک وزن
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
منطق توصیف، محاسبه دقیق، پیچیدگی محاسباتی، شمارش پیچیدگی، پیچیدگی شمارش،
ترجمه چکیده
در این مقاله، ما یک تحلیل کامل از پیچیدگی چند تصمیم گیری، شمارش و شمارش و مشکلات مربوط به تعیین دقیق در منطق توصیف سبک ارائه می دهیم.
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
چکیده انگلیسی
In this paper, we provide a thorough analysis of the complexity of several decision, counting, and enumeration problems associated to axiom pinpointing in lightweight description logics.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Artificial Intelligence - Volume 250, September 2017, Pages 80-104
Journal: Artificial Intelligence - Volume 250, September 2017, Pages 80-104
نویسندگان
Rafael Peñaloza, BarıŠSertkaya,