A Logic-Based Framework for Reasoning about Composite Data Structures.

Ahmed Bouajjani Cezara Dragoi Constantin Enea Mihaela Sighireanu

Published in: CONCUR (2009)

Keyphrases

data structure
main contribution
databases
multimedia
nearest neighbor
artificial intelligence
website
multiresolution
lightweight
theoretical framework
conceptual framework
spatial reasoning
framework enables