本文介绍了Kc语言，它是K语言的扩展，用于表示非平凡规划任务和组合问题。研究了Kc语言的复杂性和通过逻辑程序解决计划问题的方法。实验表明，基于答案集规划的方法是解决复杂计划问题的有效方法。

本文介绍了一种利用CASP目标导向ASP系统生成反事实解释的方法，揭示机器学习模型的决策依据，并为无法满足查询的答案集程序找到Craig插值。