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.
Metrics
Scimago and CountryOfPapers database fields
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 €
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.
Researcher reviews
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 moreXPath-logic and XPathLog: A logic-programming style XML data manipulation language
View moreConstraint Processing by Rina Dechter, Morgan Kaufmann Publishers, 2003, hard cover: ISBN 1-55860-890-7, xx + 481 pages
View moreComputing stable models: worst-case performance estimates
View moreComputing minimal models, stable models and answer sets
View moreComputing convex hulls with a linear solver
View moreChecking the quality of clinical guidelines using automated reasoning tools
View moreChain programs for writing deterministic metainterpreters
View moreCertificate size reduction in abstraction-carrying code
View moreBounded LTL model checking with stable models
View moreApplications of intuitionistic logic in Answer Set Programming
View moreAn interactive semantics of logic programming
View moreAn abductive framework for computing knowledge base updates
View moreA correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages
View moreAdvanced Topics in Term Rewriting by Enno Ohlebusch, Springer-Verlag, 2002, hard cover: ISBN 0-387-95250-0, xi + 414 pages
View moreAckermann encoding, bisimulations and OBDDs
View moreAchieving compositionality of the stable model semantics for
View moreAC-KBO revisited
View moreA uniform approach to logic programming semantics
View moreA three-valued semantics for logic programmers
View moreA refinement calculus for logic programs
View moreA proof theoretic approach to failure in functional logic programming
View moreA parameterised hierarchy of argumentation semantics for extended logic programming and its application to the well-founded semantics
View moreA non-termination criterion for binary constraint logic programs
View more