Sign in

Constructive Final Semantics of Finite Bags.

Philipp JoramNiccolò 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