ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2021 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.
翻译:在逻辑编程的所有领域,包括但不仅限于:基础:语义学、正统主义、非口头推理、知识代表性;语言问题:货币、物体、协调、流动、高级顺序、类型、模式、模块、语句、模块、元方案、基于逻辑的域名语言、编程技术;编程支持:方案分析、转变、验证、核查、调试、分析、测试、执行可视化;执行:编译、虚拟机器、记忆管理、平行和分布式执行、约束性处理规则、标签、外国界面、用户界面;相关的参数和协同作用:感化和感化逻辑编程、严格逻辑编程、问答程序、与SAT、SMT和CSP的热点、理论验证、论证、论证、概率、概率编程、机器学习;应用:数据库、大数据、数据整合和联邦、软件、语言处理、网络和网络安全、网络安全学、网络安全学、网络空间科学、网络和地震学。