共 50 条
- [32] A DSL for Explaining Probabilistic Reasoning DOMAIN-SPECIFIC LANGUAGES, PROCEEDINGS, 2009, 5658 : 335 - 359
- [33] Probabilistic reasoning with continuous constraints NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, 2007, 936 : 105 - +
- [37] Anytime reasoning with probabilistic inequalities NINTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1997, : 60 - 66
- [40] Probabilistic Reasoning by SAT Solvers SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2009, 5590 : 663 - 675