Well-tempered ZX and ZH Calculi.

Niel de Beaudrap

Published in: QPL (2020)

Keyphrases

sequent calculi
qualitative spatial and temporal reasoning
three dimensional
reasoning problems
databases
genetic algorithm
computer vision
information systems
multiscale
expert systems
qualitative spatial