Dealing with Symmetries in Modal Tableaux.

Carlos Areces Ezequiel Orbe

Published in: TABLEAUX (2013)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
default logic
symmetry breaking
learning algorithm
functional dependencies
automated reasoning
databases
genetic algorithm
computer vision
image sequences
search space
feature points