会議情報
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 閲覧: 20325 追跡: 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 |
おすすめ