期刊簡(jiǎn)介預(yù)計(jì)審稿時(shí)間： 較慢,6-12周

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.

邏輯幾乎應(yīng)用于信息技術(shù)的所有方面，從軟件工程和硬件到編程和人工智能。事實(shí)上，邏輯、人工智能和理論計(jì)算相互影響，以至于一個(gè)新的跨學(xué)科領(lǐng)域“邏輯與計(jì)算”正在興起。

《邏輯與計(jì)算雜志》旨在促進(jìn)邏輯和計(jì)算的發(fā)展，其中包括以下感興趣的領(lǐng)域：邏輯系統(tǒng)，例如經(jīng)典和非經(jīng)典邏輯、構(gòu)造邏輯、范疇邏輯、模態(tài)邏輯、類(lèi)型理論、可行數(shù)學(xué)……邏輯編程、知識(shí)型系統(tǒng)和自動(dòng)推理中的邏輯問(wèn)題；知識(shí)表示中的邏輯問(wèn)題，例如非單調(diào)推理和知識(shí)與信念系統(tǒng)；編程的邏輯和語(yǔ)義；程序和系統(tǒng)的規(guī)范和驗(yàn)證；邏輯在硬件和 VLSI、自然語(yǔ)言、并發(fā)計(jì)算、規(guī)劃和數(shù)據(jù)庫(kù)中的應(yīng)用。大部分內(nèi)容是技術(shù)科學(xué)論文，但也包括信件、評(píng)論和討論以及相關(guān)的會(huì)議評(píng)論。

《Journal Of Logic And Computation》(邏輯與計(jì)算雜志)編輯部通訊方式為OXFORD UNIV PRESS, GREAT CLARENDON ST, OXFORD, ENGLAND, OX2 6DP。如果您需要協(xié)助投稿或潤(rùn)稿服務(wù)，您可以咨詢我們的客服老師。我們專注于期刊咨詢服務(wù)十年，熟悉發(fā)表政策，可為您提供一對(duì)一投稿指導(dǎo)，避免您在投稿時(shí)頻繁碰壁，節(jié)省您的寶貴時(shí)間，有效提升發(fā)表機(jī)率，確保SCI檢索（檢索不了全額退款）。我們視信譽(yù)為生命，多方面確保文章安全保密，在任何情況下都不會(huì)泄露您的個(gè)人信息或稿件內(nèi)容。