Trace Semantics via Generic Observations.

Sergey Goncharov

Published in: CALCO (2013)

Keyphrases

formal semantics
logic programming
information retrieval
semantic information
artificial intelligence
default reasoning
databases
neural network
machine learning
similarity measure
multiscale
domain specific
conceptual model
conceptual graphs
transformation rules