Login / Signup

The Focused Calculus of Structures.

Kaustuv ChaudhuriNicolas GuenotLutz Straßburger
Published in: CSL (2011)
Keyphrases
  • artificial intelligence
  • data sets
  • database
  • decision making
  • hidden markov models
  • description logics
  • tree structures