Journal list Promote Sponsor
verified SJR 0,609 · Q2 • database Scopus / SJR & Web of Science indexed
Theory and Practice of Logic Programming
United Kingdom · Cambridge University Press
workspace_premium Q2 — Software lock_open Open Access

Theory and Practice of Logic Programming

Theory and Practice of Logic Programming is a journal indexed in SJR in Software and Computational Theory and Mathematics with an H index of 52. It has a price of 1626,56 €. It has an SJR impact factor of 0,609 and it has a best quartile of Q2. It is published in English. It has an SJR impact factor of 0,609.

ISSN: 1471-0684
Publisher: Cambridge University Press
Category: Software
Indexation: verifiedScopus / SJR verifiedWeb of Science
open_in_new Visit publisher site menu_book Guidelines NPD
schedule CountryOfPapers database fields
SJR Impact Factor trending_up
0,609 Q2
H-index 52
Acceptance rate pie_chart
31%
Source Acceptance_Rate
Time to publication hourglass_top
NPD
Field NPD
Publication cost (APC) payments
1.627 € Open Access
Non-OA path 0 €

Metrics

Scimago and CountryOfPapers database fields

Scopus / SJR Web of Science

SJR Impact

0,609

H-index

52

Docs (year)

37

Docs 3y

122

Total refs

1361

Cites 3y

207

Citable 3y

114

Cites/Doc 2y

1.54

Ref/Doc

36.78

Immediate OA

1626,56 €

Embargoed OA

NPD

Non OA / Submission

0 €

shield Researcher voice

Name good journals. Call out predatory ones.

Share what peer review, fees, and timelines were really like. Praise fair editors. Flag APC traps, fake metrics, or spam solicitations — with facts from your submission.

Fair & fast peer review Clear APC / no surprise fees Suspected predatory Fake impact claims
rate_review Write an honest review

Researcher reviews

sentiment_dissatisfied No reviews yet — be the first to share an honest experience.
User
* Only to validate authenticity — identity is not shown publicly.

Best articles by citations

All about Proofs, Proofs for All, Bruno Woltzenlogel Paleo and David Delahaye , Eds., College Publications, Series Mathematical Logic and Foundations, vol. 55., 2015. Paperback, ISBN 978-1-84890-166-7, vii + 240 pages.

View more

XPath-logic and XPathLog: A logic-programming style XML data manipulation language

View more

Constraint Processing by Rina Dechter, Morgan Kaufmann Publishers, 2003, hard cover: ISBN 1-55860-890-7, xx + 481 pages

View more

Computing stable models: worst-case performance estimates

View more

Computing minimal models, stable models and answer sets

View more

Computing convex hulls with a linear solver

View more

Checking the quality of clinical guidelines using automated reasoning tools

View more

Chain programs for writing deterministic metainterpreters

View more

Certificate size reduction in abstraction-carrying code

View more

Bounded LTL model checking with stable models

View more

Applications of intuitionistic logic in Answer Set Programming

View more

An interactive semantics of logic programming

View more
SHOW MORE ARTICLES

An abductive framework for computing knowledge base updates

View more

A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages

View more

Advanced Topics in Term Rewriting by Enno Ohlebusch, Springer-Verlag, 2002, hard cover: ISBN 0-387-95250-0, xi + 414 pages

View more

Ackermann encoding, bisimulations and OBDDs

View more

Achieving compositionality of the stable model semantics for

View more

AC-KBO revisited

View more

A uniform approach to logic programming semantics

View more

A three-valued semantics for logic programmers

View more

A refinement calculus for logic programs

View more

A proof theoretic approach to failure in functional logic programming

View more

A parameterised hierarchy of argumentation semantics for extended logic programming and its application to the well-founded semantics

View more

A non-termination criterion for binary constraint logic programs

View more

FAQs