Efficient Knowledge Compilation Beyond Weighted Model Counting
Sign Up to like & getrecommendations! Published in 2022 at "Theory and Practice of Logic Programming"
DOI: 10.1017/s147106842200014x
Abstract: Abstract Quantitative extensions of logic programming often require the solution of so called second level inference tasks, that is, problems that involve a third operation, such as maximization or normalization, on top of addition and… read more here.
Keywords: knowledge compilation; logic programming; model counting; model ... See more keywords