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
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment
- 2 Apr 24
- Theory and Practice of Logic Programming
-
Full paper
Selected Papers from the 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021)
- 8 Mar 24
- Theory and Practice of Logic Programming
-
Full paper
Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL
- 7 Mar 24
- Theory and Practice of Logic Programming
-
Full paper
Selected Papers from Datalog 2.0 2022
- 5 Mar 24
- Theory and Practice of Logic Programming
-
Full paper
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM
- 29 Feb 24
- Theory and Practice of Logic Programming
-
Full paper
Model Explanation via Support Graphs
- 29 Feb 24
- Theory and Practice of Logic Programming
Scite analysis
Powered by scite_
0.9k articles received 12.1k citations see all
- 75 Supporting
- 11,918 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.