AI RESEARCH
Functional Stable Model Semantics and Answer Set Programming Modulo Theories
arXiv CS.AI
•
ArXi:2605.09524v1 Announce Type: new Recently there has been an increasing interest in incorporating ``intensional'' functions in answer set programming. Intensional functions are those whose values can be described by other functions and predicates, rather than being pre-defined as in the standard answer set programming.