A Logic for Collective Choice.

Guifei Jiang Dongmo Zhang Laurent Perrussel Heng Zhang

Published in: AAMAS (2015)

Keyphrases

classical logic
modal logic
logic programming
collective behavior
predicate logic
abductive reasoning
collective intelligence
automated reasoning
learning algorithm
video sequences
query language
probability theory
probabilistic logic