May, 2014

Clingo = ASP + Control: 预备报告

PDF
TL;DR介绍了新的 ASP 系统 clingo 4，其提供高级结构来实现复杂推理过程，支持高级搜索形式（如优化或理论求解），并通过嵌入脚本语言 lua 和 python 实现控制能力，为 ASP 的声明输入语言提供了一种新的指令来支持命名和可参数化子程序的逻辑程序结构化。通过严格分离逻辑程序和控制程序，clingo 4 还取消了增量和反应推理的专用系统，其灵活性超越了 iclbingo 和 oclingo 的解决过程。
发现论文，激发创造
  • 使用 Clingo 求解多次 ASP

    提出了一种名为 Multi-shot ASP solving 的 Answer Set Programming 新范式，采用 clingo 实现，可以灵活处理不断变化的逻辑程序并可进行高级搜索等操作，同时采用模块化编程方式实现。

    May, 2017

  • 如何构建基于 ASP 的系统？

    这篇论文介绍了使用 CLINGO 实现扩展和定制化特殊目的系统的两种方法，通过 meta 编程和应用程序接口 2 种不同方式来实现操作和控制整个 ASP 模型。同时，还介绍了 CLINGO 新的应用程序类和中间格式 ASPIF，旨在帮助普通用户构建自己的 ASP 系统并进行非平凡的案例分析。

    Aug, 2020

  • Clingcon: 下一代

    本篇论文介绍了第三代约束答案集系统 clingcon，它将 Answer Set Programming（ASP）与有限域约束处理（CP）相结合，并采用惰性方法实现对约束传播的扩展。

    May, 2017

  • eclingo: 一个 Epistemic Logic Programs 求解器

    eclingo 是基于 Answer Set Programming 系统 clingo 开发的一个解决 Gelfond 1991 下的认知逻辑程序的求解器，通过使用 clingo 的语法扩展能力定义主观文字实现了对程序的谨慎和勇敢结果的搜索，并在一些场景中提高求解效率。

    Aug, 2020

  • Clingo 线性约束与整数和实数

    该研究论文介绍了一种基于 ASP 系统 clingo 的算法框架，利用线性约束扩充基本 ASP，实现了不同形式的线性约束，并在反应式环境下演示其应用。最后，对该算法进行了实证评估。

    Jul, 2017

  • plingo: 一种基于 lpmln 的 Clingo 概率推理系统

    Plingo 是基于 ASP 的 LP^MLN 的概率扩展，并可以映射到优化问题，提供了三种使用不同输入语言和推理模式的前端。通过基于新的方法的近似技术，将 LP^MLN 重新实现为现代 ASP 技术的核心。我们通过与其他概率系统进行比较，从经验上评估 Plingo 的性能。

    Jun, 2022

  • ASP 模数 CSP: clingcon 系统

    本文介绍了一种混合型 ASP 求解器 clingcon，它使用 Constraint Programming 中的非布尔约束和 Answer Set Programming 的高性能布尔求解能力，其主要技术创新是通过基于不可约不一致集的学习技术改进 ASP 和 CP 求解器之间的交互，实现全局约束和优化语句支持，广泛的实证评估表明这些技术提高了一个数量级的性能。

    Oct, 2012

  • Clingraph：基于 ASP 的可视化系统

    该研究介绍了基于 ASP 的可视化工具 clingraph，用于通过 ASP 本身来可视化 ASP 的各种概念，同时提供了一个 python API 来扩展接口。

    Mar, 2023

  • 关于两种答案集编程方言的关系

    本文证明了在 ASP-Core 语言中避免通过聚合递归确实保证了两个稳定模型语义版本之间的等价性，并展示了如何放宽此要求而不违反等价性属性。

    Jul, 2019

  • CNL2ASP：将受控自然语言句子转换为 ASP

    使用受控自然语言（CNL）形式的英语句子作为输入，CNL2ASP 工具将其转换为 ASP 规则，用于指定合成和实际组合问题的声明性编程语言 ——Answer Set Programming（ASP）。经过实验分析，我们的工具在真实问题上表现出与 ASP 开发者编写的编码相当的性能。

    Nov, 2023