Reasoning about Lists via List Interleaving.

Published in: Arch. Formal Proofs (2015)

Keyphrases

spatial reasoning
qualitative reasoning
formal theory
case study
high level
similarity measure
objective function
expert systems
relational databases
medical images
probabilistic knowledge