The Undecidability of Quantified Announcements.

Thomas Ågotnes Hans van Ditmarsch Timothy Noel French

Published in: Stud Logica (2016)

Keyphrases

description logics
probabilistic planning
answering queries
stock market
database systems
stock price
case study
expert systems
long term
special case
logic programs
query containment