Heterogeneous Semantics and Unifying Theories.

Jim Woodcock Simon Foster Andrew Butterfield

Published in: ISoLA (1) (2016)

Keyphrases

theoretical framework
semantic information
heterogeneous networks
formal semantics
defeasible logic
modal operators
logic programming
decision theory
design theory
database
natural language
temporal logic
computational models
heterogeneous databases
operational semantics
nonmonotonic logics