Fuzzy Answer Set Computation via Satisfiability Modulo Theories