کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4942054 1436982 2017 46 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Understanding the complexity of axiom pinpointing in lightweight description logics
ترجمه فارسی عنوان
درک پیچیدگی محوری در تعیین دقیق در منطقهای سبک وزن
کلمات کلیدی
منطق توصیف، محاسبه دقیق، پیچیدگی محاسباتی، شمارش پیچیدگی، پیچیدگی شمارش،
ترجمه چکیده
در این مقاله، ما یک تحلیل کامل از پیچیدگی چند تصمیم گیری، شمارش و شمارش و مشکلات مربوط به تعیین دقیق در منطق توصیف سبک ارائه می دهیم.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
پیش نمایش مقاله
درک پیچیدگی محوری در تعیین دقیق در منطقهای سبک وزن
چکیده انگلیسی
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
نویسندگان
, ,