A canonical model construction for intuitionistic distributed knowledge.

Gerhard Jäger Michel Marti

Published in: Advances in Modal Logic (2016)

Keyphrases

model construction
distributed systems
pose estimation
decision trees
image segmentation
objective function
object recognition