Bootstrap and rollback: generalizing epistemic circularity.

Jesper Kallestrup

Published in: Synth. (2012)

Keyphrases

belief change
low overhead
cross validation
confidence intervals
epistemic logic
real time
logic program updates
bootstrap sampling
computation tree logic
learning environment
logic programs
modal logic
dynamic epistemic logic