An integrated approach to discover tag semantics.

Antonina Dattolo Davide Eynard Luca Mazzola

Published in: SAC (2011)

Keyphrases

logic programming
formal semantics
information retrieval
databases
semantic information
case study
keywords
operational semantics
proof theory
logical language