Possible Worlds and the Qualification Problem.

Matthew L. Ginsberg David E. Smith

Published in: AAAI (1987)

Keyphrases

artificial intelligence
computer vision
database systems
real time
image segmentation
search algorithm
natural language
general purpose
situation calculus