A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams

Abstract

Valued decision diagrams (VDDs) are data structures that represent functions mapping variable-value assignments to non-negative real numbers. They prove useful to compile cost functions, utility functions, or probability distributions. While the complexity of some queries (notably optimization) and transformations (notably conditioning) on VDD languages has… (More)

Topics

2 Figures and Tables

Cite this paper

@inproceedings{Fargier2014AKC, title={A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams}, author={H{\'e}l{\`e}ne Fargier and Pierre Marquis and Alexandre Niveau and Nicolas Schmidt}, booktitle={AAAI}, year={2014} }