Two alternative notions of 'possibility' satisfying Halpern's conditions.

Kaile Su Huowang Chen Decheng Ding

Published in: J. Log. Comput. (2000)

Keyphrases

sufficient conditions
temporal logic
data sets
real world
computer vision
three dimensional
learning environment
special case
belief revision
environmental conditions