Łukasiewicz μ-calculus.

Matteo Mio Alex K. Simpson

Published in: CoRR (2015)

Keyphrases

provably correct
decision making
database query languages
databases
similarity measure
data structure
qualitative spatial reasoning
timed automata
qualitative spatial and temporal reasoning