Fully abstract semantics of additive aspects by translation.

S. B. Sanjabi C.-H. Luke Ong

Published in: AOSD (2007)

Keyphrases

semantic aspects
logic programming
conceptual model
semantic information
machine translation
data sets
formal semantics
graphical representation
default reasoning
high level
higher level
machine learning
neural network
semantic representation
statistical machine translation
database
propositional dynamic logic