Journal Of Logic And Computation

ISI

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

Scopus

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

این مجله در فهرست مجلات Scopus قرار دارد بر اساس تقسیم بندی این بنیاد مقالات چاپ شده در این مجله در رشته های تخصصی زیر قرار دارند:

SCImago

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

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

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

اهداف مجله

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

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