Explore All Access
Check if your research matches the topics covered in Theory and Practice of Logic Programming?
- Degree of match
- Common matching concepts
- Additional journal recommendations
Theory and Practice of Logic Programming : Impact Factor & More
eISSN: 1475-3081pISSN: 1471-0684
Share this on:
Check your submission readiness
Find out how your manuscript stacks up against 24 technical compliance and 6 language quality checks.
Theory and Practice of Logic Programming Key Metrics
CiteScore 
3.3
Impact Factor
< 5
SJR
Q2Software
SNIP
1.45
Topics Covered on Theory and Practice of Logic Programming
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
Theory and Practice of Logic Programming 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 |
View less
Planning to publish in Theory and Practice of Logic Programming ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations
Recently Published Papers in Theory and Practice of Logic Programming
Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming
- 13 Nov 2024
- Theory and Practice of Logic Programming
Probabilistic Answer Set Programming with Discrete and Continuous Random Variables
- 8 Nov 2024
- Theory and Practice of Logic Programming
On the Equivalence between Logic Programming and SETAF
- 6 Nov 2024
- Theory and Practice of Logic Programming
Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
- 31 Oct 2024
- Theory and Practice of Logic Programming
Catamorphic Abstractions for Constrained Horn Clause Satisfiability
- 29 Oct 2024
- Theory and Practice of Logic Programming
CON-FOLD Explainable Machine Learning with Confidence
- 28 Oct 2024
- Theory and Practice of Logic Programming
Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming
- 13 Nov 2024
- Theory and Practice of Logic Programming
Probabilistic Answer Set Programming with Discrete and Continuous Random Variables
- 8 Nov 2024
- Theory and Practice of Logic Programming
On the Equivalence between Logic Programming and SETAF
- 6 Nov 2024
- Theory and Practice of Logic Programming
Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
- 31 Oct 2024
- Theory and Practice of Logic Programming
Catamorphic Abstractions for Constrained Horn Clause Satisfiability
- 29 Oct 2024
- Theory and Practice of Logic Programming
CON-FOLD Explainable Machine Learning with Confidence
- 28 Oct 2024
- Theory and Practice of Logic Programming
Compare Similar Journals with Theory and Practice of Logic Programming
Select Journals to Compare with Theory and Practice of Logic Programming
Total journals - 5
You can select up to 3 Journals at a time
Lecture Notes in Computer Science
Publisher: Springer Nature
Electronic Proceedings in Theoretical Computer Science
Publisher: Open Publishing Association
Artificial Intelligence
Publisher: ELSEVIER
Fundamenta Informaticae
Publisher: IOS PRESS
Argument and Computation
Publisher: IOS PRESS
0 Journals Selected to compare with
Theory and Practice of Logic Programming
Compare journals across 7 parameters SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers
SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers
Get detailed Journal comparison report on your email by signing up
FAQs on Theory and Practice of Logic Programming
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 year?
In 2023, Theory and Practice of Logic Programming publsihed 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 is 1471-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.
