中文簡(jiǎn)介

邏輯幾乎在信息技術(shù)的所有方面都得到了應(yīng)用，從軟件工程和硬件到編程和人工智能。事實(shí)上，邏輯、人工智能和理論計(jì)算相互影響，一個(gè)新的跨學(xué)科的邏輯和計(jì)算領(lǐng)域正在出現(xiàn)�！哆壿嬇c計(jì)算》雜志旨在促進(jìn)邏輯與計(jì)算的發(fā)展，其中包括以下幾個(gè)領(lǐng)域的興趣:邏輯系統(tǒng)，如古典與非古典邏輯、建構(gòu)邏輯、范疇邏輯、模態(tài)邏輯、類型理論、可行數(shù)學(xué)……邏輯編程、基于知識(shí)的系統(tǒng)和自動(dòng)推理中的邏輯問題;知識(shí)表示中的邏輯問題，如非單調(diào)推理和知識(shí)信念系統(tǒng);編程的邏輯和語義;程序和系統(tǒng)的說明和驗(yàn)證;邏輯在硬件和超大規(guī)模集成電路、自然語言、并行計(jì)算、規(guī)劃和數(shù)據(jù)庫中的應(yīng)用。大部分內(nèi)容是技術(shù)科學(xué)論文，不過也包括信件、評(píng)論、討論以及相關(guān)的會(huì)議評(píng)論。

　　英文簡(jiǎn)介

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.

　　近年期刊自引率趨勢(shì)圖

　　JCR分區(qū)

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

　　近年期刊影響因子趨勢(shì)圖

　　CiteScore數(shù)值

CiteScore	SJR	SNIP	學(xué)科類別	分區(qū)	排名	百分位
1.60	0.522	0.886	大類：Mathematics 小類：Logic	Q2	17 / 41	59%
			大類：Mathematics 小類：Arts and Humanities (miscellaneous)	Q2	154 / 376	59%
			大類：Mathematics 小類：Theoretical Computer Science	Q4	96 / 123	22%
			大類：Mathematics 小類：Hardware and Architecture	Q4	131 / 167	21%
			大類：Mathematics 小類：Software	Q4	315 / 398	20%

　　相關(guān)工程技術(shù)SCI期刊推薦

• SemimonthlyADVANCED MATERIALS
• Journal of Materials Chemistry A
• MonthlyADVANCED FUNCTIONAL MATERIALS
• SemimonthlyAPPLIED CATALYSIS B-ENVIRONMENTAL
• SemimonthlyJOURNAL OF HAZARDOUS MATERIALS
• SemimonthlyJOURNAL OF ALLOYS AND COMPOUNDS
• MonthlyBiotechnology for Biofuels
• Materials Science & Engineering C-Materials for Biological Applications
• MonthlySmall
• MonthlyJOURNAL OF THE ELECTROCHEMICAL SOCIETY