ICLP is the premier international event for presenting research in logic
programming. Contributions to ICLP 2022 were sought in all areas of logic
programming, including but not limited 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 and Distributed execution, Constraint handling rules,
Tabling, Foreign interfaces, User interfaces. 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, Cyber-security, Robotics,
Education.

ICLP 是呈现逻辑编程研究的卓越国际会议，涵盖基础、语言、实现和应用，并欢迎相关范式和合作。