Video recording
Session title:
KR: compilation
Session chair:
Peter Lucas
Talks
SDD: A new canonical representation of propositional knowledge basesAdnan Darwiche
Existential Closures for Knowledge CompilationPierre Marquis
 
Video
 
Video also available for download here. We recommend VLC for playing