0
0
来源：学术之家整理 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 |
声明：该作品系作者结合互联网公开知识整合。如有错漏请联系我们，我们将及时更正。
