A Foray into Conficker's Logic and Rendezvous Points.

Phillip A. Porras Hassen Saïdi

Published in: LEET (2009)

Keyphrases

point sets
logic programming
multiscale
classical logic
sample points
data sets
convex hull
modal logic
endpoints
automated reasoning
predicate logic
bayesian networks
image registration
inference rules
epistemic logic
sound and complete axiomatization