Login / Signup
An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements.
Marcello Balduccini
Michael Gelfond
Enrico Pontelli
Tran Cao Son
Published in:
KR (2020)
Keyphrases
</>
answer set programming
multi agent
multi agent systems
logic programming
answer sets
modulo theories
logic programs
update semantics
multiple agents
artificial intelligence
general purpose
search algorithm
expert systems
logical framework
constraint logic programming
answer set programs