Meta-Programming for Linear-time Temporal Answer Set Programming 事件

Meta-Programming for Linear-time Temporal Answer Set Programming arXiv:2605.29965v1 Announce Type: new Abstract: The development of temporal extensions of Answer Set Programming (ASP) has led to the emergence of non-monotonic linear-time (TEL), dynamic (DEL), and metric (MEL) temporal equilibrium logics. However, the inherent rigidity of highly optimized ASP systems often hinders the rapid exploration and implementation of alternative logical designs. In this work, we propose a flexible meta-pr