Journal Of Applied Logics-ifcolog Journal Of Logics And Their Applications

ISI

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

Scopus

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

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

SCImago

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

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

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

اهداف مجله

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