#asp News & Analysis

2 articles tagged with #asp. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

2 articles

AINeutralarXiv – CS AI · May 296/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.

AINeutralarXiv – CS AI · May 125/10

🧠

Functional Stable Model Semantics and Answer Set Programming Modulo Theories

Researchers demonstrate how functional stable model semantics enhances Answer Set Programming Modulo Theories (ASPMT), enabling integration of intensional functions that derive values from other predicates rather than pre-defined sources. The framework allows tight ASPMT programs to translate into SMT instances, extending the theoretical foundations of logic programming.