概述

ASPOCP是答案集编程和其他计算范式研讨会的第7版。自20世纪80年代末问世以来，答案集编程（ASP）已广泛应用于各种知识密集型任务和组合搜索问题。ASP被发现与SAT密切相关，这导致了一种使用SAT解算器和改编自SAT的技术计算答案集的方法。虽然这是目前研究最多的关系，已扩展到可满足性模理论（SMT），但ASP与其他计算范式的关系，例如约束满足、量化布尔公式（QBF）、一阶逻辑（FOL）或FO（ID）逻辑也是积极研究的主题。基于ASP和其他范式之间的关系，正在开发计算答案集的新方法，例如使用伪布尔解算器、QBF解算器，FOL定理证明器和CLP系统。此外，ASP的实际应用也促进了多范式问题解决，特别是语言和求解器集成方面的工作。目前该领域最突出的例子是ASP与描述逻辑（在语义Web领域）、约束满足和一般外部计算方法的集成。本研讨会将结合其他计算范式或受到其他计算范式的启发，促进关于在理论、求解和应用方面跨越当前ASP技术边界的讨论。

感兴趣的主题包括（但不限于）：
-ASP和经典逻辑形式（SAT/FOL/QBF/SMT/DL）。
-ASP和约束编程。
-ASP和其他逻辑编程范例，例如FO（ID）。
-ASP和其他非单调语言，例如动作语言。
-ASP和外部计算方法。
-ASP和概率推理。
-ASP和机器学习。
-使用其他范式的算法或系统计算答案集的新方法。
-ASP的语言扩展。
-ASP和多代理系统。
-ASP和多上下文系统。
-模块化和ASP。
-ASP和论证。
-涉及ASP的多领域问题解决。
-ASP与其他范式的评估和比较。
-ASP和应用程序中的相关范例。
-将ASP与程序方法相结合。
-加强接地或超越接地。

有关ASPOCP14的详细信息，请访问ASPOCP14网站.

文件征集

文件征集

组织

项目委员会