Journal Of Logic And Computation

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.

Journal Of Logic And Computation中文简介

《Journal Of Logic And Computation》是一本由OXFORD UNIV PRESS出版商出版的专业工程技术期刊，该刊创刊于1990年，刊期Bimonthly，该刊已被国际权威数据库SCIE收录。在中科院最新升级版分区表中，该刊分区信息为大类学科：计算机科学 4区，小类学科：计算机：理论方法 4区；逻辑学 4区；在JCR（Journal Citation Reports）分区等级为Q4。该刊发文范围涵盖计算机：理论方法等领域，旨在及时、准确、全面地报道国内外计算机：理论方法工作者在该领域取得的最新研究成果、工作进展及学术动态、技术革新等，促进学术交流，鼓励学术创新。2021年影响因子为0.509，平均审稿速度较慢,6-12周。

中科院分区最新升级版（当前数据版本：2021年12月最新升级版）

大类学科	分区	小类学科	分区	Top期刊	综述期刊
计算机科学	4区	COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学	4区 4区	否	否

JCR分区（当前数据版本：2021-2022年最新版）

JCR分区等级	JCR所属学科	分区	影响因子
Q4	LOGIC	Q4	0.509
	COMPUTER SCIENCE, THEORY & METHODS	Q4

期刊指数

影响因子	h-index	Gold OA文章占比	研究类文章占比	OA开放访问	平均审稿速度
0.509	49	7.62%	100.00%	未开放	较慢,6-12周

IF值(影响因子)趋势图