C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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