Functional Stable Model Semantics and Answer Set Programming Modulo Theories.

Michael Bartholomew, Joohyung Lee

Browse the full IJCAI paper archive.