JournAI JournAI

HomeExplore › Cluster 10

Cluster 10

103 journals grouped by semantic content similarity. Representative: Bulletin of the Section of Logic

JournalPublisherFieldJLCSOAAPC
Bulletin of the Section of Logic Uniwersytet Lodzki (University of Lodz) Mathematics 100 Yes Free
Logical Methods in Computer Science Logical Methods in Computer Science Computer Science & Informatics 80 Yes Free
Logics MDPI AG Philosophy 80 Yes 1000 CHF
Electronic Proceedings in Theoretical Computer Science Open Publishing Association Philosophy 80 Yes Free
Scientific Annals of Computer Science Scientific Annals of Computer Science Mathematics 80 Yes Free
Journal of Artificial Intelligence Research Morgan Kaufmann Publishers, Inc. Philosophy 80 Yes Free
Formal Methods in System Design Springer Nature Software Engineering 75 No 3490 USD
Bulletin of Symbolic Logic Cambridge University Press Mathematics 75 No -
Logic Journal of IGPL Oxford University Press Philosophy 75 No 4151 USD
Studia Logica Springer Nature Philosophy 75 No 2890 USD
Mathematical Structures in Computer Science Cambridge University Press Mathematics 75 No -
Proceedings of the ACM on Programming Languages Association for Computing Machinery Computer Science & Informatics 75 Yes Free
Acta Informatica Springer Nature Biology (General) 75 No 2990 USD
International Journal on Software Tools for Technology Transfer Springer Nature Software Engineering 75 No 2990 USD
Journal of Philosophical Logic Springer Nature Philosophy 75 No 2780 USD
Journal of Automated Reasoning Springer Nature Philosophy 75 No 2890 USD
Logica Universalis Springer Nature Philosophy 75 No 2890 USD
Archive for Mathematical Logic Springer Nature Mathematics 75 No 2990 USD
Journal of Membrane Computing Springer Nature Biology (General) 75 No 2990 USD
Journal of the ACM Association for Computing Machinery Computer Science & Informatics 75 No -
Argument & Computation IOS Press Philosophy 75 Yes 900 USD
Journal of Functional Programming Cambridge University Press Computer Science & Informatics 75 No -
ACM Transactions on Computational Logic Association for Computing Machinery Philosophy 75 No -
The Journal of Logic and Algebraic Programming Elsevier Computer Science & Informatics 75 No -
Theory and Practice of Logic Programming Cambridge University Press Philosophy 75 No -
Journal of Logic and Computation Oxford University Press Philosophy 75 No 4151 USD
Constraints Springer Nature Computer Science & Informatics 75 No 2890 USD
Journal of Logic Language and Information Springer Nature Philosophy 75 No 2890 USD
Discrete Event Dynamic Systems Springer Nature Computer Science & Informatics 75 No 2990 USD
Electronic Notes in Theoretical Computer Science Elsevier Software Engineering 75 Yes Free
Artificial Intelligence Elsevier Philosophy 75 No 3670 USD
The Review of Symbolic Logic Cambridge University Press Philosophy 75 No -
Annals of Mathematics and Artificial Intelligence Springer Nature Philosophy 75 No 2990 USD
Distributed Computing Springer Nature Computer Science & Informatics 75 No 3090 USD
ACM Transactions on Programming Languages and Systems Association for Computing Machinery Computer Science & Informatics 75 No -
Logic and Logical Philosophy Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University Philosophy 55 Yes Free
Acta Cybernetica University of Szeged Biology (General) 55 Yes Free
Mathematical logic quarterly Wiley Mathematics 55 No 2630 USD
Journal for the Philosophy of Mathematics. Press Philosophy 55 No -
Women s Studies Review Korean Women's Institute, Ewha Womans University Psychiatry & Mental Health 55 Yes Free
Annals of Pure and Applied Logic Elsevier Mathematics 55 No 3390 USD
Notre Dame Journal of Formal Logic Duke University Press Mathematics 55 No -
ACM SIGLOG News Association for Computing Machinery Computer Science & Informatics 55 No -
Transmathematica Transmathematica Mathematics 55 Yes Free
Compositionality Compositionality Mathematics 55 Yes Free
Journal of Applied Logic Elsevier Philosophy 55 No -
Fundamenta Informaticae IOS Press Philosophy 55 No -
Electronic Notes in Theoretical Informatics and Computer Science Centre pour la Communication Scientifique Directe Mathematics 55 No -
Research Directions Cyber-Physical Systems Cambridge University Press Software Engineering 55 No -
DAIMI Report Series Aarhus University Library Business & Management 55 Yes Free
Formal Aspects of Computing Springer Nature Computer Science & Informatics 55 No -
System Informatics A.P. Ershov Institute of Informatics Systems SB RAS Software Engineering 55 Yes Free
ACM SIGACT News Association for Computing Machinery Computer Science & Informatics 55 No -
The Australasian Journal of Logic Victoria University of Wellington Library Philosophy 55 Yes Free
Reports on Mathematical Logic Uniwersytet Jagiellonski – Wydawnictwo Uniwersytetu Jagiellonskiego Mathematics 55 Yes Free
Foundations and Trends� in Programming Languages Now Publishers Philosophy 55 Yes Free
Journal of Logical and Algebraic Methods in Programming Elsevier Computer Science & Informatics 55 No 2810 USD
Aljouf Science and Engineering Journal Kezana LLC FZ Chemistry 55 No -
BRICS Report Series Aarhus University Library Computer Science & Informatics 55 Yes Free
LISP and Symbolic Computation Springer Nature Computer Science & Informatics 55 No -
Bulletin of the Novosibirsk Computing Center Series Computer Science A.P. Ershov Institute of Informatics Systems SB RAS Linguistics & Language Studies 55 Yes Free
Journal of cellular automata Old City Publishing Biology (General) 55 No -
Proceedings of the International Conference on Automated Planning and Scheduling Association for the Advancement of Artificial Intelligence (AAAI) Computer Science & Informatics 55 Yes Free
Journal of Applied Non-Classical Logics Informa Philosophy 55 No -
Journal in Computer Virology Springer Nature Computer Science & Informatics 55 No -
Journal on Satisfiability Boolean Modeling and Computation IOS Press Computer Science & Informatics 55 Yes Free
Bollettino delle malattie dell'orecchio, della gola, del naso Casa Editrice Nistri-Lischi Cardiology & Cardiovascular Medicine 35 No -
Proceedings - Computer Science & Informatics 35 No -
Clinical preventive dentistry Stevens Publishing Corporation Dentistry & Oral Sciences 35 No -
Proceedings/Proceedings - Real-Time Systems Symposium - Computer Engineering & Hardware 35 No -
Journal of multiple-valued logic and soft computing Old City Publishing Decision Sciences 35 No -
Applied therapeutics Seccombe House Ecology & Evolution 35 No -
Proceedings - Computer Security Foundations Workshop/Proceedings - Computer Science & Informatics 35 No -
Zhéxué yǔ Wénhuà Yuèkān - Education & Educational Research 35 No -
Acta Universitatis Carolinae. Medica - Chemistry 35 No -
Logic Group preprint series - Philosophy 35 No -
Proceedings of symposia in applied mathematics - Mathematics 35 No -
Bulletin of the European Association for Theoretical Computer Science - Biology (General) 35 No -
Nordic journal of computing - Computer Science & Informatics 35 No -
Archive of formal proofs - Mathematics 35 No -
Proceedings - Symposium on Logic in Computer Science - Mathematics 35 No -
Journal of automata, languages and combinatorics Institut fur Informatik, Justus-Liebig-Universitat Giessen Biology (General) 35 No -
Journal of functional and logic programming - Philosophy 35 No -
EPiC series in computing - Software Engineering 35 No -
WLP - Philosophy 15 No -
Australian Computer Journal - Computer Science & Informatics 15 No -
FBT - Software Engineering 15 No -
Electronic Communication of The European Association of Software Science and Technology - Software Engineering 15 No -
Bulletin. Tufts-New England Medical Center - Philosophy 15 No -
CS&P - Philosophy 15 No -
Zahnarztliche Welt - Computer Science & Informatics 15 No -
Description Logics - Philosophy 15 No -
Логические исследования - Philosophy 15 No -
Comput. Sci. J. Moldova - Computer Science & Informatics 15 No -
The journal of Ryutsu Keizai University - Education & Educational Research 15 No -
Arch. Formal Proofs - Philosophy 15 No -
Software Engineering [SEN] - Philosophy 15 No -
NCMA - Biology (General) 15 No -
??????????. Al, ??????????? - Computer Science & Informatics 15 No -
CILC - Philosophy 15 No -

Showing 100 of 103 journals.

JournAI AI Hub AI Chat Journal Finder Exploration