Context logic and tree update.

Cristiano Calcagno Philippa Gardner Uri Zarfaty

Published in: POPL (2005)

Keyphrases

machine learning
context aware
tree structure
classical logic
contextual information
database
neural network
context sensitive
binary tree
databases
search engine
data structure
spatial data
expressive power
predicate logic
tree models