Fuzzy answer set computation via satisfiability modulo theories

Mario Alviano, Rafael PeƱaloza. Fuzzy answer set computation via satisfiability modulo theories. TPLP, 15(4-5):588-603, 2015. [doi]

Abstract

Abstract is missing.