2 papers accepted at AAAI-17
These introduce (1) the use of symbolic representations in solving logical linear programs, and (2) an extension of weighted model counting for open universes (that is, unbounded domains).
2 papers accepted at AAAI-17
These introduce (1) the use of symbolic representations in solving logical linear programs, and (2) an extension of weighted model counting for open universes (that is, unbounded domains).