Journal Of Applied Logics-ifcolog Journal Of Logics And Their Applications
| انگلستان | کشور |
| 2631-9810 | ISSN |
| 2631-9829 | e-ISSN |
| 2018 تا کنون | مدت فعالیت |
| College Publications | ناشر |
| www.collegepublications.co.uk | سایت مجله |
ISI
آخرین بروز رسانی مارس ۲۰۲۳
Scopus
آخرین بروز رسانی فوریه ۲۰۲۲
این مجله در فهرست مجلات Scopus قرار دارد و با نام IfCoLoG Journal of Logics and their Applications ثبت شده است. بر اساس تقسیم بندی این بنیاد مقالات چاپ شده در این مجله در رشته های تخصصی زیر قرار دارند:
رتبه مجله در رشته تخصصی در پایین جدول بخش سایمگو نشان داده شده است.
SCImago
آخرین بروز رسانی ژانویه ۲۰۲۰
بر اساس دسته بندی این بنیاد این مجله در دسته Q4 قرار دارد
رشته تخصصی و رتبه مجله در آن رشته:
اهداف مجله
همه حوزه‌های منطق محض و کاربردی، از جمله سیستم‌های منطقی محض، نظریه اثبات، منطق سازنده، منطق مقوله‌ای، منطق معین و زمانی، نظریه مدل، نظریه بازگشت، نظریه نوع، نظریه اسمی، منطق غیرکلاسیک، منطق غیر یکنواخت، استدلال عددی و عدم قطعیت، منطق و هوش مصنوعی، مبانی برنامه نویسی منطق، بازنگری باورها، منطق پویا، منطق کوانتومی، منطق جبری، منطق و شناخت، منطق احتمالاتی، منطق و شبکه ها، سیستم های عصبی-منطقی، پیچیدگی، نظریه استدلال، منطق و محاسبات، منطق و زبان، مهندسی منطق، سیستم های مبتنی بر دانش و استدلال خودکار، مسائل منطقی در بازنمایی دانش، سیستم های دانش و باور. منطق و معناشناسی برنامه نویسی؛ مشخصات و تایید برنامه ها و سیستم ها، کاربردهای منطق در سخت افزار و VLSI، زبان طبیعی، محاسبات همزمان، برنامه ریزی، تئوری عامل و پایگاه های داده.