Σ1(κ)-DEFINABLE SUBSETS OF H(κ +).

Philipp Lücke Ralf Schindler Philipp Schlicht

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

Keyphrases

first order logic
real time
case study
transitive closure
data sets
three dimensional
bayesian networks
video sequences
pattern recognition
probability distribution
answer sets