A logic of revelation and concealment.

Wiebe van der Hoek Petar Iliev Michael J. Wooldridge

Published in: AAMAS (2012)

Keyphrases

post processing
logic programming
classical logic
modal logic
mechanism design
multi valued
bayesian networks
deontic logic
predicate logic
automated reasoning
probability theory
error concealment
set theory
nonmonotonic logics
video sequences
information retrieval
proof theory