A Duality Theory for Quantitative Semantics.

Reinhold Heckmann Michael Huth

Published in: CSL (1997)

Keyphrases

general theory
theoretical foundation
quantitative and qualitative
formal semantics
databases
theoretical framework
theoretical basis
logical properties
xml documents
linear programming
semantic information
belief functions
logical framework
proof theoretic