MMSep, 2021
响应式答案集编程
Reactive Answer Set Programming
Krysia Broda, Fariba Sadri, Stephen Butler
TL;DR本文提出了一种将 Logic Production System (LPS) 中的 Kernel(KELPS)系统地映射成 Answer Set Programming (ASP) 的方法,并以一个新的有限模型变体 n-distance KELPS 作为实现基础。最后,提出了一个整合 KELPS 和 ASP 优点的混合框架。