Group announcement logic.

Thomas Ågotnes Philippe Balbiani Hans van Ditmarsch Pablo Seban

Published in: J. Appl. Log. (2010)

Keyphrases

real time
neural network
data mining
website
asynchronous circuits
data sets
machine learning
genetic algorithm
multiscale
logic programming
group members
logical framework
classical logic
set theory
formal theory
proof theory