Reasoning about Truthfulness of Agents Using Answer Set Programming.

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

Browse the full KR paper archive.