Default: Theory and Practice of Logic Programming

ISSN: 1471-0684

Journal Home

Journal Guideline

Theory and Practice of Logic Programming Q2 Unclaimed

Cambridge University Press United Kingdom
Unfortunately this journal has not been claimed yet. For this reason, some information may be unavailable.

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.

Type: Journal

Type of Copyright:

Languages: English

Open Access Policy: Open Choice

Type of publications:

Publication frecuency: -

Metrics

Theory and Practice of Logic Programming

0,609

SJR Impact factor

52

H Index

37

Total Docs (Last Year)

122

Total Docs (3 years)

1361

Total Refs

207

Total Cites (3 years)

114

Citable Docs (3 years)

1.54

Cites/Doc (2 years)

36.78

Ref/Doc

Comments

No comments ... Be the first to comment!



Best articles by citations

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

View more

Soft constraint programming to analysing security protocols

View more

Generic program monitoring by trace analysis

View more

Weight constraints as nested expressions

View more

Certificate size reduction in abstraction-carrying code

View more

Transformation-based bottom-up computation of the well-founded model

View more

Essentials of Constraint Programming by Thom Frouhwirth and Slim Abdennadher, Springer, 2003, hard cover: ISBN 3-540-67623-6, ix + 145 pages

View more

Enhancing the expressive power of the U-Datalog language

View more

Invited Editorial

View more

The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines

View more

Computing convex hulls with a linear solver

View more

Using parametric set constraints for locating

View more
SHOW MORE ARTICLES

A refinement calculus for logic programs

View more

selp: A Single-Shot Epistemic Logic Program Solver

View more

An interactive semantics of logic programming

View more

Planning with preferences using logic programming

View more

Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs

View more

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

On a theory of probabilistic deductive databases

View more

Inference of termination conditions for numerical loops in Prolog

View more

On finitely recursive programs

View more

Applications of intuitionistic logic in Answer Set Programming

View more

Greedy algorithms in Datalog

View more

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

View more

FAQS