Theory and Practice of Logic Programming publishes research on all aspects of logic programming, including theoretical foundations, new programming paradigms, language design, implementation, and applications. The journal aims to foster communication between researchers in logic programming and related fields such as artificial intelligence, databases, and formal methods.
⚡ Speed vs Prestige
How does this journal balance review speed with impact level?
Based on the Think.Check.Submit framework by DOAJ, COPE & OASPA. All data from verified open sources.
Publication & Citation Trend
Articles published
Times cited
2019
2020
2021
2022
2023
2024
2025
2026
Source: OpenAlex · Note: citations accumulate over time so older years appear higher
SJR Quartile by Discipline
Scimago ranks this journal separately in each subject category — its quartile can differ by discipline.
Artificial IntelligenceQ2
Computational Theory and MathematicsQ2
Hardware and ArchitectureQ2
SoftwareQ2
Theoretical Computer ScienceQ2
Subject Classification
Web of Science Categories
Computer Science, Software EngineeringComputer Science, Theory & MethodsLogic
Scopus Categories
Hardware and ArchitectureSoftwareTheoretical Computer ScienceArtificial IntelligenceComputational Theory and Mathematics
Research Topics (OpenAlex)
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsMulti-Agent Systems and NegotiationSemantic Web and OntologiesFormal Methods in VerificationConstraint Satisfaction and OptimizationAdvanced Algebra and LogicBayesian Modeling and Causal InferenceAI-based Problem Solving and PlanningAdvanced Database Systems and Queries