SCIESCOPUSQ1
THEORY AND PRACTICE OF LOGIC PROGRAMMING
CAMBRIDGE UNIV PRESS, United Kingdom
THEORY AND PRACTICE OF LOGIC PROGRAMMING is an academic journal published by CAMBRIDGE UNIV PRESS (United Kingdom). Identifiers: ISSN 1471-0684, eISSN 1475-3081. Indexed in SCIE, SCOPUS. Metrics: JIF 1.1, CiteScore 3.7, SJR 0.609, SNIP 1.26. Subject areas: COMPUTER SCIENCE, LOGIC, SOFTWARE ENGINEERING, THEORY & METHODS. tlooto lists 659 papers from this journal.
CiteScore
3.70
Scopus citation metric
SJR
0.609
SCImago rank
SNIP
1.26
Source normalized impact
Percentage rank
-
JIF percentile rank
Journal profile
- ISSN
- 1471-0684
- eISSN
- 1475-3081
- Abbreviation
- THEOR PRACT LOG PROG
- Publisher
- CAMBRIDGE UNIV PRESS
- Country
- United Kingdom
Web of Science categories
SCIECOMPUTER SCIENCE, LOGIC, SOFTWARE ENGINEERING, THEORY & METHODS
Scopus ASJC categories
17021703170817122614 Theoretical Computer Science
Keywords
Computer Science, Software Engineering | Computer Science, Theory & Methods | Logic
Papers in this journal
Recent papers
- Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
2026
- Distilling Answer-Set Programming Rules from LLMs for Neurosymbolic Visual Question Answering
2026
- Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
2026
- Parametric Modular Answer Set Programs Made Declarative
2026
- From Reasoning to Code: GRPO Optimization for Underrepresented Languages
2026 · 1 citations
Most cited papers
- Defeasible Logic Programming An Argumentative Approach
2003 · 962 citations
- Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages
2002 · 473 citations
- Multi-shot ASP solving with clingo
2017 · 334 citations
- ASP-Core-2 Input Language Format
2019 · 310 citations
- Under Consideration for Publication in Theory and Practice of Logic Programming Xsb: Extending Prolog with Tabled Logic Programming
2003 · 210 citations