One Hundred Prisoners and a Lightbulb - Logic and Computation.

Hans van Ditmarsch Jan van Eijck William Wu

Published in: KR (2010)

Keyphrases

logic programming
real time
modal logic
multi valued
logical framework
proof theory
data sets
information retrieval
artificial intelligence
information systems
multiscale
programming language
efficient computation
classical logic