Reasoning about Truthfulness of Agents Using Answer Set Programming