The hardest logic puzzle ever becomes even tougher

Nikolay Novozhilov

Published in: CoRR (2012)

Keyphrases

modal logic
logic programming
classical logic
automated reasoning
proof theory
asynchronous circuits
nonmonotonic logics
multi valued
data mining
evolutionary algorithm
probability theory
lower bound
database systems
computer vision
set theory
artificial intelligence
data sets