No Finite Model Property for Logics of Quantified Announcements.

Hans van Ditmarsch Tim French Rustam Galimullin

Published in: TARK (2021)

Keyphrases

high level
formal model
probabilistic model
experimental data
statistical model
computational model
knowledge representation
theoretical framework
parameter estimation
maximum likelihood
conceptual model
em algorithm
database
d objects
probability distribution
prior knowledge
image segmentation