仕訳帳情報
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 |
閲覧: |
12047 |
追跡: |
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 |
|---|---|---|---|---|
| c | Theory and Practice of Logic Programming | 1.400 | Cambridge University Press | 1471-0684 |
| Mathematical Programming | 2.200 | Springer | 0025-5610 | |
| Scientific Programming | Hindawi | 1058-9244 | ||
| International Journal of Parallel Programming | 0.900 | Springer | 0885-7458 | |
| b | Journal of Functional Programming | 1.100 | Cambridge University Press | 0956-7968 |
| c | The Journal of Logic and Algebraic Programming | Elsevier | 1567-8326 | |
| b | Science of Computer Programming | 1.4 | Elsevier | 0167-6423 |
| Mathematical Programming Computation | 4.300 | Springer | 1867-2949 | |
| c | Proceedings of the ACM on Programming Languages | 2.200 | ACM | 2475-1421 |
| IEEE Transactions on Network Science and Engineering | 7.9 | IEEE | 2334-329X |
| 完全な名前 | インパクト ・ ファクター | 出版社 |
|---|---|---|
| Theory and Practice of Logic Programming | 1.400 | Cambridge University Press |
| Mathematical Programming | 2.200 | Springer |
| Scientific Programming | Hindawi | |
| International Journal of Parallel Programming | 0.900 | Springer |
| Journal of Functional Programming | 1.100 | Cambridge University Press |
| The Journal of Logic and Algebraic Programming | Elsevier | |
| Science of Computer Programming | 1.4 | Elsevier |
| Mathematical Programming Computation | 4.300 | Springer |
| Proceedings of the ACM on Programming Languages | 2.200 | ACM |
| IEEE Transactions on Network Science and Engineering | 7.9 | IEEE |
関連会議
| 省略名 | 完全な名前 | 会議日 |
|---|---|---|
| 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 |
| TaPP | USENIX Workshop on the Theory and Practice of Provenance | 2013-04-02 |
| CP | International Conference on Principles and Practice of Constraint Programming | 2025-08-10 |
| TPDL | International Conference on Theory and Practice of Digital Libraries | 2020-08-25 |
| ICLP | International Conference on Logic Programming | 2022-07-31 |
| FLOPS | International Symposium on Functional and Logic Programming | 2012-05-23 |
| ILP | International Conference on Inductive Logic Programming | 2021-10-25 |