A Fully Abstract View for Local Cause Semantics.

Jianxin Xue Xiaoju Dong

Published in: GPC (2012)

Keyphrases

semantic information
formal semantics
propositional dynamic logic
high level
logic programming
multiple views
information retrieval
low level
schema mappings
neural network
website
three dimensional
image sequences
data structure
logical language
semantic aspects