Translating LPOD and CR-Prolog2 into Standard Answer Set Programs

Open in new window