|
| Sentential Decision Diagrams And Their Applications |
| an invited talk |
| speaker: | Guy Van den Broeck | | |
| occasion: | November 4, 2015, 0 h 25 m |
| location: | INFORMS Annual Meeting 2015 Philadelphia |
| abstract: | Sentential decision diagrams (SDDs) are a new class of decision
diagrams that branch on arbitrary sentences instead of individual
variables. They generalize ordered binary decision
diagrams (OBDDs) and carry over many desirable OBDD properties,
such as canonicity and support for bottom-up compilation with
Boolean operators, while being more compact than OBDDs. These key
properties have enabled several successful AI applications in
recent years, particularly for reasoning about uncertainty. |
| downloads: | |
|