Multi-user Input in Determining Answer Sets (MIDAS) | IEEE Conference Publication | IEEE Xplore