Key Metrics
3.3
CiteScore
CiteScore
CiteScore measures average citations received per document published in the serial.
< 5
Impact Factor
Impact Factor
Impact factor of a journal is calculated by dividing the number of current year citations to the source items published in that journal during the previous two years.
Q2
Software
SJR
- Q2 Software
- Q2 Artificial Intelligence
- Q2 Hardware and Architecture
- Q2 Theoretical Computer Science
- Q2 Computational Theory and Mathematics
SJR
SJR
SCImago Journal Rank measures weighted citations received by the serial. Citation weighting depends on subject field and prestige (SJR) of the citing serial.
1.45
SNIP
SNIP
Source Normalized Impact per Paper measures actual citations received relative to citations expected for the serial’s subject field.
Topics Covered
- Input language
- Defeasible reasoning
- Game theory
- Satisfiability modulo theories
- Ontology reasoning
- Answer set programming
- Constraint programming
- Well-founded semantics
- Equilibrium logic
- Stream reasoning
- Event recognition
- Text graph
- Constraint logic programming
- Logical framework
- Argumentation framework
- Concolic testing
- Magic sets
Journal Specifications
| Overview | |
| Publisher | CAMBRIDGE UNIV PRESS |
| Language | English |
| Frequency | Bi-monthly |
| General Details | |
| Language | English |
| Frequency | Bi-monthly |
| Publication Start Year | 2001 |
| Publisher URL | Visit website |
| Website URL | Visit website |
Planning to publish in Theory and Practice of Logic Programming ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations
Looking for the right journals to submit your mansucript?
Upload your manuscript and get a submission readiness score and other journal recommendations.
Check my PaperRecently Published Papers
-
Full paper
Plingo: A System for Probabilistic Reasoning in Answer Set Programming
- 29 Nov 24
- Theory and Practice of Logic Programming
-
Full paper
Optimal Matching for Sharing and Linearity Analysis
- 22 Nov 24
- Theory and Practice of Logic Programming
-
Full paper
Property-Based Testing by Elaborating Proof Outlines
- 21 Nov 24
- Theory and Practice of Logic Programming
-
Full paper
A Machine Learning-Based Approach for Solving Recurrence Relations and Its use in Cost Analysis of Logic Programs
- 21 Nov 24
- Theory and Practice of Logic Programming
-
Full paper
Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming
- 13 Nov 24
- Theory and Practice of Logic Programming
-
Full paper
Probabilistic Answer Set Programming with Discrete and Continuous Random Variables
- 8 Nov 24
- Theory and Practice of Logic Programming
Scite analysis
Powered by scite_
0.9k articles received 12.4k citations see all
- 78 Supporting
- 12,200 Mentioning
- 3 Contrasting
Editorial notices
- 0 Retractions
- 0 Withdrawals
- 2 Corrections
- 0 Errata
- 0 Expression of Concern
FAQs
How long has Theory and Practice of Logic Programming been actively publishing?
Theory and Practice of Logic Programming has been in operation since 2001 till date.
What is the publishing frequency of Theory and Practice of Logic Programming ?
Theory and Practice of Logic Programming published with a Bi-monthly frequency.
How many articles did Theory and Practice of Logic Programming publish last years ?
In 2023, Theory and Practice of Logic Programming published 38 articles.
What is the eISSN & pISSN for Theory and Practice of Logic Programming ?
For Theory and Practice of Logic Programming,eISSN is 1475-3081 and pISSN is1471-0684.
What is Citescore for Theory and Practice of Logic Programming ?
Citescore for Theory and Practice of Logic Programming is 3.3.
What is SNIP score for Theory and Practice of Logic Programming ?
SNIP score for Theory and Practice of Logic Programming is 1.45.
What is the SJR for Theory and Practice of Logic Programming ?
SJR for Theory and Practice of Logic Programming is Q2.
Who is the publisher of Theory and Practice of Logic Programming ?
CAMBRIDGE UNIV PRESS is the publisher of Theory and Practice of Logic Programming.