Scholarlink

anthem is a proof assistant designed for verifying several conditions that play an important role in answer set programming. In this note we show that anthem can help us verify equivalence of logic programming solutions to the same problem that have been independently developed by different programmers.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

An Experiment with Anthem: Semantic Equivalence of Tiling Programs

  • 会议论文

  • 发表日期：

    2026年

查看全文
  • Vladimir Lifschitz

摘要

anthem is a proof assistant designed for verifying several conditions that play an important role in answer set programming. In this note we show that anthem can help us verify equivalence of logic programming solutions to the same problem that have been independently developed by different programmers.