On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Extended Abstract)

Adnan Darwiche, Pierre Marquis

• Video #1 Length : 00:01:35 on SlidesLive
• Video #2 Length : 00:11:25 on SlidesLive