AINeutralarXiv – CS AI · 14h ago6/10
🧠
Meta-Programming for Linear-time Temporal Answer Set Programming
Researchers propose a meta-programming framework that enables flexible implementation of temporal logic extensions for Answer Set Programming (ASP) through a unified declarative system. The work introduces metasp, a tool that allows rapid exploration of different temporal logics—including linear-time (TEL), metric (MEL), and dynamic (DEL) variants—without modifying core ASP system code.