Login / Signup

Decidable Extensions of Church's Problem.

Alexander Rabinovich
Published in: CSL (2009)
Keyphrases
  • first order logic
  • case study
  • transitive closure
  • automata theoretic
  • databases
  • machine learning
  • hidden markov models
  • default logic
  • default theories