Strong Sums in Focused Logic.

Published in: LICS (2018)

Keyphrases

probability theory
multi valued
classical logic
random variables
automated reasoning
information retrieval
logic programming
logic synthesis
delay insensitive
binary matrix
predicate logic
nonmonotonic logics
computational properties
relational databases
bayesian networks
high level
decision trees