Universal Rosser Predicates.

Makoto Kikuchi Taishi Kurahashi

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

Keyphrases

user defined
data sets
artificial intelligence
datalog programs
boolean expressions
website
face recognition
multiresolution
hidden markov models
kolmogorov complexity