Login / Signup
Computability of validity and satisfiability in probability logics over finite and countable models.
Greg Yang
Published in:
J. Appl. Non Class. Logics (2015)
Keyphrases
</>
probabilistic model
statistical models
data sets
information retrieval
probability distribution
experimental data
np complete
expressive power
conditional probabilities
temporal logic
finite number
computational properties