Reasoning on the response of logical signaling networks with Answer Set Programming