Symbolic and Asynchronous Semantics via Normalized Coalgebras

Filippo Bonchi Ugo Montanari

Published in: Log. Methods Comput. Sci. (2011)

Keyphrases

formal semantics
symbolic representation
learning algorithm
asynchronous communication
connectionist systems
databases
social networks
similarity measure
low level
first order logic
schema mappings
semantic representation
operational semantics
symbolic description
connectionist learning