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: |
10970 |
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 |
---|---|---|---|---|
Cogent Engineering | Cogent OA | 2331-1916 | ||
IEEE Internet of Things Magazine | IEEE | 2576-3180 | ||
c | International Journal of Pattern Recognition and Artificial Intelligence | 0.900 | World Scientific | 0218-0014 |
Telecommunications Policy | 5.900 | Elsevier | 0308-5961 | |
IEEE Transactions on Control Systems Technology | 4.900 | IEEE | 1063-6536 | |
Spatial Statistics | 2.100 | Elsevier | 2211-6753 | |
Image Processing On Line | IPOL | 2105-1232 | ||
IEEE Transactions on Emerging Topics in Computational Intelligence | 5.300 | IEEE | 2471-285X | |
Graphs and Combinatorics | 0.600 | Springer | 0911-0119 | |
International Journal of Information Security | 2.400 | Springer | 1615-5262 |
Full Name | Impact Factor | Publisher |
---|---|---|
Cogent Engineering | Cogent OA | |
IEEE Internet of Things Magazine | IEEE | |
International Journal of Pattern Recognition and Artificial Intelligence | 0.900 | World Scientific |
Telecommunications Policy | 5.900 | Elsevier |
IEEE Transactions on Control Systems Technology | 4.900 | IEEE |
Spatial Statistics | 2.100 | Elsevier |
Image Processing On Line | IPOL | |
IEEE Transactions on Emerging Topics in Computational Intelligence | 5.300 | IEEE |
Graphs and Combinatorics | 0.600 | Springer |
International Journal of Information Security | 2.400 | Springer |
Related Conferences
Short | Full Name | Conference |
---|---|---|
ASPLOS | International Conference on Architectural Support for Programming Languages and Operating Systems | 2026-03-22 |
I-SPAN | International Symposium on Pervasive Systems, Algorithms, and Networks | 2019-09-16 |
EdgeBlock | IEEE International Symposium on Edge Computing and Blockchain | 2020-07-06 |
DEPEND | International Conference on Dependability | 2013-08-25 |
ICSR | International Conference on Software and Systems Reuse | 2025-04-27 |
I2MTC | International Instrumentation and Measurement Technology Conference | 2024-05-20 |
AISC' | International Conference on Artificial Intelligence, Soft Computing | 2023-07-22 |
MFPS | International Conference on the Mathematical Foundations of Programming Semantics | 2015-06-22 |
JTRES | International Workshop on Java Technologies for Real-time and Embedded Systems | 2016-08-29 |
ACAE | Asia Conference on Automation Engineering | 2023-04-14 |