Journal Information
Theory and Practice of Logic Programming (TPLP)
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programmingImpact Factor: |
1.400 |
Publisher: |
Cambridge University Press |
ISSN: |
1471-0684 |
Viewed: |
12706 |
Tracked: |
1 |
Call For Papers
Theory and Practice of Logic Programming is a fully gold open access journal. It emphasizes both the theory and practice of logic programming. Logic programming applies to all areas of artificial intelligence and computer science and is fundamental to them. Among the topics covered are AI applications that use logic programming, logic programming methodologies, specification, analysis and verification of systems, inductive logic programming, multi-relational data mining, natural language processing, knowledge representation, non-monotonic reasoning, semantic web reasoning, databases, implementations and architectures and constraint logic programming.
Last updated by Dou Sun in 2024-08-25
Related Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| IEEE Transactions on Network Science and Engineering | 7.9 | IEEE | 2334-329X | |
| Mathematical Programming Computation | 3.6 | Springer | 1867-2949 | |
| c | Pervasive and Mobile Computing | 3.5 | Elsevier | 1574-1192 |
| c | Proceedings of the ACM on Programming Languages | 2.8 | ACM | 2475-1421 |
| Mathematical Programming | 2.5 | Springer | 0025-5610 | |
| c | Theory and Practice of Logic Programming | 1.400 | Cambridge University Press | 1471-0684 |
| b | Science of Computer Programming | 1.4 | Elsevier | 0167-6423 |
| b | Journal of Functional Programming | 1.100 | Cambridge University Press | 0956-7968 |
| International Journal of Parallel Programming | 0.900 | Springer | 0885-7458 | |
| Journal of Logical and Algebraic Methods in Programming | 0.700 | Elsevier | 2352-2208 |
| Full Name | Impact Factor | Publisher |
|---|---|---|
| IEEE Transactions on Network Science and Engineering | 7.9 | IEEE |
| Mathematical Programming Computation | 3.6 | Springer |
| Pervasive and Mobile Computing | 3.5 | Elsevier |
| Proceedings of the ACM on Programming Languages | 2.8 | ACM |
| Mathematical Programming | 2.5 | Springer |
| Theory and Practice of Logic Programming | 1.400 | Cambridge University Press |
| Science of Computer Programming | 1.4 | Elsevier |
| Journal of Functional Programming | 1.100 | Cambridge University Press |
| International Journal of Parallel Programming | 0.900 | Springer |
| Journal of Logical and Algebraic Methods in Programming | 0.700 | Elsevier |
Related Conferences
| Short | Full Name | Conference |
|---|---|---|
| CP | International Conference on Principles and Practice of Constraint Programming | 2026-07-20 |
| ICFP | ACM SIGPLAN International Conference on Functional Programming | 2026-08-23 |
| EuroGP | European Conference on Genetic Programming | 2026-04-08 |
| PPoPP | ACM SIGPLAN Annual Symposium Principles and Practice of Parallel Programming | 2026-01-31 |
| PPDP | ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming | 2025-09-10 |
| ICLP | International Conference on Logic Programming | 2022-07-31 |
| ILP | International Conference on Inductive Logic Programming | 2021-10-25 |
| TPDL | International Conference on Theory and Practice of Digital Libraries | 2020-08-25 |
| FLOPS | International Symposium on Functional and Logic Programming | 2012-05-23 |
| TaPP | USENIX Workshop on the Theory and Practice of Provenance | 2013-04-02 |