1 paper · 1 filter
Arseny Skryagin, Daniel Ochs, Phillip Deibert +3
Although Answer Set Programming (ASP) allows constraining neural-symbolic (NeSy) systems, its employment is hindered by the prohibitive costs of computing stable models and the CPU…