Display calculi and other modal calculi: a comparison.

Francesca Poggiolesi

Published in: Synth. (2010)

Keyphrases

sequent calculi
real time
qualitative spatial and temporal reasoning
data sets
modal logic
qualitative spatial
databases
neural network
search algorithm
control system
reasoning problems