Logic of Questions and Public Announcements.

Michal Pelis Ondrej Majer

Published in: TbiLLC (2009)

Keyphrases

modal logic
classical logic
proof theory
epistemic logic
asynchronous circuits
neural network
machine learning
bayesian networks
predicate logic
linear logic
sound and complete axiomatization
answer questions
defeasible logic
open questions
question answering systems