under Answer Set Semantics -- NoMoRe: A System for Non-Monotonic Reasoning with Logic