Login / Signup

Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics.

Agata CiabattoniChristian G. Fermüller
Published in: ISMVL (2001)
Keyphrases
  • neural network
  • machine learning
  • pairwise
  • multi task learning
  • data sets
  • semi supervised
  • expressive power