JOURNAL OF LOGIC AND COMPUTATION 期刊简介
Logic has found application in virtually all aspects of Information Technology, from software engineering and hardware to programming and artificial intelligence. Indeed, logic, artificial intelligence and theoretical computing are influencing each other to the extent that a new interdisciplinary area of Logic and Computation is emerging.
The Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, feasible maths.... Logical issues in logic programming, knowledge-based systems and automated reasoning; logical issues in knowledge representation, such as non-monotonic reasoning and systems of knowledge and belief; logics and semantics of programming; specification and verification of programs and systems; applications of logic in hardware and VLSI, natural language, concurrent computation, planning, and databases. The bulk of the content is technical scientific papers, although letters, reviews, and discussions, as well as relevant conference reviews, are included.
逻辑已经在信息技术的几乎所有方面都得到应用,从软件工程和硬件到编程和人工智能。事实上,逻辑、人工智能和理论计算正在相互影响,以至于逻辑和计算的新的跨学科领域正在出现。
《逻辑与计算杂志》旨在促进逻辑和计算的发展,其中包括,以下感兴趣的领域: 逻辑系统,如经典和非经典逻辑、构造逻辑、分类逻辑、模态逻辑、类型论、可行数学 ....逻辑编程,基于知识的系统和自动推理中的逻辑问题; 知识表示中的逻辑问题,例如非单调推理和知识与信念系统; 编程的逻辑和语义; 程序和系统的规范和验证; 逻辑在硬件和超大规模集成电路中的应用,自然语言,并发计算、规划和数据库。尽管包括信件,评论和讨论以及相关的会议评论,但大部分内容是技术科学论文。
期刊ISSN
|
0955-792X |
影响指数
|
0.412 |
最新CiteScore值
|
2.30 查看CiteScore评价数据 |
最新自引率
|
10.60% |
官方指定润色网址
|
https://www.deeredit.com/?type=ss1 |
投稿语言要求
|
Improve the quality of the paper, eliminate grammar and spelling errors, increase readability, ensure accurate communication of viewpoints, enhance academic reputation, and increase the chances of the paper being accepted. 建议点击这个网址:https://www.deeredit.com/?type=ss2,资深审稿专家为您评估稿件质量,提供针对性改进建议,最终可助您极大提升目标期刊录用率 |
期刊官方网址
hot |
https://www.peipusci.com/?type=9 |
杂志社征稿网址
hot |
https://www.peipusci.com/?type=10 |
通讯地址
|
OXFORD UNIV PRESS, GREAT CLARENDON ST, OXFORD, ENGLAND, OX2 6DP |
偏重的研究方向(学科)
|
工程技术-计算机:理论方法 |
出版周期
|
Bimonthly |
出版年份
|
0 |
出版国家/地区
|
ENGLAND |
是否OA
|
No |
SCI期刊coverage
|
Science Citation Index Expanded(科学引文索引扩展) |
NCBI查询
|
PubMed Central (PMC)链接 全文检索(pubmed central) |
最新中科院JCR分区
|
大类(学科)
小类(学科)
综述期刊
工程技术
COMPUTER SCIENCE, THEORY & METHODS(计算机:理论方法)4区
LOGIC(逻辑学)2区
否
|
|||||
最新的影响因子
|
0.412 | |||||
最新公布的期刊年发文量 |
|
|||||
总被引频次 | 49 | |||||
影响因子趋势图 |
近年的影响因子趋势图(整体平稳趋势)
|
2022年预警名单预测最新
最新CiteScore值
|
2.30
|
||||||||||||||||||||||||||
年文章数 | 64 | ||||||||||||||||||||||||||
SJR
|
0.475 | ||||||||||||||||||||||||||
SNIP
|
0.957 | ||||||||||||||||||||||||||
CiteScore排名
|
|
||||||||||||||||||||||||||
CiteScore趋势图 |
CiteScore趋势图
|
本刊同领域相关期刊
|
|
期刊名称 | IF值 |
JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING | 0.852 |
JOURNAL OF LOGIC AND COMPUTATION | 0.412 |
Logical Methods in Computer Science | 0.434 |
ACM Transactions on Computational Logic | 0.619 |
Journal of Logical and Algebraic Methods in Programming | 0.575 |
THEORY AND PRACTICE OF LOGIC PROGRAMMING | 0.74 |
Studia Logica | 0.579 |
Review of Symbolic Logic | 0.99 |
JOURNAL OF SYMBOLIC LOGIC | 0.507 |
本刊同分区等级的相关期刊
|
|
期刊名称 | IF值 |
JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING | 0.852 |
JOURNAL OF LOGIC AND COMPUTATION | 0.412 |
Logical Methods in Computer Science | 0.434 |
ACM Transactions on Computational Logic | 0.619 |
Journal of Logical and Algebraic Methods in Programming | 0.575 |
THEORY AND PRACTICE OF LOGIC PROGRAMMING | 0.74 |
Studia Logica | 0.579 |
Review of Symbolic Logic | 0.99 |
JOURNAL OF SYMBOLIC LOGIC | 0.507 |
分享者 | 点评内容 |