Subset Space Logic with Arbitrary Announcements.

Philippe Balbiani Hans van Ditmarsch Andrey Kudinov

Published in: ICLA (2013)

Keyphrases

multi valued
space time
modal logic
real time
neural network
logic programming
arbitrary dimension
databases
feature space
evolutionary algorithm
probabilistic model
low dimensional
space requirements
classical logic