Confluence of Pattern-Based Calculi.

Horatiu Cirstea Germain Faure

Published in: RTA (2007)

Keyphrases

sequent calculi
qualitative spatial and temporal reasoning
databases
real time
reasoning problems
rewrite systems
neural network
machine learning
artificial intelligence
video sequences
spatial relations
qualitative spatial