Login / Signup
An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents.
Tran Cao Son
Enrico Pontelli
Michael Gelfond
Marcello Balduccini
Published in:
ICLP (Technical Communications) (2016)
Keyphrases
</>
answer set programming
logic programming
logic programs
multi agent systems
multi agent
answer sets
logical framework
incomplete information
constraint logic programming
relational databases
search space
causal theories
modulo theories