1. 首页 ›
2. 英文期刊 › COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE

Journal of Logic Language and Information

J LOGIC LANG INFORM

ISSN：0925-8531　E-ISSN：1572-9583 　出版商：Springer Nature 　国家：NETHERLANDS 　周期：4 issues per yea

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.

数据整理自公开网络的投稿反馈，仅供参考。