ISSN: 1471-0684

Journal Guideline

Theory and Practice of Logic Programming Q1 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 50. It has a price of 1626,56 €. It has an SJR impact factor of 0,95 and it has a best quartile of Q1. It is published in English. It has an SJR impact factor of 0,95.

Type: Journal

Type of Copyright:

Languages: English

Open Access Policy: Open Choice

Type of publications:

Publication frecuency: -

Categories: Computational Theory and Mathematics (Q1) Artificial Intelligence (Q2) Hardware and Architecture (Q2) Software (Q2) Theoretical Computer Science (Q2)

Price

1626,56 €

Inmediate OA

NPD

Embargoed OA

0 €

Non OA

Metrics

Theory and Practice of Logic Programming

0,95

SJR Impact factor

50

H Index

33

Total Docs (Last Year)

134

Total Docs (3 years)

1015

Total Refs

256

Total Cites (3 years)

126

Citable Docs (3 years)

1.73

Cites/Doc (2 years)

30.76

Ref/Doc

Comments

No comments ... Be the first to comment!

Publication speed *

Review quality *

Edition and editorial team *

Institutional email or ORCID *

* The email or ORCID field is only to validate the authenticity of the comment, the identity will not be public. .

Other journals with similar parameters

International Journal of Computer Vision Q1
IEEE Transactions on Pattern Analysis and Machine Intelligence Q1
Information Fusion Q1
IEEE Transactions on Cybernetics Q1
IEEE Transactions on Evolutionary Computation Q1

Compare this journals

Aims and Scope

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

Soft constraint programming to analysing security protocols

Generic program monitoring by trace analysis

Weight constraints as nested expressions

Certificate size reduction in abstraction-carrying code

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

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

Enhancing the expressive power of the U-Datalog language

Invited Editorial

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

Computing convex hulls with a linear solver

Using parametric set constraints for locating

SHOW MORE ARTICLES

A refinement calculus for logic programs

selp: A Single-Shot Epistemic Logic Program Solver

An interactive semantics of logic programming

Planning with preferences using logic programming

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

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.

On a theory of probabilistic deductive databases

Inference of termination conditions for numerical loops in Prolog

On finitely recursive programs

Applications of intuitionistic logic in Answer Set Programming

Greedy algorithms in Datalog

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