A Decision Procedure for a Fragment of Linear Time Mu-Calculus.

Yao Liu Zhenhua Duan Cong Tian

Published in: IJCAI (2016)

Keyphrases

decision making
proof procedure
decision makers
databases
decision rules
decision process
decision model
information systems
learning algorithm
image segmentation
relational databases
genetic algorithm
neural network
theorem proving
decision processes
making decisions
data sets