论文标题
会议记录第38届国际逻辑编程会议
Proceedings 38th International Conference on Logic Programming
论文作者
论文摘要
ICLP是介绍逻辑编程研究的主要国际活动。在逻辑编程的所有领域都寻求对ICLP 2022的贡献，包括但不限于：基础：语义，形式主义，非单调推理，知识代表。语言问题：并发，对象，协调，移动性，高阶，类型，模式，断言，模块，元编程，基于逻辑的域特异性语言，编程技术。编程支持：程序分析，转换，验证，验证，调试，分析，测试，执行可视化。实施：编译，虚拟机，内存管理，并行和分布式执行，约束处理规则，表格，外国接口，用户界面。相关的范例和协同作用：归纳和共同感应逻辑编程，约束逻辑编程，答案集编程，与SAT，SMT和CSP求解器的互动，定理证明，论证，概率编程，机器学习。应用程序：数据库，大数据，数据集成和联合会，软件工程，自然语言处理，网络和语义网络，代理，人工智能，计算生命科学，网络安全，机器人技术，教育。
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.
