Non-deterministic Semantics in Polynomial Format.

Walter Carnielli Mariana Matulovic

Published in: LSFA (2013)

Keyphrases

formal semantics
multimedia
semantic information
database languages
databases
logical language
metadata
domain knowledge
relational databases
data sources
black box
operational semantics
nonmonotonic logics
proof theory