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出版商出版的專業(yè)工程技術(shù)期刊，該刊創(chuàng)刊于1990年，刊期Bimonthly，該刊已被國際權(quán)威數(shù)據(jù)庫SCIE收錄。在中科院最新升級(jí)版分區(qū)表中，該刊分區(qū)信息為大類學(xué)科：計(jì)算機(jī)科學(xué) 4區(qū)，小類學(xué)科：計(jì)算機(jī)：理論方法 4區(qū)；邏輯學(xué) 4區(qū)；在JCR（Journal Citation Reports）分區(qū)等級(jí)為Q4。該刊發(fā)文范圍涵蓋計(jì)算機(jī)：理論方法等領(lǐng)域，旨在及時(shí)、準(zhǔn)確、全面地報(bào)道國內(nèi)外計(jì)算機(jī)：理論方法工作者在該領(lǐng)域取得的最新研究成果、工作進(jìn)展及學(xué)術(shù)動(dòng)態(tài)、技術(shù)革新等，促進(jìn)學(xué)術(shù)交流，鼓勵(lì)學(xué)術(shù)創(chuàng)新。2021年影響因子為0.509，平均審稿速度較慢,6-12周。

中科院分區(qū)最新升級(jí)版（當(dāng)前數(shù)據(jù)版本：2021年12月最新升級(jí)版）

大類學(xué)科	分區(qū)	小類學(xué)科	分區(qū)	Top期刊	綜述期刊
計(jì)算機(jī)科學(xué)	4區(qū)	COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 LOGIC 邏輯學(xué)	4區(qū) 4區(qū)	否	否

中科院分區(qū)最新基礎(chǔ)版（當(dāng)前數(shù)據(jù)版本：2021年12月最新基礎(chǔ)版）

大類學(xué)科	分區(qū)	小類學(xué)科	分區(qū)	Top期刊	綜述期刊
工程技術(shù)	4區(qū)	COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 LOGIC 邏輯學(xué)	4區(qū) 3區(qū)	否	否

中科院JCR分區(qū)歷年趨勢(shì)圖

JCR分區(qū)（當(dāng)前數(shù)據(jù)版本：2021-2022年最新版）

JCR分區(qū)等級(jí)	JCR所屬學(xué)科	分區(qū)	影響因子
Q4	LOGIC	Q4	0.509
	COMPUTER SCIENCE, THEORY & METHODS	Q4

期刊指數(shù)

影響因子	h-index	Gold OA文章占比	研究類文章占比	OA開放訪問	平均審稿速度
0.509	49	7.62%	100.00%	未開放	較慢,6-12周

IF值(影響因子)趨勢(shì)圖