MMDec, 2018

第十一届答案集编程和其他计算范式研讨会 2018 年论文集

PDF
TL;DR2018 年 7 月 18 日在英国牛津举行的第 11 届 Answer Set Programming 和其他计算范式研讨会 (ASPOCP) 的会议记录。
发现论文，激发创造
  • 答案集编程与其他计算范式会议论文集（ASPOCP2013），第六届国际研讨会，2013 年 8 月 25 日，土耳其伊斯坦布尔

    该论文是第六届 ASPOCP 2013 会议上提交的论文，主要讨论了当前 ASP 技术在理论、求解和应用方面与其他计算范式的交叉和融合的讨论。

    Dec, 2013

  • 第七届答案集编程竞赛：设计与结果

    本文介绍了关于 Answer Set Programming 的比赛，并讨论了设计和结果。

    Apr, 2019

  • 第五届答案集程序设计竞赛的设计

    本文介绍了 Answer Set Programming 的发展历程、技术进展及其在解决相关问题中的应用，以比赛形式，特别是 ASP 竞赛，验证了 ASP 的优势和成就。该竞赛的第五届为了加入 FLoC 奥林匹克事件于维也纳逻辑学夏季活动 2014，预计是逻辑史上最大规模的事件。竞赛还推广了 ASP-Core-2 标准。

    May, 2014

  • 第三届开放式答案集编程竞赛

    本文报道了第三届 (开放式) ASP 竞赛的格式以及结果。该竞赛旨在比较不同基于声明性编程的系统在一系列基准问题上的表现，并讨论了竞赛与第二届 ASP 竞赛以及一些基准领域的最新解决方案的比较。

    Jun, 2012

  • 第二届逻辑与编程实践研讨会论文集 (LPOP)

    本文介绍了第二届逻辑与程序设计工作坊（Logic and Practice of Programming，LPOP）的论文摘要和立场论文，旨在作为计算机科学中使用逻辑作为实用工具的不同领域之间的桥梁，利用形式逻辑的公共语言交换思想。

    Nov, 2022

  • onlineSPARC: Answer Set Programming 的编程环境

    开发了一个在线的答案集编程环境，具有自包含文件系统和简单的用户界面，使得逻辑编程可以更易于被广大的本科生及中小学生所学习。

    Sep, 2018

  • 验证答案集编程的工具和方法

    该研究的目标是扩展支持 ASP 程序验证的工具和理论，旨在促进知识表示和推理的发展，并解决人工智能中的可靠性和可解释性问题。

    Aug, 2022

  • 再探可能性答案集编程

    本文介绍了一种基于可能逻辑的新 ASP 模型，称为 Possibilistic answer set programming（PASP）。通过将对 PASP 程序中的规则的确定性附加到每个规则上，我们提出了一种更加合适的 PASP 语义，并且该框架可以轻松使用标准 ASP 求解器实现。

    Mar, 2012

  • 答案集编程的成就

    本文介绍了一种应答集编程的方法论，该方法可以促进易于理解且可以证明正确的编码方案的设计。通过向正在形成的程序追加一个规则或一小组规则，并在其中包含一条陈述已经 “实现” 的注释，使我们能够以数学上精确的方式描述程序设计的细节。

    Aug, 2016

  • 针对抽象论证的改进答案集编程编码

    本文使用 ASP 系统 clingo 提供的条件量词的析取形式，提供了三种著名的辩论语义的新编码，这些编码不仅比以前的版本更简洁，而且在标准基准测试中也表现优异，从而为高级辩论系统的高效解决方案的设计提供了一步关键。

    Jul, 2015