Reasoning about Truthfulness of Agents Using Answer Set Programming.

Tran Cao Son Enrico Pontelli Michael Gelfond Marcello Balduccini

Published in: KR (2016)

Keyphrases

answer set programming
logic programming
logic programs
multi agent systems
multi agent
answer sets

mechanism design
reasoning tasks
multiple agents
constraint logic programming
causal theories

stable model semantics
stable models
update semantics
answer set programs
incomplete information

knowledge representation
artificial intelligence
background knowledge
disjunctive logic programming
qualitative spatial and temporal reasoning