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

DOI10.4230/OASIcs.ICLP.2016.8zbMath1428.68283OpenAlexW2577192801MaRDI QIDQ5240213

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

Publication date: 24 October 2019

Full work available at URL: http://dx.doi.org/10.4230/OASIcs.ICLP.2016.8

zbMATH Keywords

knowledgereasoningagentsASP

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17) Agent technology and artificial intelligence (68T42)

Related Items (1)

Unnamed Item

Cites Work

• Logic programs with stable model semantics as a constraint programming paradigm
• A framework for compiling preferences in logic programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents.