Present-Future Form of Linear Time $$\mu $$ -Calculus.

Yao Liu Zhenhua Duan Cong Tian Bo Liu

Published in: SOFL+MSVL (2013)

Keyphrases

long term
computer vision
inference rules
databases
learning algorithm
information systems
image processing
bayesian networks
data structure
knowledge representation
formal language