Logical Refinements of Church's Problem.

Alexander Rabinovich Wolfgang Thomas

Published in: CSL (2007)

Keyphrases

cooperative
special case
logical structure
logical representation
social networks
feature selection
wireless sensor networks
probabilistic logic
logical properties
logical operations