ジャーナル情報

ACM Transactions on Computational Logic (TOCL)

ジャーナルのウェブサイトを表示するにはログインしてください
無料登録で公式サイトの閲覧、締切のトラッキング、メールリマインダーが利用できます。
ログイン 新規登録

インパクトファクター:
0.700
出版社:
ACM
ISSN:
1529-3785
閲覧:
24584
フォロー:
7

論文募集

ACM Transactions on Computational Logic (TOCL) is an academic journal published by ACM. (ISSN 1529-3785, impact factor 0.700, CCF B).

For the purposes of ACM Transactions on Computational Logic, the field of computational logic consists of all uses of logic in computer science. TOCL is published quarterly. The first issue appeared in July 2000, and the journal is indexed by ISI beginning with the 2006 volume. TOCL is part of the ACM Digital Library. Scope ACM Transactions on Computational Logic (TOCL) is devoted to research concerned with all uses of logic in computer science. Logic continues to play an important role in computer science and permeates many of its areas including artificial intelligence, computational complexity, database systems, and programming languages. TOCL welcomes submissions related to all aspects of logic as it pertains to topics in computer science. This area has a great tradition in computer science. Several researchers who earned the ACM Turing award have also contributed to this field, namely Edgar Codd (relational database systems), Stephen Cook (complexity of logical theories), Edsger W. Dijkstra, Robert W. Floyd, Tony Hoare, Amir Pnueli, Dana Scott, Edmond M. Clarke, Allen E. Emerson, Joseph Sifakis (program logics, program derivation and verification, programming languages semantics), Robin Milner (interactive theorem proving, concurrency calculi, and functional programming), and John McCarthy (functional programming and logics in AI). The Editorial Board of this journal seeks and hopes to attract high-quality submissions in all the above-mentioned areas of computational logic so that TOCL becomes the standard reference in the field. Both theoretical and applied papers are sought. Submissions showing novel use of logic in computer science are especially welcome. The following areas are currently covered by the members of the Editorial Board. They may change as the field evolves. In particular, submissions on the semantic aspects of the mentioned topics are welcome. Automated Deduction Automata and Temporal Logic Automated Verification Concurrency Calculi and Tools Constraint Programming Finite Model Theory and Complexity of Logical Theories Functional Programming and Lambda Calculus Logical Aspects of Computational Complexity Logical Aspects of Computational Linguistics and Computational Semantics Logical Aspects of Databases Logical Aspects of Knowledge Representation, Logic of Geometry, Physics, and Other Commonsense Domains Logic and Machine Learning Logic Programming Logics of Uncertainty Modal Logic, Epistemic Logic, Dynamic Logic, Logic and Games Model Checking and Formal Methods Nonmonotonic Reasoning and Answer Sets Program Development and Verification Program Specification Proof Theory Term Rewriting Systems Type Theory and Logical Frameworks
最終更新：Dou Sun（）

関連ジャーナル

関連会議

CCFICOREQUALIS略称正式名称投稿締切通知日開催日
ACM-BCBACM Conference on Bioinformatics, Computational Biology, and Health Informatics2026-02-202026-05-192026-06-30
ACM REPACM Conference on Reproducibility and Replicability2025-04-072025-06-232025-07-29
BA*A1ICRAInternational Conference on Robotics and Automation2025-09-152026-06-01
BA*A1IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
BA1ICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-01-132027-05-16
BA*A1PODSACM SIGMOD Conference on Principles of DB Systems2026-12-032027-03-012027-06-13
BAA1ICMEInternational Conference on Multimedia and Expo2025-12-312026-03-132026-07-05
BB4BIBMInternational Conference on Bioinformatics & Biomedicine2026-07-052026-09-252026-12-01
BA*A1ICDMInternational Conference on Data Mining2026-06-062026-08-162026-11-12
BA*A1ECCVEuropean Conference on Computer Vision2026-03-062026-05-092026-09-08

コメント 0

まだコメントはありません。

コメントするにはログインしてください