Journal Of Logic And Computation

ISI

آخرین بروز رسانی مارس ۲۰۲۳

Scopus

آخرین بروز رسانی فوریه ۲۰۲۲

این مجله در فهرست مجلات Scopus قرار دارد و با نام Journal of Logic and Computation ثبت شده است. بر اساس تقسیم بندی این بنیاد مقالات چاپ شده در این مجله در رشته های تخصصی زیر قرار دارند:

SCImago

آخرین بروز رسانی ژانویه ۲۰۲۰

بر اساس دسته بندی این بنیاد این مجله در دسته Q2 قرار دارد

رشته تخصصی و رتبه مجله در آن رشته:

اهداف مجله

منطق تقریباً در تمام جنبه های فناوری اطلاعات، از مهندسی نرم افزار و سخت افزار گرفته تا برنامه نویسی و هوش مصنوعی، کاربرد پیدا کرده است. در واقع، منطق، هوش مصنوعی و محاسبات نظری بر یکدیگر تأثیر می‌گذارند تا جایی که حوزه بین‌رشته‌ای جدیدی از منطق و محاسبات در حال ظهور است.

هدف مجله منطق و محاسبات ترویج رشد منطق و محاسبات، از جمله زمینه‌های مورد علاقه زیر است: سیستم‌های منطقی، مانند منطق کلاسیک و غیر کلاسیک، منطق سازنده، منطق طبقه‌بندی، منطق مدال، نظریه نوع. ، ریاضیات امکان پذیر .... مسائل منطقی در برنامه نویسی منطقی، سیستم های مبتنی بر دانش و استدلال خودکار; مسائل منطقی در بازنمایی دانش، مانند استدلال غیر یکنواخت و سیستم های دانش و باور. منطق و معناشناسی برنامه نویسی؛ مشخصات و تأیید برنامه ها و سیستم ها؛ کاربردهای منطق در سخت افزار و VLSI، زبان طبیعی، محاسبات همزمان، برنامه ریزی و پایگاه های داده. بخش عمده ای از محتوا مقالات علمی فنی است، اگرچه نامه ها، بررسی ها و بحث ها، و همچنین بررسی های مربوط به کنفرانس، گنجانده شده است.