Login / Signup
On the Strength of Egglue and Other Logic CAPTCHAs.
Carlos Javier Hernández-Castro
Arturo Ribagorda
Julio César Hernández Castro
Published in:
SECRYPT (2011)
Keyphrases
</>
modal logic
logic programming
computer programs
multi valued
defeasible logic
classical logic
data mining
asynchronous circuits
intuitionistic logic
deontic logic
abductive reasoning
computational properties
logical framework
automated reasoning
artificial intelligence
genetic algorithm
information retrieval