On Symbolic Semantics for Name-decorated Contexts.

Andrea Bracciali Roberto Bruni Alberto Lluch-Lafuente

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

formal semantics
real time
logic programming
object oriented
symbolic representation
intended meaning
databases
search engine
metadata
domain knowledge
deductive databases
operational semantics