The Undecidability of Quantified Announcements.

Thomas Ågotnes Hans van Ditmarsch Tim French

Published in: CoRR (2024)

Keyphrases

description logics
stock market
probabilistic planning
bayesian networks
knowledge representation
database
decision making
web services
high level
relational databases
model checking