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
Fast Error Propagation Probability Estimates by Answer Set Programming and Approximate Model Counting
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Access"
DOI: 10.1109/access.2022.3174564
Abstract: We present a method employing Answer Set Programming in combination with Approximate Model Counting for fast and accurate calculation of error propagation probabilities in digital circuits. By an efficient problem encoding, we achieve an input… read more here.
Keywords: model counting; approximate model; set programming; error propagation ... See more keywords