An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements.

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

Browse the full KR paper archive.