來源：學術之家整理 2025-03-18 15:38:48
《Journal Of Logic And Computation》中文名稱：《邏輯與計算雜志》，創刊于1990年，由Oxford University Press出版商出版，出版周期Bimonthly。
邏輯幾乎應用于信息技術的所有方面，從軟件工程和硬件到編程和人工智能。事實上，邏輯、人工智能和理論計算相互影響，以至于一個新的跨學科領域“邏輯與計算”正在興起。
《邏輯與計算雜志》旨在促進邏輯和計算的發展，其中包括以下感興趣的領域：邏輯系統，例如經典和非經典邏輯、構造邏輯、范疇邏輯、模態邏輯、類型理論、可行數學……邏輯編程、知識型系統和自動推理中的邏輯問題；知識表示中的邏輯問題，例如非單調推理和知識與信念系統；編程的邏輯和語義；程序和系統的規范和驗證；邏輯在硬件和 VLSI、自然語言、并發計算、規劃和數據庫中的應用。大部分內容是技術科學論文，但也包括信件、評論和討論以及相關的會議評論。
旨在及時、準確、全面地報道國內外COMPUTER SCIENCE, THEORY & METHODS工作者在該領域的科學研究等工作中取得的經驗、科研成果、技術革新、學術動態等。
| 機構名稱 | 發文量 |
| CENTRE NATIONAL DE LA R... | 15 |
| UNIVERSITY OF AMSTERDAM | 10 |
| TECHNISCHE UNIVERSITAT ... | 9 |
| CITY UNIVERSITY OF NEW ... | 8 |
| CONSEJO NACIONAL DE INV... | 5 |
| HSE UNIVERSITY (NATIONA... | 5 |
| RUSSIAN ACADEMY OF SCIE... | 5 |
| UNIVERSITY OF BAYREUTH | 5 |
| UNIVERSITY OF LIVERPOOL | 5 |
| JAPAN ADVANCED INSTITUT... | 4 |
| 國家/地區 | 發文量 |
| USA | 43 |
| England | 23 |
| GERMANY (FED REP GER) | 23 |
| Italy | 22 |
| France | 21 |
| Netherlands | 18 |
| CHINA MAINLAND | 14 |
| Japan | 11 |
| Austria | 10 |
| Russia | 9 |
| 文章引用名稱 | 引用次數 |
| Normative reasoning by seque... | 3 |
| Reasoning with maximal consi... | 3 |
| Coalition logic with individ... | 3 |
| Not only size, but also shap... | 2 |
| On an intuitionistic logic f... | 2 |
| Logics based on linear order... | 2 |
| Taking the path computably t... | 2 |
| Satisfiability for relation-... | 2 |
| Modal logics of sabotage rev... | 2 |
| Symbolic model checking for ... | 2 |
| 被引用期刊名稱 | 數量 |
| J LOGIC COMPUT | 38 |
| LOG METH COMPUT SCI | 36 |
| LOG J IGPL | 29 |
| MATH STRUCT COMP SCI | 26 |
| ANN PURE APPL LOGIC | 25 |
| ARTIF INTELL | 23 |
| ACM T COMPUT LOG | 22 |
| STUD LOGICA | 21 |
| THEOR PRACT LOG PROG | 20 |
| REV SYMB LOGIC | 17 |
| 引用期刊名稱 | 數量 |
| J LOGIC COMPUT | 38 |
| STUD LOGICA | 37 |
| J SYMBOLIC LOGIC | 35 |
| THEOR COMPUT SCI | 29 |
| ANN PURE APPL LOGIC | 28 |
| ARTIF INTELL | 24 |
| INFORM COMPUT | 19 |
| MATH STRUCT COMP SCI | 19 |
| LOG J IGPL | 16 |
| J ACM | 15 |
聲明：該作品系作者結合互聯網公開知識整合。如有錯漏請聯系我們，我們將及時更正。
