AINeutralarXiv – CS AI · 10h ago5/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.