تفاوت تاریخ بروزرسانی در صورت داشتن اشتراک
| نمایه | آخرین بروز رسانی |
|---|---|
| Scopus | فوریه ۲۰۲۲ |
| ISI | مارس ۲۰۲۳ |
| SCImago | ژانویه ۲۰۲۰ |
| ISI Open Access Journals | مارس ۲۰۲۴ |
| لیست سیاه وزارت علوم | فروردین ۱۴۰۲ |
| لیست سیاه وزارت بهداشت | فروردین ۱۴۰۲ |
| لیست سیاه دانشگاه آزاد | بهمن ۱۳۹۹ |
| مجلات دارای زمان داوری | ژانویه ۲۰۲۲ |
| مجلات درجه بندی شده از نظر سختی پذیرش | ژانویه ۲۰۲۲ |
| فراخوانهای مقاله | فوریه ۲۰۲۴ |
| نمایه | آخرین بروز رسانی |
|---|---|
| Scopus | ژانویه ۲۰۲۴ |
| ISI | آپریل ۲۰۲۴ |
| SCImago | می ۲۰۲۴ |
| ISI Open Access Journals | مارس ۲۰۲۴ |
| لیست سیاه وزارت علوم | فروردین ۱۴۰۳ |
| لیست سیاه وزارت بهداشت | فروردین ۱۴۰۳ |
| لیست سیاه دانشگاه آزاد | آذر ۱۴۰۱ |
| مجلات دارای زمان داوری | ژانویه ۲۰۲۴ |
| مجلات درجه بندی شده از نظر سختی پذیرش | ژانویه ۲۰۲۴ |
| فراخوانهای مقاله | فوریه ۲۰۲۴ |
Theory And Practice Of Logic Programming
| انگلستان | کشور |
| ۰٫۷۴۷ | Impact Factor |
| 1471-0684 | ISSN |
| 1475-3081 | e-ISSN |
| 2001 تا کنون | مدت فعالیت |
| Cambridge University Press | ناشر |
| www.cambridge.org | سایت مجله |
ISI
آخرین بروز رسانی مارس ۲۰۲۳
Scopus
آخرین بروز رسانی فوریه ۲۰۲۲
این مجله در فهرست مجلات Scopus قرار دارد بر اساس تقسیم بندی این بنیاد مقالات چاپ شده در این مجله در رشته های تخصصی زیر قرار دارند:
SCImago
آخرین بروز رسانی ژانویه ۲۰۲۰
بر اساس دسته بندی این بنیاد این مجله در دسته Q1 قرار دارد
رشته تخصصی و رتبه مجله در آن رشته:
اهداف مجله
تئوری و عمل برنامه نویسی منطقی بر تئوری و عمل برنامه نویسی منطقی تأکید دارد. برنامه نویسی منطقی در تمام زمینه های هوش مصنوعی و علوم کامپیوتر کاربرد دارد و برای آنها اساسی است. از جمله موضوعات تحت پوشش، برنامه های کاربردی هوش مصنوعی است که از برنامه نویسی منطقی، روش های برنامه نویسی منطقی، مشخصات، تجزیه و تحلیل و تأیید سیستم ها، برنامه نویسی منطق استقرایی، داده کاوی چند رابطه ای، پردازش زبان طبیعی، نمایش دانش، استدلال غیر یکنواخت، استدلال وب معنایی، استفاده می کنند. پایگاه داده ها، پیاده سازی ها و معماری ها و برنامه نویسی منطق محدودیت ها.