会议信息
ICLP 2022: International Conference on Logic Programming
https://software.imdea.org/Conferences/ICLP2022/截稿日期: |
2022-01-14 |
通知日期: |
2022-03-14 |
会议日期: |
2022-07-31 |
会议地点: |
Haifa, Israel |
届数: |
38 |
CORE: a QUALIS: b1 浏览: 20327 关注: 3 参加: 0
征稿
Since the first conference held in Marseille in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: Foundations Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. Languages issues Concurrency, Objects, Coordination, Mobility, Higher order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming techniques. Programming support Program analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. Implementation Compilation, Virtual machines, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. Language Issues Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. Related Paradigms and Synergies Inductive and coinductive logic programming, Constraint logic programming, Answer set programming, Interaction with SAT, SMT and CSP solvers, Theorem proving, Argumentation, Probabilistic programming, Machine learning. Applications Databases, Big data, Data integration and federation, Software engineering, Natural language processing, Web and semantic web, Agents, Artificial intelligence, Computational life sciences, Cybersecurity, Robotics, Education.
最后更新 Dou Sun 在 2022-01-17
录取率
时间 | 提交数 | 录取数 | 录取率(%) |
---|---|---|---|
2005 | 104 | 25 | 24% |
2004 | 70 | 28 | 40% |
2001 | 79 | 17 | 21.5% |
1999 | 86 | 26 | 30.2% |
最佳论文
相关会议
简称 | 全称 | 截稿日期 | 会议日期 |
---|---|---|---|
COLT | Annual Conference on Learning Theory | 2024-02-09 | 2024-06-30 |
JTRES | International Workshop on Java Technologies for Real-time and Embedded Systems | 2016-06-12 | 2016-08-29 |
ESOP | European Symposium on Programming | 2024-10-10 | 2025-05-03 |
GISTAM | International Conference on Geographical Information Systems Theory, Applications and Management | 2015-12-10 | 2016-04-26 |
ICINT | International Conference on Information and Network Technologies | 2024-09-30 | 2025-03-12 |
SUComS | International Conference on Security-enriched Urban Computing and Smart Grid | 2015-05-25 | 2015-06-21 |
ICFP | ACM SIGPLAN International Conference on Functional Programming | 2024-02-28 | 2024-09-02 |
MCCMB | Moscow Conference on Computational Molecular Biology | 2019-03-10 | 2019-07-27 |
IntelliSys | SAI Intelligent Systems Conference | 2019-02-01 | 2019-09-05 |
PAAP | International Symposium on Parallel Architectures, Algorithms and Programming | 2022-07-30 | 2022-11-04 |
相关期刊
CCF | 全称 | 影响因子 | 出版商 | ISSN |
---|---|---|---|---|
IEEE Internet of Things Magazine | IEEE | 2576-3180 | ||
Image Processing On Line | IPOL | 2105-1232 | ||
IEEE Transactions on Intelligent Vehicles | 14.00 | IEEE | 2379-8858 | |
IEEE Transactions on Very Large Scale Integration (VLSI) Systems | 2.800 | IEEE | 1063-8210 | |
b | IEEE Transactions on Automation Science and Engineering | 5.900 | IEEE | 1545-5955 |
BioData Mining | 4.000 | Springer | 1756-0381 | |
International Journal of Applied Mathematics and Computer Science | 1.600 | Walter de Gruyter | 1641-876X | |
Spatial Statistics | 2.100 | Elsevier | 2211-6753 | |
IEEE Transactions on Emerging Topics in Computational Intelligence | 5.300 | IEEE | 2471-285X | |
a | IEEE Transactions on Pattern Analysis and Machine Intelligence | 20.80 | IEEE | 0162-8828 |
全称 | 影响因子 | 出版商 |
---|---|---|
IEEE Internet of Things Magazine | IEEE | |
Image Processing On Line | IPOL | |
IEEE Transactions on Intelligent Vehicles | 14.00 | IEEE |
IEEE Transactions on Very Large Scale Integration (VLSI) Systems | 2.800 | IEEE |
IEEE Transactions on Automation Science and Engineering | 5.900 | IEEE |
BioData Mining | 4.000 | Springer |
International Journal of Applied Mathematics and Computer Science | 1.600 | Walter de Gruyter |
Spatial Statistics | 2.100 | Elsevier |
IEEE Transactions on Emerging Topics in Computational Intelligence | 5.300 | IEEE |
IEEE Transactions on Pattern Analysis and Machine Intelligence | 20.80 | IEEE |
推荐