A Data Symmetry Reduction Technique for Temporal-epistemic Logic.

Mika Cohen Mads Dam Alessio Lomuscio Hongyang Qu

Published in: ATVA (2009)

Keyphrases

training data
temporal information
epistemic logic
image processing