George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Emmanuel Papadakis 0002. A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming. TPLP, 20(5):687-702, 2020. [doi]
Abstract is missing.