Functional Stable Model Semantics and Answer Set Programming Modulo Theories

arXiv:2605.09524v1 Announce Type: new Abstract: 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...