Constructive Final Semantics of Finite Bags.

Philipp Joram Niccolò Veltri

Published in: ITP (2023)

Keyphrases

real valued
formal semantics
logic programming
semantic information
single instance
complete axiomatization
data sets
visual words
semantic representation
instance level