Two 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).
The Symbolic Interior Point Method.
Mladenov, M.; Belle, V.; and Kersting, K.
Open-Universe Weighted Model Counting.
The Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17) will be held February 4–9 at the Hilton San Francisco, San Francisco, California, USA. The workshop, tutorial, and doctoral consortium programs will be held Saturday and Sunday, February 4 and 5, followed by the technical program, Monday through Thursday, February 6–9.