Derived Models of mice below the least Fixpoint of the Solovay sequence.

Dominik Adolf Grigor Sargsyan

Published in: J. Symb. Log. (2019)

Keyphrases

fixpoint
logic programs
probabilistic model
general purpose
finite state machines
prior knowledge
probability distribution
np complete