期刊信息
Theory and Practice of Logic Programming (TPLP)
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming影响因子: |
1.400 |
出版商: |
Cambridge University Press |
ISSN: |
1471-0684 |
浏览: |
8000 |
关注: |
1 |
征稿
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.
最后更新 Dou Sun 在 2024-08-25
相关期刊
| CCF | 全称 | 影响因子 | 出版商 | ISSN |
|---|---|---|---|---|
| Image Processing On Line | IPOL | 2105-1232 | ||
| IEEE Internet of Things Magazine | IEEE | 2576-3180 | ||
| b | IEEE Transactions on Automation Science and Engineering | 5.900 | IEEE | 1545-5955 |
| IEEE Transactions on Very Large Scale Integration (VLSI) Systems | 2.800 | IEEE | 1063-8210 | |
| IEEE Open Journal of Control Systems | IEEE | 2694-085X | ||
| Spatial Statistics | 2.100 | Elsevier | 2211-6753 | |
| Journal of Object Technology | EtH Zurich | 1660-1769 | ||
| IEEE Transactions on Emerging Topics in Computational Intelligence | 5.300 | IEEE | 2471-285X | |
| Information Systems and e-Business Management | 2.300 | Springer | 1617-9846 | |
| BioData Mining | 4.000 | Springer | 1756-0381 |
| 全称 | 影响因子 | 出版商 |
|---|---|---|
| Image Processing On Line | IPOL | |
| IEEE Internet of Things Magazine | IEEE | |
| IEEE Transactions on Automation Science and Engineering | 5.900 | IEEE |
| IEEE Transactions on Very Large Scale Integration (VLSI) Systems | 2.800 | IEEE |
| IEEE Open Journal of Control Systems | IEEE | |
| Spatial Statistics | 2.100 | Elsevier |
| Journal of Object Technology | EtH Zurich | |
| IEEE Transactions on Emerging Topics in Computational Intelligence | 5.300 | IEEE |
| Information Systems and e-Business Management | 2.300 | Springer |
| BioData Mining | 4.000 | Springer |
相关会议
| 简称 | 全称 | 截稿日期 | 会议日期 |
|---|---|---|---|
| LION | Learning and Intelligent OptimizatioN Conference | 2019-02-17 | 2019-05-27 |
| JTRES | International Workshop on Java Technologies for Real-time and Embedded Systems | 2016-06-12 | 2016-08-29 |
| MFPS | International Conference on the Mathematical Foundations of Programming Semantics | 2015-04-03 | 2015-06-22 |
| ICSR | International Conference on Software and Systems Reuse | 2024-11-18 | 2025-04-27 |
| AISC' | International Conference on Artificial Intelligence, Soft Computing | 2023-07-08 | 2023-07-22 |
| I2MTC | International Instrumentation and Measurement Technology Conference | 2023-12-08 | 2024-05-20 |
| DEPEND | International Conference on Dependability | 2013-08-25 | |
| MCCMB | Moscow Conference on Computational Molecular Biology | 2019-03-10 | 2019-07-27 |
| I-SPAN | International Symposium on Pervasive Systems, Algorithms, and Networks | 2019-05-31 | 2019-09-16 |
| ASPLOS | International Conference on Architectural Support for Programming Languages and Operating Systems | 2024-10-18 | 2025-04-27 |
推荐