Answer Set Programming for Studying Logics | IEEE Conference Publication | IEEE Xplore