Journal Title:Journal Of Logic Language And Information
The scope of the journal is the logical and computational foundations of natural, formal, and programming languages, as well as the different forms of human and mechanized inference. It covers the logical, linguistic, and information-theoretic parts of the cognitive sciences.
Examples of main subareas are Intentional Logics including Dynamic Logic; Nonmonotonic Logic and Belief Revision; Constructive Logics; Complexity Issues in Logic and Linguistics; Theoretical Problems of Logic Programming and Resolution; Categorial Grammar and Type Theory; Generalized Quantification; Information-Oriented Theories of Semantic Structure like Situation Semantics, Discourse Representation Theory, and Dynamic Semantics; Connectionist Models of Logical and Linguistic Structures. The emphasis is on the theoretical aspects of these areas.
该期刊的范围是自然语言、形式语言和编程语言的逻辑和计算基础,以及人类和机械化推理的不同形式。它涵盖了认知科学的逻辑、语言和信息论部分。
主要子领域的示例是意图逻辑,包括动态逻辑;非单调逻辑和信念修正;建设性逻辑;逻辑和语言学中的复杂性问题;逻辑规划和解决的理论问题;范畴语法和类型论;广义量化;面向信息的语义结构理论,如情境语义、话语表示理论和动态语义;逻辑和语言结构的联结主义模型。重点是这些领域的理论方面。
大类学科 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
计算机科学 | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机:人工智能 LOGIC 逻辑学 | 4区 | 是 | 是 |
大类学科 | 小类学科 | 分区 |
计算机科学 | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 计算机:人工智能 LOGIC 逻辑学 | 4区 |
期刊名称 | 领域 | 中科院分区 | 影响因子 |
International Journal Of Wavelets Multiresolution And Information Processing | 计算机科学 | 4区 | 1.400 |
Archives Of Control Sciences | 计算机科学 | 4区 | 1.200 |
International Journal Of Unconventional Computing | 计算机科学 | 4区 | 1.700 |
Ieee Pervasive Computing | 计算机科学 | 4区 | 1.600 |
Rairo-theoretical Informatics And Applications | 计算机科学 | 4区 | 0.600 |
Ieee Consumer Electronics Magazine | 计算机科学 | 4区 | 4.500 |