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