ACM Transactions on Computational Logic 12.7k citations
624 papers · indexed · active since 2016
Impact in Formal Methods in Verification semigroups and automata theory Advanced Algebra and Logic Logic, Reasoning, and Knowledge Logic, programming, and type systems Semantic Web and Ontologies Multi-Agent Systems and Negotiation Papers in i Formal Methods in Verification 271 semigroups and automata theory 100 Advanced Algebra and Logic 66 Logic, Reasoning, and Knowledge 352 Logic, programming, and type systems 347 Semantic Web and Ontologies 98 Multi-Agent Systems and Negotiation 58 show more fields Overview Impact Peers Geography Research Space Peers ACM Transactions on Computational Logic
Comparison fields: 5 of 105 Computational Theory and Mathematics 6.9k Artificial Intelligence 10.2k Software 1.2k Computer Networks and Communications 2.4k Hardware and Architecture 523 Signal Processing 530 Information Systems 1.1k Management Information Systems 324 Management Science and Operations Research 309 Discrete Mathematics and Combinatorics 63 Information Systems and Management 122 Theoretical Computer Science 20 Geometry and Topology 132 Mathematical Physics 98 Algebra and Number Theory 49 Computer Vision and Pattern Recognition 222 Computer Graphics and Computer-Aided Design 32 Industrial and Manufacturing Engineering 81 Safety, Risk, Reliability and Quality 54 Molecular Biology 383 Control and Systems Engineering 117 Sociology and Political Science 214 Computer Science Applications 20 Experimental and Cognitive Psychology 39 Electrical and Electronic Engineering 160 History and Philosophy of Science 13 Safety Research 21 Statistical and Nonlinear Physics 32 Statistics and Probability 21 Statistics, Probability and Uncertainty 17 Philosophy 28 Economics and Econometrics 60 Atomic and Molecular Physics, and Optics 64 Political Science and International Relations 49 Mechanical Engineering 72 Numerical Analysis 8 Health Information Management 6 Management of Technology and Innovation 10 Geography, Planning and Development 7 Law 12 Organic Chemistry 33 Media Technology 9 Archeology 1 General Engineering 1 Automotive Engineering 10 Cultural Studies 7 Computational Mechanics 16 Building and Construction 10 Geology 4 Biophysics 4 Health Informatics 1 Ocean Engineering 10 Social Psychology 13 Radiological and Ultrasound Technology 3 General Health Professions 13 Language and Linguistics 6 Cognitive Neuroscience 10 Strategy and Management 8 Genetics 10 Biomedical Engineering 15 Physical and Theoretical Chemistry 3 Transportation 2 Aerospace Engineering 7 Communication 2 Development 1 Complementary and alternative medicine 2 Renewable Energy, Sustainability and the Environment 4 Physical Therapy, Sports Therapy and Rehabilitation 1 Pharmacy 1 Anthropology 2 Public Health, Environmental and Occupational Health 5 Accounting 2 Civil and Structural Engineering 4 Spectroscopy 3 Surgery 7 Condensed Matter Physics 2 Human-Computer Interaction 1 Emergency Medical Services 1 Neurology 2 Endocrinology, Diabetes and Metabolism 2 Orthopedics and Sports Medicine 1 Astronomy and Astrophysics 2 Materials Chemistry 5 Cardiology and Cardiovascular Medicine 2 Organizational Behavior and Human Resource Management 1 Global and Planetary Change 2 Applied Mathematics 1 Archeology 1 Pollution 1 Literature and Literary Theory 1 Management, Monitoring, Policy and Law 1 Developmental and Educational Psychology 1 Health, Toxicology and Mutagenesis 1 Psychiatry and Mental health 1 Water Science and Technology 1 Pharmacology 1 Cell Biology 1 Atmospheric Science 1 Food Science 1 Clinical Psychology 1 Immunology 1 Radiology, Nuclear Medicine and Imaging 1 Pulmonary and Respiratory Medicine 1 Epidemiology 1 Plant Science 1
Computational Theory and Mathematics 6.9k Artificial Intelligence 10.2k Software 1.2k Computer Networks and Communications 2.4k Hardware and Architecture 523 The Journal of Logic Programming United States
Theory and Practice of Logic Programming United States
Natural computing series United Kingdom
Journal of Functional Programming United States
Journal of Heuristics United States
The Journal of Logic and Algebraic Programming United Kingdom
Computer Languages United States
RAIRO - Theoretical Informatics and Applications France
Citations per field
0 0.5× 2× 4× 6.8×
The Journal of Logic Programming · 1× This map shows the geographic impact of research published in ACM Transactions on Computational Logic. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by papers published in ACM Transactions on Computational Logic with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites ACM Transactions on Computational Logic more than expected).
This network shows the impact of papers published in ACM Transactions on Computational Logic. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers published in ACM Transactions on Computational Logic.
About ACM Transactions on Computational Logic The 624 papers published in ACM Transactions on Computational Logic in the last decades have received a total of 12.7k indexed citations . Papers published in ACM Transactions on Computational Logic usually cover Computational Theory and Mathematics (436 papers), Artificial Intelligence (528 papers), Software (40 papers), Computer Networks and Communications (105 papers) and Signal Processing (24 papers) specifically the topics of Logic, Reasoning, and Knowledge (352 papers), Logic, programming, and type systems (347 papers), Formal Methods in Verification (271 papers), semigroups and automata theory (100 papers), Semantic Web and Ontologies (98 papers), Advanced Algebra and Logic (66 papers), Multi-Agent Systems and Negotiation (58 papers) and Constraint Satisfaction and Optimization (45 papers). The most active scholars publishing in ACM Transactions on Computational Logic are Yuri G. Gurevich , Vladimir Lifschitz , Thomas Eiter , Marek J. Sergot , Moshe Y. Vardi , Georg Gottlob , Orna Kupferman , David Pearce , Agustín Valverde and Alessio Guglielmi .
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive
bibliographic database. While OpenAlex provides broad and valuable coverage of the global
research landscape, it—like all bibliographic datasets—has inherent limitations. These include
incomplete records, variations in author disambiguation, differences in journal indexing, and
delays in data updates. As a result, some metrics and network relationships displayed in
Rankless may not fully capture the entirety of a scholar's output or impact.
Explore journals with similar magnitude of impact Breakdown of academic impact, for papers in The Journal of Logic Programming Breakdown of academic impact, for papers in AI Communications Breakdown of academic impact, for papers in Theory and Practice of Logic Programming Breakdown of academic impact, for papers in Natural computing series Breakdown of academic impact, for papers in Journal of Functional Programming Breakdown of academic impact, for papers in Journal of Heuristics Breakdown of academic impact, for papers in The Journal of Logic and Algebraic Programming Breakdown of academic impact, for papers in Constraints Breakdown of academic impact, for papers in Computer Languages Breakdown of academic impact, for papers in RAIRO - Theoretical Informatics and Applications