Certifying Top-Down Decision-DNNF Compilers.
Florent CapelliJean-Marie LagniezPierre MarquisPublished in: AAAI (2021)
Keyphrases
- programming language
- decision makers
- decision making
- computer architecture
- boolean functions
- general purpose
- decision rules
- decision problems
- high level
- hardware and software
- tree width
- decision processes
- decision process
- artificial intelligence
- influence diagrams
- decision theory
- computer systems
- knowledge compilation
- bayesian networks
- making decisions
- machine learning
- model counting