Journal of Logic and Computation
短名 | J. Log. Comput. |
Journal Impact | 0.50 |
国际分区 | LOGIC(Q1) |
期刊索引 | SCI Q2中科院 4 区 |
ISSN | 0955-792X, 1465-363X |
h-index | 57 |
国内分区 | 数学(4区)数学计算机理论方法(4区)数学逻辑学(4区) |
逻辑几乎在信息技术的所有方面都有应用,从软件工程和硬件到编程和人工智能。事实上,逻辑、人工智能和理论计算正在相互影响,以至于一个新的逻辑与计算跨学科领域正在出现。逻辑与计算杂志旨在促进逻辑和计算的发展,其中包括以下感兴趣的领域:逻辑系统,例如经典和非经典逻辑、构造逻辑、分类逻辑、模态逻辑、类型论、可行数学……逻辑编程、基于知识的系统和自动推理中的逻辑问题;知识表示中的逻辑问题,例如非单调推理和知识与信念系统;编程的逻辑和语义;程序和系统的规范和验证;逻辑在硬件和 VLSI、自然语言、并发计算、规划和数据库中的应用。大部分内容是技术科学论文,但也包括信件、评论和讨论,以及相关的会议评论。
期刊主页投稿网址涉及主题 | 计算机科学数学程序设计语言哲学理论计算机科学人工智能离散数学语言学认识论算法纯数学 |
出版信息 | 出版商: Oxford University Press,出版周期: Bimonthly,期刊类型: journal |
基本数据 | 创刊年份: 1990,原创研究文献占比: 100.00%,自引率:14.30%, Gold OA占比: 14.34% |
平均审稿周期 | 网友分享经验:较慢,6-12周 |
平均录用比例 | 网友分享经验:容易 |
期刊引文格式
这些示例是对学术期刊文章的引用,以及它们应该如何出现在您的参考文献中。
并非所有期刊都按卷和期组织其已发表的文章,因此这些字段是可选的。有些电子期刊不提供页面范围,而是列出文章标识符。在这种情况下,使用文章标识符而不是页面范围是安全的。
只有1位作者的期刊
有2位作者的期刊
有3位作者的期刊
有5位以上作者的期刊
书籍引用格式
以下是创作和编辑的书籍的参考文献的示例。
学位论文引用格式
网页引用格式
这些示例是对网页的引用,以及它们应该如何出现在您的参考文献中。
专利引用格式
最新文章
Revising non-monotonic theories with sufficient and necessary conditions: the case of Defeasible Logic
2024-9-6
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex
2024-9-3
Proceedings of the XX Encontro Brasileiro de Lógica
2024-8-30
A representation theory for modal distributive lattices
2024-8-29
Modal weak Kleene logics: axiomatizations and relational semantics
2024-8-27
A Gödel-Dugundji-style theorem for the minimal structural logic
2024-8-27
On some computational properties of open sets
2024-8-15
Perfect proofs at first order
2024-8-7
Intuitionistic S4 as a logic of topological spaces
2024-8-6
Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality
2024-8-5
Avicenna’s logics with sentence-type terms: 1. Wholly <i>muttaṣil</i> syllogisms
2024-7-31
Degrees of truthlikeness, independence, equality and order in probabilistic propositional knowledge representation
2024-7-31
Nonconservative extensions by propositional quantifiers and modal incompleteness
2024-7-31
Temporal duration-based probabilistic argumentation frameworks
2024-7-31
Classical computation over quantum architectures
2024-7-31
Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics
2024-7-29
The XAI system for answer set programming xASP2
2024-7-29
Operating Room Scheduling via Answer Set Programming: improved encoding and test on real data
2024-7-29
Serial properties, selector proofs and the provability of consistency
2024-7-26
Advances in computational logic (CILC23): preface
2024-7-24
Dynamic superiorities in Defeasible Logic
2024-7-22
The mathematics of Epstein semantics
2024-6-12
Numerical expressive power of logical languages with cardinality comparison
2024-6-11
90 years of Gödel’s incompleteness theorems: Logic and computation
2024-5-28
Modal algebra of multirelations
2024-5-28
Towards determinism in PDL: relations and proof theory
2024-5-21
Expanding the Leibniz Hierarchy
2024-5-15
Temporal logics for compartmental models
2024-5-8
Estimating event probabilities via signal temporal logic and first occurrence distributions
2024-4-24
Completeness of tableau calculi for two-dimensional hybrid logics
2024-4-18
Attack principles in sequent-based argumentation theory
2024-4-15
Necessary and sufficient conditions of the enforcement problem for various argumentation semantics
2024-4-11
Correction to: Modalities combining two negations
2024-4-7
Analyticity with extra-logical information
2024-4-4
A correct-by-construction approach for development of reliable planning problems
2024-4-2
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed Lambda-calculus for proofs and refutations
2024-4-1
Changing the logic without changing the subject: the case of computability
2024-4-1
Fuzzy bi-Gödel modal logic and its paraconsistent relatives
2024-3-31
☐ and ◇ in eight-valued non-deterministic semantics for modal logics
2024-3-20
Low scattered linear orders
2024-3-20
Bipolar Argumentation Frameworks with a dual relation between defeat and defence
2024-3-9
An alternative definition of tense operators on residuated lattices
2024-3-6
Probability and natural deduction
2024-3-6
Correction to: Conjunctive degrees and cylinders
2024-2-28
Congruence filter pairs, equational filter pairs and adjoints
2024-2-26
Modalities combining two negations
2024-2-13
Computably enumerable equivalence relations via primitive recursive reductions
2024-1-30
Advancing Logic in AI: insights from the LNGAI 2021 Workshop
2024-1-24
On sheaves on semicartesian quantales and their truth values
2024-1-22
Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames
2024-1-15
帮你贴心管理全部的文献
研飞ivySCI,高效的论文管理
投稿经验分享
分享我的经验,帮你走得更远