Theory and Practice of Logic Programming emphasises both the theory and practice of logic programming. Logic programming applies to all areas of artificial intelligence and computer science and is fundamental to them. Among the topics covered are AI applications that use logic programming, logic programming methodologies, specification, analysis and verification of systems, inductive logic programming, multi-relational data mining, natural language processing, knowledge representation, non-monotonic reasoning, semantic web reasoning, databases, implementations and architectures and constraint logic programming.
《THEORY AND PRACTICE OF LOGIC PROGRAMMING》期刊已被查看: 次
此期刊被最新的JCR期刊SCIE收录
1区 SCIE Scopus 数学 2区 LOGIC 逻辑学 COMPUTER SCIENCE SOFTWARE ENGINEERING 计算机:软件工程 THEORY & METHODS 计算机:理论方法
期刊官网:http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=1853452 |
---|
期刊投稿网址: |
PubMed Central (PMC)链接 :http://www.ncbi.nlm.nih.gov/nlmcatalog?term=1471-0684%5BISSN%5D |
通讯地:CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473 |
中国科学院《国际期刊预警名单(试行)》名单 |
2024年02月发布的2024版:不在预警名单中 2023年01月发布的2023版:不在预警名单中 2021年12月发布的2021版:不在预警名单中 2020年12月发布的2020版:不在预警名单中 此期刊被最新的JCR期刊SCIE收录 |
版面费 | 审稿速度 | 收录数据库 | 是否oa | 研究方向 |
---|---|---|---|---|
>12周,或约稿 | SCIE,Scopus | No | 工程技术-计算机:理论方法 |
大类学科 | 分区 | 小类学科 | Top期刊 | 综述期刊 |
---|---|---|---|---|
数学 | 2区 | LOGIC 逻辑学 COMPUTER SCIENCE SOFTWARE ENGINEERING 计算机:软件工程 COMPUTER SCIENCE THEORY & METHODS 计算机:理论方法 |
否 | 否 |
版本 | 按学科 | 分区 | 影响因子 |
---|---|---|---|
2023-2024年最新版 | COMPUTER SCIENCE SOFTWARE ENGINEERING COMPUTER SCIENCE THEORY & METHODS LOGIC |
Q1 | 1.4 |
Journal of Inclusive Postsecondary EducationJCR:0区,分类:影响因子0收录DOAJ
详情StichprobenJCR:0区,分类:影响因子0收录DOAJ
详情EManagementJCR:0区,分类:影响因子0收录DOAJ
详情Metathesis Journal of English Language Literature and TeachingJCR:0区,分类:影响因子0收录DOAJ
详情Clinical Psychology in EuropeJCR:0区,分类:影响因子0收录Scopus,DOAJ
详情Ius InkarriJCR:0区,分类:影响因子0收录DOAJ
详情Medichna nauka UkrayiniJCR:0区,分类:影响因子0收录DOAJ
详情Economics LawJCR:0区,分类:影响因子0收录DOAJ
详情