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

Marcello Balduccini, Michael Gelfond, Enrico Pontelli, Tran Cao Son. An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements. In Diego Calvanese, Esra Erdem 0001, Michael Thielscher, editors, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020. pages 69-78, 2020. [doi]

Abstract

Abstract is missing.