Probably Half True: Probabilistic Satisfiability over Łukasiewicz Infinitely-Valued Logic.

Marcelo Finger Sandro Preto

Published in: IJCAR (2018)

Keyphrases

valued logic
propositional logic
classical logic
bayesian networks
fuzzy logic
probabilistic model
fuzzy sets
first order logic
probabilistic reasoning
artificial intelligence
np complete
belief networks
automated reasoning