Relating Two Semantics of Locally Scoped Names.

Steffen Lösch Andrew M. Pitts

Published in: CSL (2011)

Keyphrases

derivation rules
closed world
open world
logic programming
formal semantics
named entities
metadata
semantic information
graphical representation
semantic representation
databases
social networks
logic programs
operational semantics
logical language