An Epistemic Perspective on Consistency of Concurrent Computations.

Klaus von Gleissenthall Andrey Rybalchenko

Published in: CONCUR (2013)

Keyphrases

consistency checking
viewpoint
belief change
learning algorithm
data structure
real world
computer vision
case study
belief revision
global consistency