The 2021 Alonzo Church award for outstanding contributions to logic and computation: call for nominations.

Published in: ACM SIGLOG News (2021)

Keyphrases

genetic algorithm
neural network
learning algorithm
modal logic
multi valued
predicate logic
social networks
information systems
expert systems
logic programming
parallel computation
invited talk
classical logic