Login / Signup

Decision Procedures for Set/Hyperset Contexts.

Eugenio G. OmodeoAlberto Policriti
Published in: DISCO (1993)
Keyphrases
  • decision procedures
  • knowledge base
  • probability distribution
  • special case
  • hidden markov models
  • theorem proving