论文标题
会议记录第36届逻辑编程国际会议（技术通信）
Proceedings 36th International Conference on Logic Programming (Technical Communications)
论文作者
论文摘要
自1982年在马赛举行的第一次会议以来，ICLP一直是介绍逻辑编程研究的主要国际活动。在逻辑编程和相关领域的所有领域都征求了贡献，包括但不限于： - 基础：语义，形式主义，答案集编程，非单调推理，知识表示。 - 声明性编程：推理引擎，分析，类型和模式推理，部分评估，抽象解释，转换，验证，验证，调试，测试，测试，基于逻辑的域特异性语言，约束处理规则。 - Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming, Description logics, Neural-Symbolic Machine Learning, Hybrid Deep Learning and Symbolic Reasoning. - 实现：并发和分配，对象，协调，移动性，虚拟机，编译，高阶，类型系统，模块，模块，约束处理规则，元编程，外国接口，用户接口。 - 应用程序：数据库，大数据，数据集成和联合会，软件工程，自然语言处理，网络和语义网络，代理，人工智能，生物信息学，教育，计算生命科学，教育，网络安全和机器人技术。
Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are solicited in all areas of logic programming and related areas, including but not restricted to: - Foundations: Semantics, Formalisms, Answer-Set Programming, Non-monotonic Reasoning, Knowledge Representation. - Declarative Programming: Inference engines, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Logic-based domain-specific languages, constraint handling rules. - Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming, Description logics, Neural-Symbolic Machine Learning, Hybrid Deep Learning and Symbolic Reasoning. - Implementation: Concurrency and distribution, Objects, Coordination, Mobility, Virtual machines, Compilation, Higher Order, Type systems, Modules, Constraint handling rules, Meta-programming, Foreign interfaces, User interfaces. - Applications: Databases, Big Data, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, Education, Computational life sciences, Education, Cybersecurity, and Robotics.
