官方網站:http://logcom.oxfordjournals.org/
投稿網址:http://logcom.oxfordjournals.org/feedback
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.
邏輯幾乎在信息技術的所有方面都得到了應用,從軟件工程和硬件到編程和人工智能。事實上,邏輯、人工智能和理論計算相互影響,一個新的跨學科的邏輯和計算領域正在出現。《邏輯與計算》雜志旨在促進邏輯與計算的發展,其中包括以下幾個領域的興趣:邏輯系統,如古典與非古典邏輯、建構邏輯、范疇邏輯、模態邏輯、類型理論、可行數學……邏輯編程、基于知識的系統和自動推理中的邏輯問題;知識表示中的邏輯問題,如非單調推理和知識信念系統;編程的邏輯和語義;程序和系統的說明和驗證;邏輯在硬件和超大規模集成電路、自然語言、并行計算、規劃和數據庫中的應用。大部分內容是技術科學論文,不過也包括信件、評論、討論以及相關的會議評論。
大類學科 | 分區 | 小類學科 | 分區 | Top期刊 | 綜述期刊 |
計算機科學 | 4區 | COMPUTER SCIENCE, THEORY & METHODS 計算機:理論方法 LOGIC 邏輯學 | 4區 4區 | 否 | 否 |
JCR分區等級 | JCR所屬學科 | 分區 | 影響因子 |
Q4 | LOGIC | Q4 | 0.509 |
COMPUTER SCIENCE, THEORY & METHODS | Q4 |
精選同類領域期刊,熱門推薦輕松get~
精選常見問題,答疑解惑輕松get~