Login / Signup

Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types.

Alain FrischGiuseppe CastagnaVéronique Benzaken
Published in: J. ACM (2008)
Keyphrases
  • logic programs
  • machine learning
  • small number
  • input data
  • semantic representation
  • real valued functions
  • dual space