Login / Signup

Mona: Monadic Second-Order Logic in Practice.

Jesper G. HenriksenJakob L. JensenMichael E. JørgensenNils KlarlundRobert PaigeTheis RauheAnders Sandholm
Published in: TACAS (1995)
Keyphrases
  • monadic second order logic
  • hidden markov models
  • data complexity
  • machine learning
  • metadata
  • multi agent
  • natural language
  • query language
  • expressive power