An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents.

Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini

Browse the full ICLP paper archive.