Fuzzy Answer Set Computation via Satisfiability Modulo Theories

Open in new window