A general possible worlds framework for reasoning about knowledge and belief.

Heinrich Wansing

Published in: Stud Logica (1990)

Keyphrases

computational model
image segmentation
special case
main contribution
closely related
framework enables
machine learning
artificial intelligence
computer vision
expert systems
belief revision